tmp

uclid-org · Apr 29, 2024 · 742be62 · 742be62
1 parent 6b585fd
commit 742be62
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -121,7 +121,6 @@ jobs:
 
     - name: Add Z3 to Path
       run: |
-       mkdir /usr/local/lib
        echo "$GITHUB_WORKSPACE/z3/bin/" >> $GITHUB_PATH
        echo "LD_LIBRARY_PATH=$LD_LIBRARY_PATH:$GITHUB_WORKSPACE/z3/bin/" >> $GITHUB_ENV
        ./setup-z3-macos.sh

diff --git a/setup-z3-macos.sh b/setup-z3-macos.sh
@@ -3,4 +3,4 @@ echo "hello"
 export PATH=$PATH:$PWD/z3/bin/
 export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:$PWD/z3/bin/
 sudo cp $PWD/z3/bin/libz3java.dylib /Library/Java/Extensions/
-sudo cp $PWD/z3/bin/libz3.dylib /usr/local/lib/
+sudo cp $PWD/z3/bin/libz3.dylib /usr/lib/