diff --git a/.github/workflows/osx.yml b/.github/workflows/osx.yml index 67b8d62d3..1da38efb4 100644 --- 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: |