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

Need -thread option to compile OCaml example (#5440)

Browse source 
I can compile the OCaml example with `-thread` option at Linux.

```
$ ocaml --version
The OCaml toplevel, version 4.05.0
```
This commit is contained in:
Kiwamu Okabe 2021-07-29 08:57:26 +09:00 committed by GitHub
parent 442d1d28ea
commit 81b8f397b3
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
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

@ -14,9 +14,9 @@ for the byte-code version.
If Z3 was installed into the ocamlfind package repository (see If Z3 was installed into the ocamlfind package repository (see
src/api/ml/README), then we can also compile this example as follows: src/api/ml/README), then we can also compile this example as follows:
ocamlfind ocamlc -o ml_example.byte -package Z3 -linkpkg ml_example.ml ocamlfind ocamlc -o ml_example.byte -thread -package Z3 -linkpkg ml_example.ml
or or
ocamlfind ocamlopt -o ml_example -package Z3 -linkpkg ml_example.ml ocamlfind ocamlopt -o ml_example -thread -package Z3 -linkpkg ml_example.ml
Note that the resulting binaries depend on the shared z3 library Note that the resulting binaries depend on the shared z3 library
(libz3.dll/.so/.dylb), which needs to be in the PATH (Windows), LD_LIBRARY_PATH (libz3.dll/.so/.dylb), which needs to be in the PATH (Windows), LD_LIBRARY_PATH