More NetBSD debugging

Author: tautschnig

Diff for: .github/workflows/bsd.yaml

@@ -149,12 +149,10 @@ jobs:
           release: 9.3
           run: |
             echo "Fetch dependencies"
-            export PATH=/usr/pkg/sbin:/usr/pkg/bin:$PATH
-            export PKG_PATH=https://cdn.netbsd.org/pub/pkgsrc/packages/NetBSD/amd64/9.3/All/
-            pkgin -y install bash gmake git python311 patch flex bison ccache parallel z3 gcc10
+            pkg_add -v bash gmake git python311 patch flex bison ccache parallel z3
             ln -s $(which python3.11) /usr/pkg/bin/python3
             echo "Fetch JBMC dependencies"
-            pkgin -y install openjdk8 wget apache-maven
+            pkg_add -v openjdk8 wget apache-maven
             echo "Zero ccache stats and limit in size"
             export CCACHE_BASEDIR=$PWD
             export CCACHE_DIR=$PWD/.ccache
@@ -163,10 +161,10 @@ 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