Console Output

[PLA-stage_2-merge_v9.0] Running shell script
+ docker build -t osm/pla-v9.0 .
Sending build context to Docker daemon  19.36MB

Step 1/9 : FROM ubuntu:18.04
 ---> 5a214d77f5d7
Step 2/9 : RUN DEBIAN_FRONTEND=noninteractive apt-get update &&     DEBIAN_FRONTEND=noninteractive apt-get -y install         debhelper         git         python3         python3-all         python3-dev         python3-setuptools
 ---> Using cache
 ---> f6e231fd46ba
Step 3/9 : RUN python3 -m easy_install pip==21.0.1
 ---> Using cache
 ---> 5ff91d394f4c
Step 4/9 : RUN pip3 install tox==3.22.0
 ---> Using cache
 ---> cde93d53ebeb
Step 5/9 : ADD https://github.com/MiniZinc/MiniZincIDE/releases/download/2.4.2/MiniZincIDE-2.4.2-bundle-linux-x86_64.tgz /minizinc.tgz


 ---> Using cache
 ---> 6d91af637019
Step 6/9 : RUN tar -zxf /minizinc.tgz &&     mv /MiniZincIDE-2.4.2-bundle-linux /minizinc
 ---> Using cache
 ---> 288b11d1d73f
Step 7/9 : RUN mkdir /entry_data     && mkdir /entry_data/mzn-lib     && ln -s /entry_data/mzn-lib /minizinc/share/minizinc/exec
 ---> Using cache
 ---> 4816de5a5e1a
Step 8/9 : ENV FZNEXEC "/entry_data/fzn-exec"
 ---> Using cache
 ---> 2d47e11f2118
Step 9/9 : ENV PATH "/minizinc/bin:${PATH}"
 ---> Using cache
 ---> 9c095acb52f6
Successfully built 9c095acb52f6
Successfully tagged osm/pla-v9.0:latest