PLA Dockerfile fixes 96/9296/1
authormagnussonl <lars-goran.magnusson@arctoslabs.com>
Thu, 2 Jul 2020 17:32:36 +0000 (19:32 +0200)
committermagnussonl <lars-goran.magnusson@arctoslabs.com>
Thu, 2 Jul 2020 17:44:40 +0000 (19:44 +0200)
Change-Id: I9a5eb782151defdf6f3dae75992681f6f16ca66f
Signed-off-by: magnussonl <lars-goran.magnusson@arctoslabs.com>
docker/PLA/Dockerfile

index 8bc5137..a686815 100644 (file)
@@ -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