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

ML API: bugfix

Browse source 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
This commit is contained in:
Christoph M. Wintersteiger 2013-02-21 18:53:29 +00:00
parent eea13a087f
commit 050629536a
2 changed files with 5 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

4
examples/ml/Makefile
View file

@ -3,5 +3,5 @@
# in the top-level build directory. # in the top-level build directory.
all: all:
OCAML_COMPAT=c C:/ocamlw32/bin/ocamlc -g -annot -o ml_example.byte -I ../../bld_dbg -I ../../bld_dbg/api/ml z3.cma ml_example.ml source /cygdrive/c/cwinter/.msenv32 ; OCAML_COMPAT=c C:/ocamlw32/bin/ocamlc -g -custom -cclib '-L../../bld_dbg -lz3' -annot -o ml_example.byte -I ../../bld_dbg/api/ml z3.cma ml_example.ml
C:/ocamlw32/bin/ocamlopt -g -annot -o ml_example -I ../../bld_dbg -I ../../bld_dbg/api/ml z3.cmxa ml_example.ml source /cygdrive/c/cwinter/.msenv32 ; C:/ocamlw32/bin/ocamlopt -g -annot -o ml_example -cclib '-L../../bld_dbg -lz3' -I ../../bld_dbg -I ../../bld_dbg/api/ml z3.cmxa ml_example.ml

5
scripts/update_api.py
View file

@ -1339,9 +1339,10 @@ def mk_ml():
ml_wrapper.write(' // upon errors, but the actual error handling is done by throwing exceptions in the\n') ml_wrapper.write(' // upon errors, but the actual error handling is done by throwing exceptions in the\n')
ml_wrapper.write(' // wrappers below.\n') ml_wrapper.write(' // wrappers below.\n')
ml_wrapper.write('}\n\n') ml_wrapper.write('}\n\n')
ml_wrapper.write('void n_set_internal_error_handler(Z3_context c)\n') ml_wrapper.write('void n_set_internal_error_handler(value a0)\n')
ml_wrapper.write('{\n') ml_wrapper.write('{\n')
ml_wrapper.write(' Z3_set_error_handler(c, MLErrorHandler);\n') ml_wrapper.write(' Z3_context _a0 = * (Z3_context*) Data_custom_val(a0);\n')
ml_wrapper.write(' Z3_set_error_handler(_a0, MLErrorHandler);\n')
ml_wrapper.write('}\n\n') ml_wrapper.write('}\n\n')
for name, result, params in _dotnet_decls: for name, result, params in _dotnet_decls:
ip = inparams(params) ip = inparams(params)