mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +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 6394dde85d
commit 1e4b14af67
2 changed files with 5 additions and 2 deletions
Show stats 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), If Z3 was installed into the ocamlfind package repository (see src/api/ml/README),
then we can compile this example as follows: then we can compile this example as follows:
ocamlfind ocamlc -o ml_example.byte -custom -package Z3 -linkpkg ocamlfind ocamlc -o ml_example.byte -custom -package Z3 -linkpkg ml_example.ml
ocamlfind ocamlopt -o ml_example -package Z3 -linkpkg 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 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 in the PATH (Windows), LD_LIBRARY_PATH (Linux) or DYLD_LIBRARY_PATH (OSX). If Z3 was

3
scripts/mk_util.py
View file

@ -1401,6 +1401,9 @@ class MLComponent(Component):
out.write('ocamlfind_install: api/ml/z3.cma api/ml/z3.cmxa\n') 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 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)) 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: if IS_WINDOWS:
out.write(' libz3$(LIB_EXT)') out.write(' libz3$(LIB_EXT)')
out.write('\n') out.write('\n')