build.yml

name: Build

on: [push, pull_request]

jobs:
  build:
    name: ${{ matrix.os }} ${{ matrix.compiler }} ${{ matrix.build_type }} ${{ matrix.cache }}
    runs-on: ${{ matrix.os }}

    strategy:
      matrix:
        os:         [ubuntu-22.04]
        compiler:   [g++-11, clang++-17, clang++-18]
        build_type: [Release, Debug]
        cache:      ['', Redis]
        include:
          - os: macos-13
            compiler: clang++
            build_type: Release
          - os: macos-13
            compiler: clang++
            build_type: Debug

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

      - name: Install dependencies (Linux)
        if: runner.os == 'Linux'
        run: |
          wget -O- https://apt.llvm.org/llvm-snapshot.gpg.key | sudo apt-key add -
          if [[ ${{ matrix.compiler }} == "clang++-17" ]]; then
            sudo add-apt-repository "deb http://apt.llvm.org/jammy/ llvm-toolchain-jammy-17 main"
          fi
          if [[ ${{ matrix.compiler }} == "clang++-18" ]]; then
            sudo add-apt-repository "deb http://apt.llvm.org/jammy/ llvm-toolchain-jammy main"
          fi
          sudo apt-get update
          sudo apt-get install z3 re2c ninja-build
          if [[ ${{ matrix.compiler }} == "clang++-17" ]]; then
            sudo apt-get install clang++-17
          fi
          if [[ ${{ matrix.compiler }} == "clang++-18" ]]; then
            sudo apt-get install clang++-18
          fi
          if [[ "${{ matrix.cache }}" == "Redis" ]]; then
            sudo apt-get install libhiredis-dev
          fi

      - name: Install dependencies (MacOS)
        if: runner.os == 'macOS'
        run: |
          brew install z3 re2c ninja

      - name: Compile
        run: ./.github/scripts/build.sh

      - name: Run Tests
        run: ninja check
        working-directory: build

    env:
      CMAKE_BUILD_TYPE: ${{ matrix.build_type }}
      CMAKE_CXX_COMPILER: ${{ matrix.compiler }}
      CMAKE_CXX_FLAGS: "-fsanitize=address,undefined"