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

Don't emit install commands and dependencies if ML bindings are

Browse source 
disabled!
This commit is contained in:
Dan Liew 2015-12-08 23:20:39 +00:00
parent edf5ed27df
commit 0a1c645b5e
1 changed files with 6 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
scripts/mk_util.py
View file

@ -1843,12 +1843,16 @@ class MLComponent(Component):
self.mk_ml_meta(os.path.join('src/api/ml/META'), os.path.join(BUILD_DIR, self.sub_dir, 'META'), VER_MAJOR, VER_MINOR, VER_BUILD, VER_REVISION)
def mk_install_deps(self, out):
if not is_ml_enabled():
return
if OCAMLFIND != '':
out.write(get_component(Z3_DLL_COMPONENT).dll_name + '$(SO_EXT) ')
out.write(os.path.join(self.sub_dir, 'z3ml.cmxa '))
out.write(os.path.join(self.sub_dir, 'META '))
def mk_install(self, out):
if not is_ml_enabled():
return
if OCAMLFIND != '':
out.write('\t@%s remove Z3\n' % (OCAMLFIND))
out.write('\t@%s install Z3 %s' % (OCAMLFIND, (os.path.join(self.sub_dir, 'META'))))
@ -1875,6 +1879,8 @@ class MLComponent(Component):
out.write('\n')
def mk_uninstall(self, out):
if not is_ml_enabled():
return
if OCAMLFIND != '':
out.write('\t@%s remove Z3\n' % (OCAMLFIND))