solvers.yml

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/*.sh
      - Makefile
      - .github/workflows/solvers.yml
  pull_request:             # and for PRs
    paths:
      - etc/build/*.sh
      - Makefile
      - .github/workflows/solvers.yml
                            # other branches that want testing must create a PR

env:
  SCCACHE_GHA_ENABLED: "true"

jobs:

  Job:

    strategy:
      matrix:
        os:
        - ubuntu-latest
        - macos-latest

    runs-on: ${{ matrix.os }}

    steps:
      - uses: actions/checkout@v4
        name: Checkout repository

      - name: Run sccache-cache
        uses: mozilla-actions/sccache-action@v0.0.4

      - name: Setting PATH
        shell: bash
        run: |
          echo "${HOME}/.local/bin" >> ${GITHUB_PATH}

      # libnuma-dev for runsolver
      # autoconf, cmake, gmp for yices

      - name: Installing dependencies on Linux
        shell: bash
        run: sudo apt-get install -y gperf libnuma-dev
        if: runner.os == 'Linux'

      - name: Installing dependencies on macOS
        shell: bash
        run: brew install autoconf cmake gmp gperf
        if: runner.os == 'macOS'

      - name: Building solvers
        shell: bash
        run: BIN_DIR=${HOME}/.local/bin PROCESSES=2 make solvers