Update Unicorn

cnheitman · Dec 20, 2024 · 4f4a79b · 4f4a79b
1 parent 7ec3a97
commit 4f4a79b
Showing 1 changed file with 21 additions and 21 deletions.
diff --git a/.github/workflows/osx.yml b/.github/workflows/osx.yml
@@ -27,8 +27,8 @@ jobs:
 
       - name: Install Z3
         run: |
-          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
+          wget -q https://github.com/Z3Prover/z3/releases/download/z3-4.13.3/z3-4.13.3-arm64-osx-13.7.zip
+          unzip -q z3-4.13.3-arm64-osx-13.7.zip
           sudo python -m pip install z3-solver==4.13.3.0
 
       - name: Install Deps
@@ -51,7 +51,7 @@ jobs:
 
       - name: Install Capstone
         run: |
-          wget https://github.com/aquynh/capstone/archive/5.0.3.tar.gz
+          wget -q https://github.com/aquynh/capstone/archive/5.0.3.tar.gz
           tar -xf ./5.0.3.tar.gz
           cd ./capstone-5.0.3
           bash ./make.sh
@@ -66,24 +66,24 @@ jobs:
         run: |
           sudo python -m pip install lief
 
-     #  - name: Compile Triton
-     #    run: |
-     #      mkdir ./build
-     #      cd ./build
-     #      cmake ..
-     #      cmake -DZ3_INTERFACE=ON \
-     #            -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 \
-     #            -DLLVM_INTERFACE=ON \
-     #            -DCMAKE_PREFIX_PATH=${{env.LLVM_PATH}} \
-     #            -DBOOST_INTERFACE=OFF ..
-     #      sudo make -j3 install
-     #    env:
-     #      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: Compile Triton
+        run: |
+          mkdir ./build
+          cd ./build
+          cmake ..
+          cmake -DZ3_INTERFACE=ON \
+                -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 \
+                -DLLVM_INTERFACE=ON \
+                -DCMAKE_PREFIX_PATH=${{env.LLVM_PATH}} \
+                -DBOOST_INTERFACE=OFF ..
+          sudo make -j3 install
+        env:
+          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
 
      # # NOTE Tests will fail because currently they only pass with Unicorn
      # # v2.0.0. However, Unicorn v2.0.0 does not build on the macos-14 runner.