From d0588c0565b3d96fae32e3d9967092167925c8ab Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Tue, 15 Apr 2014 18:39:53 +0100 Subject: [PATCH] ML API build fix Signed-off-by: Christoph M. Wintersteiger --- scripts/mk_util.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/scripts/mk_util.py b/scripts/mk_util.py index 8017c8c61..41efe90f1 100644 --- a/scripts/mk_util.py +++ b/scripts/mk_util.py @@ -1821,6 +1821,8 @@ def mk_install(out): for c in get_components(): c.mk_install_deps(out) out.write(' ') + if is_ml_enabled(): + out.write('ocamlfind_install') out.write('\n') out.write('\t@mkdir -p %s\n' % os.path.join('$(PREFIX)', 'bin')) out.write('\t@mkdir -p %s\n' % os.path.join('$(PREFIX)', 'include'))