From 2c9200329228e1b7b6991f3cae5f775e0b06426c Mon Sep 17 00:00:00 2001 From: "Varma, Vikas (vv8305)" Date: Sun, 22 Apr 2018 16:55:22 -0400 Subject: Fixing the docker file to set default python exec Change-Id: I3bd6f16b85ada4111585818a3009de75f7294665 Issue-ID: OPTFRA-221 Signed-off-by: Varma, Vikas (vv8305) --- docker/Dockerfile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/docker/Dockerfile b/docker/Dockerfile index 6c73196..7a38ad8 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -34,6 +34,8 @@ RUN apt-get update -y \ && easy_install3 pip \ && pip install --upgrade virtualenv pip wheel +RUN ln -s /usr/bin/python3.5 /usr/bin/python + # Minizinc RUN wget -q $MZN_DL_URL -O mz.tgz \ && tar xzf mz.tgz \ -- cgit 1.2.3-korg