From 555a3883b9544dc6603b2067e96f3b009c97e3f9 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Wed, 16 Apr 2014 13:05:22 +0100 Subject: [PATCH] ML example doc fix Signed-off-by: Christoph M. Wintersteiger --- examples/ml/README | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/examples/ml/README b/examples/ml/README index f934aac80..a14cbeb63 100644 --- a/examples/ml/README +++ b/examples/ml/README @@ -15,8 +15,8 @@ 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 -verbose -ocamlfind ocamlopt -o ml_example -package Z3 -linkpkg -verbose +ocamlfind ocamlc -o ml_example.byte -custom -package Z3 -linkpkg +ocamlfind ocamlopt -o ml_example -package Z3 -linkpkg 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