mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-08-07 11:41:22 +00:00
Code Activity

Minor.

Browse source
This commit is contained in:
Weng Shiwei 2024-06-19 17:06:16 -04:00
parent f855456e20
commit 4b3207505b
1 changed files with 4 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

6
makefile
View file

@ -131,6 +131,8 @@
ML_LIB=/home/ex/.opam/5.2.0/lib ML_LIB=/home/ex/.opam/5.2.0/lib
ML_LIB=/Users/ex/.opam/5.2.0/lib ML_LIB=/Users/ex/.opam/5.2.0/lib
ROOT=$$(pwd) ROOT=$$(pwd)
MY_Z3=/home/ex/my_z3
MY_Z3=/Users/ex/code/tmp/my-z3
ml0: ml0:
mkdir -p build mkdir -p build
@ -159,7 +161,7 @@ ml-mk:
-DCMAKE_VERBOSE_MAKEFILE=TRUE \ -DCMAKE_VERBOSE_MAKEFILE=TRUE \
-DZ3_BUILD_LIBZ3_SHARED=TRUE \ -DZ3_BUILD_LIBZ3_SHARED=TRUE \
-DZ3_BUILD_OCAML_BINDINGS=TRUE \ -DZ3_BUILD_OCAML_BINDINGS=TRUE \
-DZ3_BUILD_OCAML_EXTERNAL_LIBZ3=/home/ex/my_z3 \ -DZ3_BUILD_OCAML_EXTERNAL_LIBZ3=$(MY_Z3) \
--debug-trycompile \ --debug-trycompile \
../ ../
@ -183,7 +185,7 @@ ml:
--debug-trycompile \ --debug-trycompile \
../ ../
# -DZ3_BUILD_OCAML_EXTERNAL_LIBZ3=/home/ex/my_z3 \ # -DZ3_BUILD_OCAML_EXTERNAL_LIBZ3=$(MY_Z3) \
# -DZ3_USE_LIB_GMP=TRUE \ # -DZ3_USE_LIB_GMP=TRUE \
# LD_LIBRARY_PATH=build ./build/src/api/ml/ml_example # LD_LIBRARY_PATH=build ./build/src/api/ml/ml_example