cppcheck/.github/workflows/clang-tidy.yml

# Syntax reference https://help.github.com/en/actions/reference/workflow-syntax-for-github-actions
# Environment reference https://help.github.com/en/actions/reference/virtual-environments-for-github-hosted-runners
name: clang-tidy

on: [push, pull_request]

jobs:
  build:

    runs-on: ubuntu-20.04

    container:
      image: "ubuntu:21.10"

    steps:
      - uses: actions/checkout@v2

      - name: Install missing software
        run: |
          apt-get update
          apt-get install -y cmake g++ make
          apt-get install -y z3 libz3-dev
          apt-get install -y libpcre3-dev
          apt-get install -y libffi7 # work around missing dependency for Qt install step
          apt-get install -y software-properties-common
          add-apt-repository universe
          apt-get update
          apt-get install -y clang-tidy-13

      - name: Install Qt
        uses: jurplel/install-qt-action@v2
        with:
          install-deps: 'nosudo'
          version: '5.15.2'
          modules: 'qtcharts'

      - name: Prepare CMake
        run: |
          mkdir cmake.output
          cd cmake.output
          cmake -G "Unix Makefiles" -DUSE_Z3=On -DHAVE_RULES=On -DBUILD_TESTS=On -DBUILD_GUI=On -DWITH_QCHART=On -DCMAKE_GLOBAL_AUTOGEN_TARGET=On -DCPPCHK_GLIBCXX_DEBUG=Off ..
          cd ..

      - name: Prepare CMake dependencies
        run: |
          # make sure the precompiled headers exist
          make -C cmake.output lib/CMakeFiles/lib_objs.dir/cmake_pch.hxx.cxx
          make -C cmake.output test/CMakeFiles/testrunner.dir/cmake_pch.hxx.cxx
          # make sure the auto-generated GUI sources exist
          make -C cmake.output autogen

      - name: Clang-Tidy
        run: |
          cmake --build cmake.output --target run-clang-tidy 2> /dev/null