Update workflow python

cnheitman · Oct 30, 2023 · 92f5850 · 92f5850
1 parent 649be15
commit 92f5850
Showing 1 changed file with 8 additions and 8 deletions.
diff --git a/.github/workflows/python.yml b/.github/workflows/python.yml
@@ -200,23 +200,23 @@ jobs:
 
       - name: Download Z3
         run: |
-          wget -q 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
+          wget -q https://github.com/Z3Prover/z3/releases/download/z3-4.12.2/z3-4.12.2-x64-osx-10.16.zip -O z3-4.12.2-x64-osx-10.16.zip
+          unzip z3-4.12.2-x64-osx-10.16.zip
 
       - name: Install Capstone
         run: |
-          wget -q https://github.com/aquynh/capstone/archive/4.0.2.tar.gz
-          tar -xf ./4.0.2.tar.gz
-          cd capstone-4.0.2
-          bash ./make.sh
+          wget -q https://github.com/capstone-engine/capstone/archive/refs/tags/5.0.1.tar.gz -O capstone-5.0.1.tar.gz && \
+          tar xf capstone-5.0.1.tar.gz && \
+          cd ./capstone-5.0.1 && \
+          ./make.sh && \
           sudo make install
 
       - name: Build Triton Python package
         run: python -m build --wheel --outdir wheelhouse/default_x86_64
         env:
           Z3_INTERFACE: On
-          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.12.2-x64-osx-10.16/include
+          Z3_LIBRARIES: ${{ github.workspace }}/z3-4.12.2-x64-osx-10.16/bin/libz3.a
           BITWUZLA_INTERFACE: On
           BITWUZLA_INCLUDE_DIRS: ${{ github.workspace }}/bitwuzla/install/include
           BITWUZLA_LIBRARIES: ${{ github.workspace }}/bitwuzla/install/lib/libbitwuzla.dylib