linux.yml

name: Linux Build 

on: push

jobs:
  build:

    runs-on: ubuntu-latest
    strategy:
      matrix:
        compiler: [g++-12, clang++]
        target: [debug, all, cgoto]
        cxxstd: [c++11, c++14, c++17, c++20]
      fail-fast: false

    steps:
    - name: Set up LLVM and GCC
      run: |
        sudo apt-get update
        sudo apt-get install llvm
        sudo apt-get install clang
        sudo apt-get install llvm-dev  # For development headers
        sudo apt-get install gcc-12
    - uses: actions/checkout@v2
    - name: ${{ matrix.target }} ${{ matrix.compiler }} ${{ matrix.cxxstd }}
      env:
        CXX: ${{ matrix.compiler }}
        TARGET: ${{ matrix.target }}
        CXXSTD: ${{ matrix.cxxstd }}
      run: eval "${CXX}" -v && echo "${CXXSTD}" && make clean && make "${TARGET}" CXXSTD="${CXXSTD}" -j && make tests && make benchmark