summaryrefslogtreecommitdiffstats
path: root/docker
diff options
context:
space:
mode:
Diffstat (limited to 'docker')
-rw-r--r--docker/Dockerfile2
1 files changed, 2 insertions, 0 deletions
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 \