NetBSD debug

Author: tautschnig

.github/workflows/bsd.yaml

@@ -148,9 +148,13 @@ jobs:
         with:
           release: 9.3
           run: |
+            # apparently fail-on-error isn't the default here
+            set -e
             echo "Fetch dependencies"
             pkg_add -v bash gmake git python311 patch flex bison ccache parallel z3 gcc10
             ln -s $(which python3.11) /usr/pkg/bin/python3
+            export PATH=/usr/pkg/gcc10/bin:$PATH
+            g++ --version
             echo "Fetch JBMC dependencies"
             pkg_add -v openjdk8 wget apache-maven
             echo "Zero ccache stats and limit in size"
@@ -161,15 +165,15 @@ jobs:
             echo "Build with gmake"
             # don't do JBMC so as to keep the overall time in check
             gmake -C src minisat2-download
-            gmake -C src -j2 CXX="ccache g++10"
+            gmake -C src -j2 CXX="ccache g++"
             # gmake -C jbmc/src setup-submodules
             # gmake -C jbmc/src -j2 CXX="ccache g++"
-            gmake -C unit "CXX=ccache g++10"
+            gmake -C unit "CXX=ccache g++"
             # gmake -C jbmc/unit "CXX=ccache g++"
             echo "Print ccache stats"
             ccache -s
             echo "Checking completeness of help output"
-            scripts/check_help.sh g++10
+            scripts/check_help.sh g++
             echo "Run unit tests"
             gmake -C unit test
             # gmake -C jbmc/unit test