From 10c153bfe46fa74d58995dc392ac1ef89de9bc76 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Sat, 6 Dec 2014 18:21:27 +0000 Subject: [PATCH] ML API: build fix --- examples/ml/README | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/examples/ml/README b/examples/ml/README index 31d4b8e2e..b7aa187fa 100644 --- a/examples/ml/README +++ b/examples/ml/README @@ -15,10 +15,10 @@ for the byte-code version. If Z3 was installed into the ocamlfind package repository (see src/api/ml/README), 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 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 installed into ocamlfind, the path that should be added is -`ocamlfind printconf destdir`/Z3 \ No newline at end of file +`ocamlfind printconf destdir`/Z3