diff options
Diffstat (limited to 'examples/placement-models-minizinc/Dockerfile')
| -rw-r--r-- | examples/placement-models-minizinc/Dockerfile | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/examples/placement-models-minizinc/Dockerfile b/examples/placement-models-minizinc/Dockerfile new file mode 100644 index 0000000..e9e913f --- /dev/null +++ b/examples/placement-models-minizinc/Dockerfile @@ -0,0 +1,34 @@ +FROM ubuntu:16.04 + +ENV MZN 2.1.6 +ENV MZN_BASENAME MiniZincIDE-${MZN}-bundle-linux-x86_64 +ENV MZN_GH_BASE https://github.com/MiniZinc/MiniZincIDE +ENV MZN_DL_URL ${MZN_GH_BASE}/releases/download/${MZN}/${MZN_BASENAME}.tgz + +RUN apt-get update -y \ + && apt-get install -y vim wget libmpfr-dev \ + && apt-get install -y git libqt5printsupport5 build-essential \ + && apt-get install -y python3 python3-setuptools python3-dev \ + && easy_install3 pip \ + && pip install --upgrade virtualenv pip wheel \ + && pip install jupyterlab + +# Minizinc +RUN wget -q $MZN_DL_URL -O mz.tgz \ + && tar xzf mz.tgz \ + && mv $MZN_BASENAME /mz-dist \ + && rm mz.tgz \ + && echo PATH=/mz-dist:$PATH >> ~/.bashrc + +ENV SHELL /bin/bash +ENV PATH /mz-dist:$PATH + +# OSDF +RUN git clone http://gerrit.onap.org/r/optf/osdf \ + && pip install --no-cache-dir -r osdf/requirements.txt + +# TODO: Have a clean build process for OSDF beyond the simple cloning + +# To add: git clone the OSDF repository +# pip install --no-cache-dir -r requirements.txt +# Run some tests at this point itself (so we know if something breaks badly) |