mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-24 21:26:59 +00:00
Code Activity

ML API build fix

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2015-12-14 14:55:38 +00:00
parent ced6809cd8
commit edb1f4d896
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
scripts/mk_util.py
View file

@ -1776,8 +1776,9 @@ class MLComponent(Component):
for m in self.modules: for m in self.modules:
ff = os.path.join(src_dir, m + '.mli') ff = os.path.join(src_dir, m + '.mli')
ft = os.path.join(self.sub_dir, m + '.cmi') ft = os.path.join(self.sub_dir, m + '.cmi')
out.write('%s: %s %s\n' % (ft, mlis, cmis)) out.write('%s: %s\n' % (ft, cmis))
out.write('\t%s -I %s -o %s -c %s\n' % (OCAMLC, self.sub_dir, ft, ff)) out.write('\t%s -I %s -o %s -c %s\n' % (OCAMLC, self.sub_dir, ft, ff))
cmis = cmis + ' ' + ft
cmos = '' cmos = ''
for m in self.modules: for m in self.modules: