diff options
| author |   vrvarma <vv8305@att.com> | 2020-02-25 12:27:46 -0500 |
|---|---|---|
| committer | vrvarma <vv8305@att.com> | 2020-02-25 12:28:05 -0500 |
| commit | b48a030382583b9d38e6d9b87aa8eea281087856 (patch) | |
| tree | de7f6bb4ed14424d8155865f97d693d39fb8e412 /docker | |
| parent | 680cab955f1d746117c14ee21396ffc53a19664a (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')
| -rw-r--r-- | docker/Dockerfile | 5 |
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 |