summaryrefslogtreecommitdiffstats
path: root/docker/Dockerfile
diff options
context:
space:
mode:
authorvrvarma <vv8305@att.com>2020-02-25 12:27:46 -0500
committervrvarma <vv8305@att.com>2020-02-25 12:28:05 -0500
commitb48a030382583b9d38e6d9b87aa8eea281087856 (patch)
treede7f6bb4ed14424d8155865f97d693d39fb8e412 /docker/Dockerfile
parent680cab955f1d746117c14ee21396ffc53a19664a (diff)
Setting the python oparent to 3.0.0 for osdf
Change-Id: I333b5be4260d4968d7a9602eccdb8a8e3d99bea9 Signed-off-by: vrvarma <vv8305@att.com> Issue-ID: OPTFRA-686
Diffstat (limited to 'docker/Dockerfile')
-rw-r--r--docker/Dockerfile5
1 files changed, 2 insertions, 3 deletions
diff --git a/docker/Dockerfile b/docker/Dockerfile
index 0f271c8..e339ea7 100644
--- a/docker/Dockerfile
+++ b/docker/Dockerfile
@@ -30,7 +30,7 @@ ENV https_proxy $HTTPS_PROXY
ENV OSDF_PORT "8699"
EXPOSE ${OSDF_PORT}
-ENV MZN 2.3.2
+ENV MZN 2.4.2
ENV MZN_BASENAME MiniZincIDE-${MZN}-bundle-linux
ENV MZN_GH_BASE https://github.com/MiniZinc/MiniZincIDE
ENV MZN_DL_URL ${MZN_GH_BASE}/releases/download/${MZN}/${MZN_BASENAME}-x86_64.tgz
@@ -49,8 +49,7 @@ RUN wget -q $MZN_DL_URL -O /tmp/mz.tgz \
&& tar xzf /tmp/mz.tgz \
&& mv $MZN_BASENAME /mz-dist \
&& rm /tmp/mz.tgz \
- && echo PATH=/mz-dist/bin:$PATH >> ~/.bashrc \
- && echo 'export LD_LIBRARY_PATH=/mz-dist/lib:LD_LIBRARY_PATH' >> ~/.bashrc
+ && echo PATH=/mz-dist/bin:$PATH >> ~/.bashrc
ENV SHELL /bin/bash
ENV PATH /mz-dist:$PATH