Run FreeBSD build and test in CI

Uses https://github.com/cross-platform-actions/action, and can be
extended to OpenBSD and NetBSD. QEMU on Linux runners appears to be
faster than nested virtualisation on macOS runnners (even when the
latter ought to use more hardware acceleration).

Author: tautschnig

Diff for: .github/workflows/bsd.yaml

@@ -0,0 +1,68 @@
+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: ubuntu-latest
+    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/[email protected]
+        with:
+          operating_system: freebsd
+          version: '13.2'
+          hypervisor: qemu
+          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"
+            setenv CCACHE_BASEDIR $PWD
+            setenv CCACHE_DIR $PWD/.ccache
+            ccache -z --max-size=500M
+            ccache -p
+            echo "Build with gmake"
+            # don't do JBMC as to keep the overall time in check
+            gmake -C src minisat2-download
+            gmake -C src -j2 CXX="ccache clang++"
+            # gmake -C jbmc/src setup-submodules
+            # gmake -C jbmc/src -j2 CXX="ccache clang++"
+            gmake -C unit "CXX=ccache clang++"
+            # gmake -C jbmc/unit "CXX=ccache clang++"
+            echo "Print ccache stats"
+            ccache -s
+            echo "Checking completeness of help output"
+            scripts/check_help.sh clang++
+            echo "Run unit tests"
+            gmake -C unit test
+            # gmake -C jbmc/unit test
+            echo "Running expected failure tests"
+            set histchars
+            gmake TAGS='[!shouldfail]' -C unit test
+            # gmake TAGS='[!shouldfail]' -C jbmc/unit test
+            echo "Run regression tests"
+            gmake -C regression/cbmc test
+            # gmake -C regression test-parallel JOBS=2
+            # 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=2