Building all solvers #118
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: Building all solvers | |
| on: | |
| workflow_dispatch: # can be triggered manually | |
| schedule: | |
| - cron: '0 11 * * 1' # run at 11.00 every Monday | |
| # we do not modify the install scripts or the Makefile very often, | |
| # so we build the solvers once a week to make sure they still build OK. | |
| push: | |
| branches: | |
| - main # run for the main branch | |
| paths: | |
| - etc/build/install*.sh | |
| - Makefile | |
| - .github/workflows/solvers.yml | |
| pull_request: # and for PRs | |
| paths: | |
| - etc/build/install*.sh | |
| - Makefile | |
| - .github/workflows/solvers.yml | |
| # other branches that want testing must create a PR | |
| jobs: | |
| Job: | |
| strategy: | |
| matrix: | |
| os: | |
| - ubuntu-latest | |
| - macos-latest | |
| runs-on: ${{ matrix.os }} | |
| steps: | |
| - uses: actions/checkout@v3 | |
| name: Checkout repository | |
| - name: ccache | |
| uses: hendrikmuhs/ccache-action@v1.2 | |
| with: | |
| key: ${{ runner.os }} | |
| - name: Setting PATH | |
| shell: bash | |
| run: | | |
| echo "${HOME}/.local/bin" >> ${GITHUB_PATH} | |
| echo "/usr/lib/ccache" >> ${GITHUB_PATH} | |
| echo "/usr/local/opt/ccache/libexec" >> ${GITHUB_PATH} | |
| - name: Installing dependencies (gperf) on Linux | |
| shell: bash | |
| run: sudo apt-get install -y gperf | |
| if: runner.os == 'Linux' | |
| - name: Installing dependencies (gperf) on macOS | |
| shell: bash | |
| run: brew install gperf | |
| if: runner.os == 'macOS' | |
| - name: Building solvers | |
| shell: bash | |
| run: BIN_DIR=${HOME}/.local/bin PROCESSES=2 make solvers | |