From 1dcbd2d86cfe5e4dfb24e71dc74600470dd97873 Mon Sep 17 00:00:00 2001 From: Kartik Singhal Date: Sat, 25 Sep 2021 11:04:06 -0500 Subject: [PATCH] Correct capitalization of package (#5569) See https://stackoverflow.com/a/50004273/1167061 --- examples/ml/README | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/examples/ml/README b/examples/ml/README index a8d03eaea27..953a270fee6 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 -thread -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 -thread -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