Fix issue with Z3 not being available to LLVM (#697) (#698)

google · Jan 29, 2020 · cad1cbb · cad1cbb
1 parent 64eff6f
commit cad1cbb
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/build_deps.sh b/build_deps.sh
@@ -43,6 +43,7 @@ mkdir -p $z3_installdir
 (cd $z3_srcdir && git checkout $z3_commit && python scripts/mk_make.py --staticlib --prefix=$z3_installdir && cd build && make -j8 install)
 
 export PATH=$z3_installdir/bin:$PATH
+export LD_LIBRARY_PATH=$z3_installdir/lib:$LD_LIBRARY_PATH
 
 alivedir=third_party/alive2
 alive_builddir=$alivedir/build