Dockerfile

   1 # Licensed under the Apache License, Version 2.0 (the "License");
   2 # you may not use this file except in compliance with the License.
   3 # You may obtain a copy of the License at
   4 #
   5 #    http://www.apache.org/licenses/LICENSE-2.0
   6 #
   7 # Unless required by applicable law or agreed to in writing, software
   8 # distributed under the License is distributed on an "AS IS" BASIS,
   9 # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
  10 # implied.
  11 # See the License for the specific language governing permissions and
  12 # limitations under the License.
  13 ########################################################################################
  14 # This Dockerfile is intented for devops testing and deb package generation
  15 #
  16 # To run stage 2 locally:
  17 #
  18 #   docker build -t stage2 .
  19 #   docker run -ti -v `pwd`:/work -w /work --entrypoint /bin/bash stage2
  20 #   devops-stages/stage-test.sh
  21 #   devops-stages/stage-build.sh
  22 #
  23
  24 FROM ubuntu:18.04
  25
  26 RUN DEBIAN_FRONTEND=noninteractive apt-get update && \
  27     DEBIAN_FRONTEND=noninteractive apt-get -y install \
  28         debhelper \
  29         git \
  30         python3 \
  31         python3-all \
  32         python3-dev \
  33         python3-setuptools
  34
  35 RUN python3 -m easy_install pip==21.0.1
  36 RUN pip3 install tox==3.22.0
  37
  38 ADD https://github.com/MiniZinc/MiniZincIDE/releases/download/2.4.2/MiniZincIDE-2.4.2-bundle-linux-x86_64.tgz /minizinc.tgz
  39
  40 RUN tar -zxf /minizinc.tgz && \
  41     mv /MiniZincIDE-2.4.2-bundle-linux /minizinc
  42
  43 RUN mkdir /entry_data \
  44     && mkdir /entry_data/mzn-lib \
  45     && ln -s /entry_data/mzn-lib /minizinc/share/minizinc/exec
  46
  47 ENV FZNEXEC "/entry_data/fzn-exec"
  48 ENV PATH "/minizinc/bin:${PATH}"