mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-11-04 05:19:11 +00:00
Code Activity

ML API: ocamlfind installation fixes

Browse source 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
This commit is contained in:
Christoph M. Wintersteiger 2014-04-16 16:10:18 +01:00
parent 65ab6d5373
commit 05af33ac7d
2 changed files with 5 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
examples/ml/README
View file

@ -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
ocamlfind ocamlopt -o ml_example -package Z3 -linkpkg
ocamlfind ocamlc -o ml_example.byte -custom -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

3
scripts/mk_util.py
View file

@ -1419,6 +1419,9 @@ class MLComponent(Component):
out.write('ocamlfind_install: api/ml/z3.cma api/ml/z3.cmxa\n')
out.write('\t%s remove Z3\n' % (OCAMLFIND))
out.write('\t%s install Z3 api/ml/META api/ml/z3.cma api/ml/z3.cmxa api/ml/z3$(LIB_EXT) api/ml/libz3ml$(LIB_EXT) libz3$(SO_EXT)' % (OCAMLFIND))
for m in modules:
out.write(' %s.cmi' % (os.path.join(sub_dir, m)))
out.write(' %s.cmx' % (os.path.join(sub_dir, m)))
if IS_WINDOWS:
out.write(' libz3$(LIB_EXT)')
out.write('\n')