mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +00:00
Code Activity

ML API: build fix

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2014-12-06 18:21:27 +00:00
parent 011b700c20
commit 10c153bfe4
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
examples/ml/README
View file

@ -15,10 +15,10 @@ for the byte-code version.
If Z3 was installed into the ocamlfind package repository (see src/api/ml/README), If Z3 was installed into the ocamlfind package repository (see src/api/ml/README),
then we can compile this example as follows: then we can compile this example as follows:
ocamlfind ocamlc -o ml_example.byte -custom -package Z3 -linkpkg ml_example.ml ocamlfind ocamlc -o ml_example.byte -package Z3 -linkpkg ml_example.ml
ocamlfind ocamlopt -o ml_example -package Z3 -linkpkg ml_example.ml ocamlfind ocamlopt -o ml_example -package Z3 -linkpkg ml_example.ml
Note that the resulting binaries depend on the shared z3 library, which needs to be Note that the resulting binaries depend on the shared z3 library, which needs to be
in the PATH (Windows), LD_LIBRARY_PATH (Linux) or DYLD_LIBRARY_PATH (OSX). If Z3 was in the PATH (Windows), LD_LIBRARY_PATH (Linux) or DYLD_LIBRARY_PATH (OSX). If Z3 was
installed into ocamlfind, the path that should be added is installed into ocamlfind, the path that should be added is
`ocamlfind printconf destdir`/Z3 `ocamlfind printconf destdir`/Z3