ci-build.yml

name: CI testing 

on:
  push:
    branches: [ master ]
  pull_request:
    branches: [ master ]

jobs:
  linux-build:
    name: 'Linux ${{matrix.cc.cc}}-${{ matrix.cc.v}} ${{matrix.build_type}}'
    runs-on: ubuntu-latest
    strategy:
      fail-fast: false
      matrix:
        build_type:
        - Release
        - Debug
        sylvan_stats:
        - ON
        - OFF
        cc:
        - { cc: gcc, v: 9, cxx: g++}
        - { cc: gcc, v: 12, cxx: g++}
        - { cc: clang, v: 11, cxx: clang++ }
        - { cc: clang, v: 15, cxx: clang++ }
    env:
      cc: ${{matrix.cc.cc}}-${{matrix.cc.v}}
      cxx: ${{matrix.cc.cxx}}-${{matrix.cc.v}}

    steps:
    - uses: actions/checkout@v3

    - name: Install packages
      run: |
        sudo apt update
        sudo apt install cmake cmake-data build-essential
        sudo apt install libgmp-dev

    - name: Install CLang
      if: matrix.cc.cc == 'clang'
      run: |
        sudo apt install clang-${{matrix.cc.v}}

    - name: Install GCC
      if: matrix.cc.cc == 'gcc'
      run: |
        sudo apt install gcc-${{matrix.cc.v}} g++-${{matrix.cc.v}}

    - name: CMake Build
      run: |
        export CC=${{env.cc}}
        export CXX=${{env.cxx}}
        cmake -B ${{github.workspace}}/build -DCMAKE_BUILD_TYPE=${{matrix.build_type}} -DSYLVAN_STATS=${{matrix.sylvan_stats}} -DSYLVAN_BUILD_EXAMPLES=ON
        cmake --build ${{github.workspace}}/build --config ${{matrix.build_type}}

    - name: Test
      working-directory: ${{github.workspace}}/build
      run:  |
        ctest -C ${{ matrix.build_type }} -VV --timeout 30
        examples/simple
        examples/nqueens -w 2 9 | tee /dev/fd/2 | grep -q "352 solutions"
        examples/bddmc ../models/schedule_world.2.bdd -w 2 | tee /dev/fd/2 | grep -q "1570340"
        examples/lddmc ../models/blocks.2.ldd -w 2 | tee /dev/fd/2 | grep -q "7057 states"

  macos-build:
    name: 'OSX ${{matrix.cc.cc}}@${{matrix.cc.v || matrix.cc.xcode}} ${{matrix.build_type}}'
    runs-on: macos-latest
    strategy:
      fail-fast: false
      matrix:
        build_type:
        - Release
        - Debug
        sylvan_stats:
        - ON
        - OFF
        cc:
        - { cc: gcc, v: 11, cxx: g++, xcode: latest }
        - { cc: clang, cxx: clang++, xcode: 12.5 }
        - { cc: clang, cxx: clang++, xcode: 13.4 }
    env:
      cc: ${{matrix.cc.cc}}-${{matrix.cc.v}}
      cxx: ${{matrix.cc.cxx}}-${{matrix.cc.v}}

    steps:
    - uses: actions/checkout@v3

    - name: Install packages
      run: |
        brew update
        if ["${{matrix.cc.cc}}" == "gcc"];
        then
          brew install ${{matrix.cc.cc}}@${{matrix.cc.v}}
        fi
        brew install gawk
        brew install argp-standalone

    - name: CMake Build
      run: |
        if [ "${{ matrix.cc.cc }}" == "gcc" ] ;
        then
          export CC=/usr/bin/${{matrix.cc.cc}}
          export CXX=/usr/bin/${{matrix.cc.cxx}}
        else
          export CC=${{matrix.cc.cc}}
          export CXX=${{matrix.cc.cxx}}
        fi
        cmake -B ${{github.workspace}}/build -DCMAKE_BUILD_TYPE=${{matrix.build_type}} -DSYLVAN_STATS=${{matrix.sylvan_stats}} -DSYLVAN_BUILD_EXAMPLES=ON
        cmake --build ${{github.workspace}}/build --config ${{matrix.build_type}}

    - name: Test
      working-directory: ${{github.workspace}}/build
      run:  |
        ctest -C ${{ matrix.build_type }} -VV --timeout 30
        examples/simple
        examples/nqueens -w 2 9 | tee /dev/fd/2 | grep -q "352 solutions"
        examples/bddmc ../models/schedule_world.2.bdd -w 2 | tee /dev/fd/2 | grep -q "1570340"
        examples/lddmc ../models/blocks.2.ldd -w 2 | tee /dev/fd/2 | grep -q "7057 states"

  windows-build:
    runs-on: windows-latest
    strategy:
      fail-fast: false
      matrix:
        include:
          # - { icon: '⬛', sys: mingw32 }
          - { icon: '🟦', sys: mingw64 }
          - { icon: '🟨', sys: ucrt64  }
          - { icon: '🟧', sys: clang64 }
    name: 🚧${{ matrix.icon }} ${{ matrix.sys }}
    defaults:
      run:
        shell: msys2 {0}
    steps:

    - name: '🧰 Checkout'
      uses: actions/checkout@v3
      with:
        fetch-depth: 0

    - name: '${{ matrix.icon }} Setup MSYS2'
      uses: msys2/setup-msys2@v2
      with:
        msystem: ${{matrix.sys}}
        update: true
        install: >-
          git
          make
          gmp
          libargp-devel
        pacboy: >-
          toolchain:p
          cmake:p
          ninja:p

    - name: '🚧 Build TOOL'
      run: |
        cmake -G Ninja -B build -DCMAKE_BUILD_TYPE=Release
        cmake --build build

    - name: Test
      working-directory: ${{github.workspace}}/build
      run:  |
        ctest -C ${{ matrix.build_type }} -VV --timeout 30
        examples/simple
        examples/nqueens -w 2 9 | tee >(cat 1>&2) | grep -q "352 solutions"
        examples/bddmc ../models/schedule_world.2.bdd -w 2 | tee >(cat 1>&2) | grep -q "1570340"
        examples/lddmc ../models/blocks.2.ldd -w 2 | tee >(cat 1>&2) | grep -q "7057 states"