diff --git a/scripts/mk_util.py b/scripts/mk_util.py
index 8c109136d..96325bd47 100644
--- a/scripts/mk_util.py
+++ b/scripts/mk_util.py
@@ -1783,13 +1783,13 @@ class MLComponent(Component):
             self.mk_ml_meta(os.path.join('src/api/ml/META'), os.path.join(BUILD_DIR, self.sub_dir, 'META'), VER_MAJOR, VER_MINOR, VER_BUILD, VER_REVISION)
 
     def mk_install_deps(self, out):
-        if OCAMLFIND != '':
+        if is_ml_enabled() and OCAMLFIND != '':
             out.write(get_component(Z3_DLL_COMPONENT).dll_name + '$(SO_EXT) ')
             out.write(os.path.join(self.sub_dir, 'z3ml.cmxa '))
             out.write(os.path.join(self.sub_dir, 'META '))
 
     def mk_install(self, out):
-        if OCAMLFIND != '':
+        if is_ml_enabled() and OCAMLFIND != '':
             out.write('\t@%s remove Z3\n' % (OCAMLFIND))
             out.write('\t@%s install Z3 %s' % (OCAMLFIND, (os.path.join(self.sub_dir, 'META'))))
             for m in self.modules:
@@ -1815,7 +1815,7 @@ class MLComponent(Component):
             out.write('\n')
 
     def mk_uninstall(self, out):
-        if OCAMLFIND != '':
+        if is_ml_enabled() and OCAMLFIND != '':
             out.write('\t@%s remove Z3\n' % (OCAMLFIND))
 
     def main_component(self):