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 example doc fix

Browse source 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
This commit is contained in:
Christoph M. Wintersteiger 2014-04-16 13:05:22 +01:00
parent 3d9ad51aae
commit 555a3883b9
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,8 +15,8 @@ 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 -verbose ocamlfind ocamlc -o ml_example.byte -custom -package Z3 -linkpkg
ocamlfind ocamlopt -o ml_example -package Z3 -linkpkg -verbose ocamlfind ocamlopt -o ml_example -package Z3 -linkpkg
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