Switch to the FindPython3 package #899
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Tests on Linux | |
| on: [push, pull_request, workflow_dispatch] | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest | |
| strategy: | |
| matrix: | |
| python-version: ['3.7', '3.8', '3.9', '3.10'] | |
| boost-interface: ['ON', 'OFF'] | |
| capstone-version: ['5.0-rc2', '4.0.2'] | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v2 | |
| - name: Set up Python ${{ matrix.python-version }} | |
| uses: actions/setup-python@v4 | |
| with: | |
| python-version: ${{ matrix.python-version }} | |
| - name: Upgrade pip version | |
| run: | | |
| python -m pip install -U pip | |
| - name: Install dependencies | |
| run: | | |
| sudo apt-get install python-setuptools libboost-dev libgmp-dev | |
| - name: Install LLVM and Clang | |
| uses: KyleMayes/install-llvm-action@v1 | |
| with: | |
| version: "14.0" | |
| directory: ${{ runner.temp }}/llvm | |
| - name: Install Z3 | |
| run: | | |
| sudo apt-get install libz3-dev | |
| python -m pip install z3-solver | |
| - name: Install Bitwuzla | |
| run: | | |
| git clone https://github.com/bitwuzla/bitwuzla | |
| cd bitwuzla | |
| git checkout -b 1230d80a 1230d80a | |
| ./contrib/setup-cadical.sh | |
| ./contrib/setup-btor2tools.sh | |
| ./contrib/setup-symfpu.sh | |
| ./configure.sh --shared | |
| sudo make -C build install | |
| cd .. | |
| - name: Install Capstone | |
| run: | | |
| wget https://github.com/aquynh/capstone/archive/${{ matrix.capstone-version }}.tar.gz | |
| tar -xf ./${{ matrix.capstone-version }}.tar.gz | |
| cd ./capstone-${{ matrix.capstone-version }} | |
| bash ./make.sh | |
| sudo make install | |
| cd ../ | |
| - name: Install Unicorn | |
| run: | | |
| python -m pip install unicorn==2.0.0 | |
| - name: Install LIEF | |
| run: | | |
| python -m pip install lief | |
| - name: Compile Triton | |
| run: | | |
| mkdir ./build | |
| cd ./build | |
| cmake -DZ3_INTERFACE=ON -DBITWUZLA_INTERFACE=ON -DLLVM_INTERFACE=ON -DCMAKE_PREFIX_PATH=${{env.LLVM_PATH}} -DBOOST_INTERFACE=${{ matrix.boost-interface }} .. | |
| sudo make -j3 install | |
| - name: Unittests | |
| run: | | |
| ctest --test-dir build --output-on-failure |