From ef32977b5d05c1ed9d2a40c6e0b620e9bce72e83 Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nlopes@microsoft.com>
Date: Sat, 20 Feb 2021 15:15:11 +0000
Subject: [PATCH] travis: fall back to python 2; will move to 3 with ubuntu 20
only
---
contrib/ci/Dockerfiles/z3_base_ubuntu_18.04.Dockerfile | 2 ++
contrib/ci/Dockerfiles/z3_build.Dockerfile | 2 +-
2 files changed, 3 insertions(+), 1 deletion(-)
diff --git a/contrib/ci/Dockerfiles/z3_base_ubuntu_18.04.Dockerfile b/contrib/ci/Dockerfiles/z3_base_ubuntu_18.04.Dockerfile
index bb93b7d47..f13571ed1 100644
--- a/contrib/ci/Dockerfiles/z3_base_ubuntu_18.04.Dockerfile
+++ b/contrib/ci/Dockerfiles/z3_base_ubuntu_18.04.Dockerfile
@@ -14,6 +14,8 @@ RUN apt-get update && \
graphviz \
python3 \
python3-setuptools \
+ python2.7 \
+ python-setuptools \
sudo
RUN curl -SL https://packages.microsoft.com/config/ubuntu/16.04/packages-microsoft-prod.deb --output packages-microsoft-prod.deb && \
diff --git a/contrib/ci/Dockerfiles/z3_build.Dockerfile b/contrib/ci/Dockerfiles/z3_build.Dockerfile
index 777408e5e..f6e05fcb5 100644
--- a/contrib/ci/Dockerfiles/z3_build.Dockerfile
+++ b/contrib/ci/Dockerfiles/z3_build.Dockerfile
@@ -12,7 +12,7 @@ ARG DOTNET_BINDINGS
ARG JAVA_BINDINGS
ARG NO_SUPPRESS_OUTPUT
ARG PYTHON_BINDINGS
-ARG PYTHON_EXECUTABLE=/usr/bin/python3
+ARG PYTHON_EXECUTABLE=/usr/bin/python
ARG RUN_API_EXAMPLES
ARG RUN_SYSTEM_TESTS
ARG RUN_UNIT_TESTS