From d0420fbb8a6bcd72d8b760da7651e070aaeb0773 Mon Sep 17 00:00:00 2001 From: magnussonl Date: Thu, 2 Jul 2020 19:32:36 +0200 Subject: [PATCH] PLA Dockerfile fixes Change-Id: I9a5eb782151defdf6f3dae75992681f6f16ca66f Signed-off-by: magnussonl --- docker/PLA/Dockerfile | 11 +++++++++++ 1 file changed, 11 insertions(+) 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 -- 2.17.1