cmake.yml

name: CMake

on:
  push:
    branches: [ "main" ]
  pull_request:
    branches: [ "main" ]

env:
  # Customize the CMake build type here (Release, Debug, RelWithDebInfo, etc.)
  BUILD_TYPE: Release

jobs:
  build:
    # The CMake configure and build commands are platform agnostic and should work equally well on Windows or Mac.
    # You can convert this to a matrix build if you need cross-platform coverage.
    # See: https://docs.github.com/en/free-pro-team@latest/actions/learn-github-actions/managing-complex-workflows#using-a-build-matrix
    runs-on: ubuntu-latest

    steps:
    - uses: actions/checkout@v3
    # sudo apt-get update -qq
    - name: Install Ubuntu dependencies
      run: |
          sudo apt update
          sudo apt upgrade
          sudo apt install cmake git wget clang llvm
          sudo apt install python-setuptools libboost-dev libgmp-dev
    - name: Set up Python 3.8
      uses: actions/setup-python@v4
      with:
          python-version: 3.8
    - name: Upgrade pip version
      run: |
          python -m pip install -U pip
    - name: Install Z3
      run: |
          sudo apt-get install libz3-dev
          python -m pip install z3-solver
    - name: Configure CMake
      env:
          CC: clang
          CXX: clang++
      # Configure CMake in a 'build' subdirectory. `CMAKE_BUILD_TYPE` is only required if you are using a single-configuration generator such as make.
      # See https://cmake.org/cmake/help/latest/variable/CMAKE_BUILD_TYPE.html?highlight=cmake_build_type
      run: |
          cmake -B ${{github.workspace}}/build -DCMAKE_BUILD_TYPE=${{env.BUILD_TYPE}}
    - name: Build
      # Build your program with the given configuration
      run: cmake --build ${{github.workspace}}/build --config ${{env.BUILD_TYPE}}

    - name: Test
      working-directory: ${{github.workspace}}/build
      # Execute tests defined by the CMake configuration.
      # See https://cmake.org/cmake/help/latest/manual/ctest.1.html for more detail
      run: ctest -C ${{env.BUILD_TYPE}}