Update Dockerfile

SVF-tools · May 1, 2024 · 61f1072 · 61f1072
1 parent b15848a
commit 61f1072
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -34,6 +34,7 @@ ENV PATH=${HOME}/SVF/llvm-$llvm_version.obj/bin:$PATH
 ENV SVF_DIR=${HOME}/SVF
 ENV LLVM_DIR=${HOME}/SVF/llvm-$llvm_version.obj
 ENV Z3_DIR=${HOME}/SVF/z3.obj
+RUN ln -s ${Z3_DIR}/bin/libz3.so ${Z3_DIR}/bin/libz3.so.4
 
 # Fetch and build Teaching-Software-Analysis example.
 WORKDIR ${HOME}