From 723b755ca76e1a05e3b0c55299bf1d689ea2604f Mon Sep 17 00:00:00 2001 From: Weng Shiwei Date: Wed, 27 Oct 2021 05:10:45 -0400 Subject: [PATCH] Fix the command of `install_name_tool -id`. (#5622) * Fix the command of `install_name_tool -id`. * Fix: don't call `ml_example.byte`. --- azure-pipelines.yml | 6 ------ scripts/mk_util.py | 2 +- 2 files changed, 1 insertion(+), 7 deletions(-) diff --git a/azure-pipelines.yml b/azure-pipelines.yml index 960aaa1cc..0e3e442d8 100644 --- 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 index 8f664b942..e6d34dc3e 100644 --- a/scripts/mk_util.py +++ b/scripts/mk_util.py @@ -2040,7 +2040,7 @@ class MLComponent(Component): 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')