From 81b8f397b3dfd510aed918c775ca35d5a8923f24 Mon Sep 17 00:00:00 2001 From: Kiwamu Okabe Date: Thu, 29 Jul 2021 08:57:26 +0900 Subject: [PATCH] Need `-thread` option to compile OCaml example (#5440) I can compile the OCaml example with `-thread` option at Linux. ``` $ ocaml --version The OCaml toplevel, version 4.05.0 ``` --- examples/ml/README | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/examples/ml/README b/examples/ml/README index 9797b85e3..a8d03eaea 100644 --- a/examples/ml/README +++ b/examples/ml/README @@ -14,9 +14,9 @@ for the byte-code version. If Z3 was installed into the ocamlfind package repository (see 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 -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 (libz3.dll/.so/.dylb), which needs to be in the PATH (Windows), LD_LIBRARY_PATH