Update macos workflow

cnheitman · Dec 12, 2024 · caa4d19 · caa4d19
1 parent 4a156ca
commit caa4d19
Showing 1 changed file with 7 additions and 7 deletions.
diff --git a/.github/workflows/osx.yml b/.github/workflows/osx.yml
@@ -27,9 +27,9 @@ jobs:
 
       - name: Install Z3
         run: |
-          wget https://github.com/Z3Prover/z3/releases/download/z3-4.8.17/z3-4.8.17-x64-osx-10.16.zip
-          unzip z3-4.8.17-x64-osx-10.16.zip
-          sudo python -m pip install z3-solver==4.8.17.0
+          wget https://github.com/Z3Prover/z3/releases/download/z3-4.13.3/z3-4.13.3-arm64-osx-13.7.zip
+          unzip z3-4.13.3-arm64-osx-13.7.zip
+          sudo python -m pip install z3-solver==4.13.3.0
 
       - name: Install Deps
         run: |
@@ -72,8 +72,8 @@ jobs:
           cd ./build
           cmake ..
           cmake -DZ3_INTERFACE=ON \
-                -DZ3_INCLUDE_DIRS=${{ github.workspace }}/z3-4.8.17-x64-osx-10.16/include \
-                -DZ3_LIBRARIES=${{ github.workspace }}/z3-4.8.17-x64-osx-10.16/bin/libz3.a \
+                -DZ3_INCLUDE_DIRS=${{ github.workspace }}/z3-4.13.3-arm64-osx-13.7/include \
+                -DZ3_LIBRARIES=${{ github.workspace }}/z3-4.13.3-arm64-osx-13.7/bin/libz3.a \
                 -DBITWUZLA_INTERFACE=ON \
                 -DBITWUZLA_INCLUDE_DIRS=${{ github.workspace }}/bitwuzla/install/include \
                 -DBITWUZLA_LIBRARIES=${{ github.workspace }}/bitwuzla/install/lib/libbitwuzla.dylib \
@@ -82,8 +82,8 @@ jobs:
                 -DBOOST_INTERFACE=OFF ..
           sudo make -j3 install
         env:
-          Z3_INCLUDE_DIRS: ${{ github.workspace }}/z3-4.8.17-x64-osx-10.16/include
-          Z3_LIBRARIES: ${{ github.workspace }}/z3-4.8.17-x64-osx-10.16/bin/libz3.a
+          Z3_INCLUDE_DIRS: ${{ github.workspace }}/z3-4.13.3-arm64-osx-13.7/include
+          Z3_LIBRARIES: ${{ github.workspace }}/z3-4.13.3-arm64-osx-13.7/bin/libz3.a
 
       - name: Unittests
         run: |