travis: dont hang when installing tzdata

Z3Prover · Feb 21, 2021 · 014030f · 014030f
1 parent 3166685
commit 014030f
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/contrib/ci/Dockerfiles/z3_base_ubuntu_20.04.Dockerfile b/contrib/ci/Dockerfiles/z3_base_ubuntu_20.04.Dockerfile
@@ -1,5 +1,6 @@
 FROM ubuntu:20.04
 
+ARG DEBIAN_FRONTEND=noninteractive
 RUN apt-get update && \
     apt-get -y --no-install-recommends install \
         cmake \
@@ -14,6 +15,7 @@ RUN apt-get update && \
         graphviz \
         python3 \
         python3-setuptools \
+        python-is-python3 \
         sudo
 
 RUN curl -SL https://packages.microsoft.com/config/ubuntu/20.04/packages-microsoft-prod.deb --output packages-microsoft-prod.deb && \