Use Z3 from github

serpilliere · Apr 25, 2018 · acd5d21 · acd5d21
1 parent 567f7ae
commit acd5d21
Showing 1 changed file with 7 additions and 4 deletions.
diff --git a/base/Dockerfile b/base/Dockerfile
@@ -50,11 +50,14 @@ 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 && \
+    cd build && \
+    make && \
+    make install && \
+    make clean
 
 # Clean
 RUN apt-get -qq remove --purge make git unzip && \