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

Merge pull request #2227 from kit-ty-kate/fix-ocaml-parallel-build

Browse source 
Fix Makefile generation for the OCaml api
This commit is contained in:
Nikolaj Bjorner 2019-04-11 19:53:45 -07:00 committed by GitHub
parent 4dbccbf23a 7d43a4bca5
commit a9faf6c4ab
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
scripts/mk_util.py
View file

@ -2255,7 +2255,7 @@ class MLComponent(Component):
for m in self.modules:
ff = os.path.join(src_dir, m + '.ml')
ft = os.path.join(self.sub_dir, m + '.cmx')
out.write('%s: %s %s\n' % (ft, ff, cmos))
out.write('%s: %s %s %s\n' % (ft, ff, cmos, cmxs))
out.write('\t%s -I %s -o %s -c %s\n' % (OCAMLOPTF, self.sub_dir, ft, ff))
cmxs = cmxs + ' ' + ft