X-Git-Url: https://osm.etsi.org/gitweb/?p=osm%2Fdevops.git;a=blobdiff_plain;f=docker%2FPLA%2FDockerfile;h=a686815c77ba4803ef3f2a92ad335e4ab10672fc;hp=8bc51371bb199f6e3efaf32574df54774e7aa685;hb=925ffc70379f12fd4a156d8c22b4e9f8d54ecef6;hpb=081f469ea6358cdd9c6d4c992a7668a2199c8cdc

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