build-linux.yml

name: Build Linux

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

concurrency:
  group: build-Linux-${{ github.head_ref }}
  cancel-in-progress: true

jobs:
  build:
    runs-on: ubuntu-latest

    steps:
      - uses: actions/checkout@v2

      - name: Install Packages
        run: |
          sudo apt-get update
          sudo apt-get install flex libboost-all-dev

          wget https://ftp.gnu.org/gnu/bison/bison-3.7.6.tar.gz
          tar xvfz bison-3.7.6.tar.gz
          cd bison-3.7.6
          ./configure
          make
          sudo make install

      - name: Test
        run: |
          mkdir -p build
          cd build
          CC=gcc-10 CXX=g++-10 cmake ../ -DCMAKE_BUILD_TYPE=Debug -DVERIFYPN_Static=OFF -DVERIFYPN_MC_Simplification=OFF -DVERIFYPN_TEST=ON
          make
          CTEST_OUTPUT_ON_FAILURE=1 make test

      - name: Build
        run: |
          mkdir -p build
          cd build
          CC=gcc-10 CXX=g++-10 cmake ../ -DCMAKE_BUILD_TYPE=Release -DVERIFYPN_Static=ON -DVERIFYPN_MC_Simplification=OFF -DVERIFYPN_TEST=OFF
          make

      - name: Upload artifacts
        uses: actions/upload-artifact@v4
        with:
          name: verifypn-linux64
          path: build/verifypn/bin/verifypn-linux64

      - name: BuildMCC
        run: |
          mkdir -p build
          cd build
          CC=gcc-10 CXX=g++-10 cmake ../ -DCMAKE_BUILD_TYPE=Release -DVERIFYPN_Static=OFF -DVERIFYPN_MC_Simplification=ON -DVERIFYPN_TEST=OFF
          make

      - name: Upload artifacts
        uses: actions/upload-artifact@v4
        with:
          name: verifypn-mcc-linux64
          path: build/verifypn/bin/verifypn-linux64