bsd.yaml

name: Build and Test on *BSD
on:
  push:
    branches: [ develop ]
  pull_request:
    branches: [ develop ]

jobs:
  # This job takes approximately X to Y minutes
  freebsd:
    runs-on: macos-12
    steps:
      - uses: actions/checkout@v3
        with:
          submodules: recursive
      - name: Prepare ccache
        uses: actions/cache@v3
        with:
          path: .ccache
          key: freebsd-13.2-gmake-${{ github.ref }}-${{ github.sha }}-PR
          restore-keys: |
            freebsd-13.2-gmake-${{ github.ref }}
            freebsd-13.2-gmake
      - name: ccache environment
        run: |
          echo "CCACHE_BASEDIR=$PWD" >> $GITHUB_ENV
          echo "CCACHE_DIR=$PWD/.ccache" >> $GITHUB_ENV
      - name: Build and Test
        uses: cross-platform-actions/action@v0.21.1
        with:
          operating_system: freebsd
          version: '13.2'
          run: |
            echo "Fetch dependencies"
            sudo pkg install -y bash gmake git www/p5-libwww python python3 patch flex bison ccache parallel cvc5 z3
            echo "Fetch JBMC dependencies"
            sudo pkg install -y openjdk8 wget maven
            echo "Zero ccache stats and limit in size"
            ccache -z --max-size=500M
            echo "Build with gmake"
            gmake -C src minisat2-download
            gmake -C src -j 3
            gmake -C jbmc/src setup-submodules
            gmake -C jbmc/src -j 3
            echo "Print ccache stats"
            ccache -s
            echo "Checking completeness of help output"
            scripts/check_help.sh
            echo "Run unit tests"
            gmake -C unit test
            gmake -C jbmc/unit test
            echo "Running expected failure tests"
            gmake TAGS="[!shouldfail]" -C unit test
            gmake TAGS="[!shouldfail]" -C jbmc/unit test
            echo "Run regression tests"
            gmake -C regression test-parallel JOBS=3
            gmake -C regression/cbmc test-paths-lifo
            env PATH=$PATH:`pwd`/src/solvers gmake -C regression/cbmc test-cprover-smt2
            gmake -C jbmc/regression test-parallel JOBS=3