Add bitwuzla-0.3.0
#235
Workflow file for this run
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: what4-solvers | |
| on: | |
| push: | |
| tags: ["v?[0-9]+"] | |
| branches: [main, "release-**"] | |
| pull_request: | |
| workflow_dispatch: | |
| env: | |
| CACHE_VERSION: 1 | |
| LATEST_Z3_VERSION: "4.8.14" | |
| jobs: | |
| build: | |
| runs-on: ${{ matrix.os }} | |
| strategy: | |
| fail-fast: false | |
| matrix: | |
| os: [ubuntu-22.04, ubuntu-20.04, macos-12, windows-2019] | |
| solver: [bitwuzla] | |
| steps: | |
| - uses: actions/checkout@v2 | |
| with: | |
| submodules: true | |
| fetch-depth: 0 | |
| - name: Install dependencies (Ubuntu) | |
| run: | | |
| sudo apt-get update | |
| sudo apt-get install libfl-dev gperf automake autoconf lzip ninja-build | |
| if: runner.os == 'Linux' | |
| - name: Install dependencies (macOS) | |
| run: | | |
| brew update | |
| brew install flex gperf automake autoconf ninja gnu-sed | |
| # macOS's version of sed lacks the -r option, which CVC5 requires. To | |
| # work around this, we install put GNU sed before macOS's sed on the | |
| # PATH. | |
| echo "PATH=/usr/local/opt/gnu-sed/libexec/gnubin:$PATH" >> $GITHUB_ENV | |
| if: runner.os == 'macOS' | |
| - name: Install dependencies (Windows) | |
| uses: msys2/setup-msys2@v2 | |
| with: | |
| update: true | |
| msystem: MINGW64 | |
| path-type: inherit | |
| install: | | |
| autoconf | |
| automake | |
| curl | |
| dos2unix | |
| flex | |
| git | |
| gperf | |
| lzip | |
| m4 | |
| make | |
| mingw-w64-x86_64-cmake | |
| mingw-w64-x86_64-gcc | |
| mingw-w64-x86_64-ninja | |
| patch | |
| tar | |
| unzip | |
| if: runner.os == 'Windows' | |
| - name: Install Python | |
| uses: actions/setup-python@v4 | |
| with: | |
| python-version: '3.9' | |
| - name: Install Python libraries | |
| run: | | |
| python -m pip install --upgrade pip | |
| pip install meson pyparsing toml | |
| - name: Install Java | |
| uses: actions/setup-java@v3 | |
| with: | |
| distribution: 'temurin' | |
| java-version: '17' | |
| - name: build_solver (non-Windows) | |
| shell: bash | |
| run: .github/ci.sh build_${{ matrix.solver }} | |
| if: runner.os != 'Windows' | |
| - name: build_solver (Windows) | |
| shell: msys2 {0} | |
| run: .github/ci.sh build_${{ matrix.solver }} | |
| if: runner.os == 'Windows' | |
| - uses: actions/upload-artifact@v2 | |
| with: | |
| path: bin | |
| name: ${{ matrix.os }}-${{ runner.arch }}-${{ matrix.solver }}-bin | |
| package_solvers: | |
| runs-on: ${{ matrix.os }} | |
| needs: [build] | |
| strategy: | |
| fail-fast: false | |
| matrix: | |
| os: [ubuntu-22.04, ubuntu-20.04, macos-12, windows-2019] | |
| steps: | |
| - uses: actions/download-artifact@v2 | |
| with: | |
| name: "${{ matrix.os }}-${{ runner.arch }}-bitwuzla-bin" | |
| path: bin | |
| - uses: actions/upload-artifact@v2 | |
| with: | |
| path: bin | |
| name: ${{ matrix.os }}-${{ runner.arch }}-bin | |
| # Indicates sufficient CI success for the purposes of mergify merging the pull | |
| # request, see .github/mergify.yml. This is done instead of enumerating each | |
| # instance of each job in the mergify configuration for a number of reasons: | |
| # - continue-on-error is respected, won't block merge | |
| # - changes to jobs or job instances don't require a mergify config update | |
| # - dependencies through `needs:` are validated, CI will fail if it's invalid | |
| mergify: | |
| runs-on: ubuntu-20.04 | |
| needs: [build] | |
| steps: | |
| - run: "true" |