DEBUG NetBSD

Author: tautschnig

.github/workflows/bsd.yaml

@@ -158,8 +158,10 @@ jobs:
             # apparently fail-on-error isn't the default here
             set -e -x
             echo "Fetch dependencies"
-            pkg_add -v bash gmake git python311 patch flex bison ccache parallel z3 gcc10
+            pkg_add -v gmake git python311 patch flex bison ccache parallel z3 gcc10
+            echo "Symlink Python 3.11"
             ln -s $(which python3.11) /usr/pkg/bin/python3
+            echo "Set up PATH"
             export PATH=/usr/pkg/gcc10/bin:$PATH
             echo "Fetch JBMC dependencies"
             pkg_add -v openjdk8 wget apache-maven