diff options
Diffstat (limited to 'docker')
| -rw-r--r-- | docker/Dockerfile | 2 |
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 \ |