Removed incorrect include directories flag in ocaml META file

Z3Prover · Oct 26, 2019 · ed03c1d · ed03c1d
1 parent 14c42c1
commit ed03c1d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 7 deletions.
diff --git a/scripts/mk_util.py b/scripts/mk_util.py
@@ -1975,12 +1975,7 @@ def mk_makefile(self, out):
             else:
                 out.write('CXXFLAGS_OCAML=$(subst -std=c++11,,$(CXXFLAGS))\n')
 
-            if IS_WINDOWS:
-                prefix_lib = '-L' + os.path.abspath(BUILD_DIR).replace('\\', '\\\\')
-            else:
-                prefix_lib = '-L' + PREFIX + '/lib'
-            substitutions = { 'LEXTRA': prefix_lib,
-                              'VERSION': "{}.{}.{}.{}".format(VER_MAJOR, VER_MINOR, VER_BUILD, VER_TWEAK) }
+            substitutions = { 'VERSION': "{}.{}.{}.{}".format(VER_MAJOR, VER_MINOR, VER_BUILD, VER_TWEAK) }
 
             configure_file(os.path.join(self.src_dir, 'META.in'),
                            os.path.join(BUILD_DIR, self.sub_dir, 'META'),

diff --git a/src/api/ml/META.in b/src/api/ml/META.in
@@ -8,4 +8,4 @@ archive(byte,plugin) = "z3ml.cma"
 archive(native,plugin) = "z3ml.cmxs"
 archive(byte,toploop) = "z3ml.cma"
 archive(native,toploop) = "z3ml.cmxa"
-linkopts = "-cclib -lstdc++ @LEXTRA@"
+linkopts = "-cclib -lstdc++"