mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-10 08:03:25 +00:00
Code Activity

build fix for ML API

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2016-03-07 15:35:25 +00:00
parent 0ea2ac3f28
commit 3968423c26
1 changed files with 4 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

5
scripts/update_api.py
View file

@ -1264,6 +1264,8 @@ def mk_ml(ml_dir):
if mk_util.is_verbose(): if mk_util.is_verbose():
print ('Generated "%s"' % ml_nativef) print ('Generated "%s"' % ml_nativef)
mk_z3native_stubs_c(ml_dir)
def mk_z3native_stubs_c(ml_dir): # C interface def mk_z3native_stubs_c(ml_dir): # C interface
ml_wrapperf = os.path.join(ml_dir, 'z3native_stubs.c') ml_wrapperf = os.path.join(ml_dir, 'z3native_stubs.c')
@ -1492,7 +1494,7 @@ def mk_z3native_stubs_c(ml_dir): # C interface
ml_wrapper.write('#endif\n') ml_wrapper.write('#endif\n')
if mk_util.is_verbose(): if mk_util.is_verbose():
print ('Generated "%s"' % ml_nativef) print ('Generated "%s"' % ml_wrapperf)
# Collect API(...) commands from # Collect API(...) commands from
def def_APIs(api_files): def def_APIs(api_files):
@ -1668,6 +1670,7 @@ def generate_files(api_files,
if java_output_dir: if java_output_dir:
mk_java(java_output_dir, java_package_name) mk_java(java_output_dir, java_package_name)
if ml_output_dir: if ml_output_dir:
mk_ml(ml_output_dir) mk_ml(ml_output_dir)