From b1180fa60633348c8512ad142895e49e31f3b38c Mon Sep 17 00:00:00 2001
From: Fabrice Desclaux <fabrice.desclaux@cea.fr>
Date: Wed, 25 Apr 2018 08:19:33 +0200
Subject: [PATCH] Use Z3 from github

---
 base/Dockerfile | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/base/Dockerfile b/base/Dockerfile
index 0041aff..68fb7fc 100644
--- a/base/Dockerfile
+++ b/base/Dockerfile
@@ -50,11 +50,13 @@ RUN cd /opt && \
     rm -rf /opt/miasm-master.zip
 
 # Get z3
-ADD http://download-codeplex.sec.s-msft.com/Download/SourceControlFileDownload.ashx?ProjectName=z3&changeSetId=cee7dd39444c9060186df79c2a2c7f8845de415b /opt/z3.zip
 RUN cd /opt && \
-    mkdir z3 && cd z3 && \
-    unzip -q ../z3.zip && python scripts/mk_make.py && cd build && make -j 4 && make install && \
-    rm /opt/z3.zip
+    git clone https://github.com/Z3Prover/z3 z3 && \
+    cd z3 && \
+    python scripts/mk_make.py --python && \
+    cd build && \
+    make && \
+    make install
 
 # Clean
 RUN apt-get -qq remove --purge make git unzip && \