From 2f00968b4febd0b2128b50511340e558e026cf98 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 | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/examples/ml/README b/examples/ml/README index 3e1eb0d1c..7d33df743 100644 --- a/examples/ml/README +++ b/examples/ml/README @@ -12,3 +12,13 @@ or LD_LIBRARY_PATH=. ./ml_example.byte 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 +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 +installed into ocamlfind, the path that should be added is +`ocamlfind printconf destdir`/Z3