Run FreeBSD build and test in CI

Uses https://github.com/cross-platform-actions/action, and can be
extended to OpenBSD and NetBSD.

.github/workflows/bsd.yaml

@@ -0,0 +1,59 @@
+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/[email protected]
+        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