3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-07 18:05:21 +00:00

ocaml build fix

This commit is contained in:
Christoph M. Wintersteiger 2015-12-11 20:01:55 +00:00
parent 02f7ae4a4d
commit 325d516825

View file

@ -1872,7 +1872,7 @@ class MLComponent(Component):
for m in self.modules:
mf = os.path.join(self.sub_dir, m)
out.write(' %s.mli %s.cmi' % (mf, mf, mf))
out.write(' %s.mli %s.cmi' % (mf, mf))
out.write(' %s' % ((os.path.join(self.sub_dir, 'libz3ml$(LIB_EXT)'))))
out.write(' %s' % ((os.path.join(self.sub_dir, 'z3ml$(LIB_EXT)'))))
out.write(' %s' % ((os.path.join(self.sub_dir, 'z3ml.cma'))))