Fix the command of install_name_tool -id. (#5622)

* Fix the command of `install_name_tool -id`. * Fix: don't call `ml_example.byte`.
Z3Prover · Oct 27, 2021 · 723b755 · 723b755
1 parent eb8c8da
commit 723b755
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 7 deletions.
diff --git a/azure-pipelines.yml b/azure-pipelines.yml
@@ -59,8 +59,6 @@ jobs:
         make -j3
         make -j3 examples
         make -j3 test-z3
-        ./ml_example.byte
-        ./ml_example
         cd ..
     - script: eval `opam config env`; ocamlfind install z3 build/api/ml/* -dll build/libz3.*
     - script: |
@@ -94,8 +92,6 @@ jobs:
         make -j3
         make -j3 examples
         make -j3 test-z3
-        ./ml_example.byte
-        ./ml_example
         cd ..
     - script: eval `opam config env`; ocamlfind install z3-static build/api/ml/* build/libz3-static.a
     - script: |
@@ -316,8 +312,6 @@ jobs:
         make -j3
         make -j3 examples
         make -j3 test-z3
-        ./ml_example.byte
-        ./ml_example
         cd ..
     - script: eval `opam config env`; ocamlfind install z3 build/api/ml/* -dll build/libz3.*
     - script: |

diff --git a/scripts/mk_util.py b/scripts/mk_util.py
@@ -2040,7 +2040,7 @@ def mk_makefile(self, out):
             out.write('\n')
             out.write('ml: %s.cma %s.cmxa %s.cmxs\n' % (z3mls, z3mls, z3mls))
             if IS_OSX:
-                out.write('\tinstall_name_tool -id libz3.dylib %s/libz3.dylib libz3.dylib\n' % (stubs_install_path))
+                out.write('\tinstall_name_tool -id %s/libz3.dylib libz3.dylib\n' % (stubs_install_path))
                 out.write('\tinstall_name_tool -change libz3.dylib %s/libz3.dylib api/ml/dllz3ml.so\n' % (stubs_install_path))                
             out.write('\n')