Console Output
[PLA-stage_2-merge_v10.0] Running shell script
+ docker build -t osm/pla-v10.0 .
Sending build context to Docker daemon 52.04MB
Step 1/11 : FROM ubuntu:20.04
---> f78909c2b360
Step 2/11 : ARG APT_PROXY
---> Using cache
---> 3f6949be98ab
Step 3/11 : RUN if [ ! -z $APT_PROXY ] ; then echo "Acquire::http::Proxy \"$APT_PROXY\";" > /etc/apt/apt.conf.d/proxy.conf ; echo "Acquire::https::Proxy \"$APT_PROXY\";" >> /etc/apt/apt.conf.d/proxy.conf ; fi
---> Using cache
---> 48f7661bee42
Step 4/11 : RUN DEBIAN_FRONTEND=noninteractive apt-get update && DEBIAN_FRONTEND=noninteractive apt-get -y install debhelper dh-python git python3 python3-all python3-dev python3-setuptools
---> Using cache
---> 3b10e52da1c2
Step 5/11 : RUN python3 -m easy_install pip==21.3.1
---> Using cache
---> 93effd34ae4c
Step 6/11 : RUN pip install tox==3.24.5
---> Using cache
---> 04616cde1bda
Step 7/11 : ADD https://github.com/MiniZinc/MiniZincIDE/releases/download/2.4.2/MiniZincIDE-2.4.2-bundle-linux-x86_64.tgz /minizinc.tgz
---> Using cache
---> 7c6568cee26f
Step 8/11 : RUN tar -zxf /minizinc.tgz && mv /MiniZincIDE-2.4.2-bundle-linux /minizinc
---> Using cache
---> 740a7e4b54c9
Step 9/11 : RUN mkdir /entry_data && mkdir /entry_data/mzn-lib && ln -s /entry_data/mzn-lib /minizinc/share/minizinc/exec
---> Using cache
---> d3b188783572
Step 10/11 : ENV FZNEXEC "/entry_data/fzn-exec"
---> Using cache
---> 6e14dbb3d4a5
Step 11/11 : ENV PATH "/minizinc/bin:${PATH}"
---> Using cache
---> 19f74e2109d1
Successfully built 19f74e2109d1
Successfully tagged osm/pla-v10.0:latest