Update Unicorn

cnheitman · Dec 20, 2024 · 7ec3a97 · 7ec3a97
1 parent 59a7933
commit 7ec3a97
Showing 1 changed file with 39 additions and 39 deletions.
diff --git a/.github/workflows/osx.yml b/.github/workflows/osx.yml
@@ -19,52 +19,52 @@ jobs:
         with:
           python-version: ${{ matrix.python-version }}
 
-     #  - name: Install LLVM and Clang
-     #    uses: KyleMayes/install-llvm-action@v2
-     #    with:
-     #      version: "14.0"
-     #      directory: ${{ runner.temp }}/llvm
+      - name: Install LLVM and Clang
+        uses: KyleMayes/install-llvm-action@v2
+        with:
+          version: "14.0"
+          directory: ${{ runner.temp }}/llvm
 
-     #  - 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
-     #      sudo python -m pip install z3-solver==4.13.3.0
+      - 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
+          sudo python -m pip install z3-solver==4.13.3.0
 
-     #  - name: Install Deps
-     #    run: |
-     #      brew install gmp pkgconfig ninja
+      - name: Install Deps
+        run: |
+          brew install gmp pkgconfig ninja
 
-     #  - name: Install Meson
-     #    run: |
-     #      python -m pip install meson
+      - name: Install Meson
+        run: |
+          python -m pip install meson
 
-     #  - name: Install Bitwuzla
-     #    run: |
-     #      git clone https://github.com/bitwuzla/bitwuzla.git
-     #      cd bitwuzla
-     #      git checkout -b 0.7.0 0.7.0
-     #      python ./configure.py --shared --prefix $(pwd)/install
-     #      cd build
-     #      sudo ninja install
-     #      cd ..
+      - name: Install Bitwuzla
+        run: |
+          git clone https://github.com/bitwuzla/bitwuzla.git
+          cd bitwuzla
+          git checkout -b 0.7.0 0.7.0
+          python ./configure.py --shared --prefix $(pwd)/install
+          cd build
+          sudo ninja install
+          cd ..
 
-     #  - name: Install Capstone
-     #    run: |
-     #      wget 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
-     #      sudo make install
-     #      cd ../
+      - name: Install Capstone
+        run: |
+          wget 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
+          sudo make install
+          cd ../
 
-     #  - name: Install Unicorn
-     #    run: |
-     #      sudo python -m pip install unicorn
+      - name: Install Unicorn
+        run: |
+          sudo python -m pip install unicorn
 
-     #  - name: Install LIEF
-     #    run: |
-     #      sudo python -m pip install lief
+      - name: Install LIEF
+        run: |
+          sudo python -m pip install lief
 
      #  - name: Compile Triton
      #    run: |