From: magnussonl Date: Thu, 2 Jul 2020 17:32:36 +0000 (+0200) Subject: PLA Dockerfile fixes X-Git-Tag: v8.0.0rc2~8 X-Git-Url: https://osm.etsi.org/gitweb/?p=osm%2Fdevops.git;a=commitdiff_plain;h=925ffc70379f12fd4a156d8c22b4e9f8d54ecef6 PLA Dockerfile fixes Change-Id: I9a5eb782151defdf6f3dae75992681f6f16ca66f Signed-off-by: magnussonl (cherry picked from commit d0420fbb8a6bcd72d8b760da7651e070aaeb0773) --- diff --git a/docker/PLA/Dockerfile b/docker/PLA/Dockerfile index 8bc51371..a686815c 100644 --- a/docker/PLA/Dockerfile +++ b/docker/PLA/Dockerfile @@ -37,6 +37,17 @@ RUN apt-get --yes update && apt-get -y install python3-osm-common${COMMON_VERSI COPY scripts/ scripts/ +ADD https://github.com/MiniZinc/MiniZincIDE/releases/download/2.4.2/MiniZincIDE-2.4.2-bundle-linux-x86_64.tgz /minizinc.tgz + +RUN tar -zxf /minizinc.tgz && \ + mv /MiniZincIDE-2.4.2-bundle-linux /minizinc + +RUN mkdir /entry_data \ + && mkdir /entry_data/mzn-lib \ + && ln -s /entry_data/mzn-lib /minizinc/share/minizinc/exec + +RUN mkdir /placement + ENV OSMPLA_MESSAGE_DRIVER kafka ENV OSMPLA_MESSAGE_HOST kafka ENV OSMPLA_MESSAGE_PORT 9092