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'))