SYNTAX DEBUG

.github/workflows/bsd.yaml

@@ -13,47 +13,15 @@ jobs:
       - 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"
-            pkg install bash gmake git www/p5-libwww python python3 patch flex bison ccache cvc5 z3
-            echo "Fetch JBMC dependencies"
-            pkg install 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 $(sysctl -n hw.ncpu)
-            gmake -C jbmc/src setup-submodules
-            gmake -C jbmc/src -j $(sysctl -n hw.ncpu)
-            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
-            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
+            uname -a
+            echo $SHELL
+            pwd
+            ls -lah
+            whoami
+            env | sort