From 325d51682527e37f6bd31fdc5f46875ff36772e0 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Fri, 11 Dec 2015 20:01:55 +0000 Subject: [PATCH] ocaml build fix --- scripts/mk_util.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/mk_util.py b/scripts/mk_util.py index 1ec530e9d..b95f72e5a 100644 --- a/scripts/mk_util.py +++ b/scripts/mk_util.py @@ -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'))))