Merge pull request #5445 from hannes-steffenhagen-diffblue/CI/macos-10.15-make-check

Add github action CI for the make build on Catalina

Author: hannes-steffenhagen-diffblue

.github/workflows/pull-request-checks.yaml

@@ -4,6 +4,30 @@ on:
     branches: [ develop ]
 
 jobs:
+  check-macos-10_15-make-clang:
+    runs-on: macos-10.15
+    steps:
+      - uses: actions/checkout@v2
+        with:
+          submodules: true
+      - name: Fetch dependencies
+        run: brew install maven flex bison
+      - name: Build using Make
+        run: |
+          make -C src minisat2-download
+          make -C src
+          make -C jbmc/src
+          make -C unit
+          make -C jbmc/unit
+      - name: Run unit tests
+        run: cd unit; ./unit_tests
+      - name: Run JBMC unit tests
+        run: cd jbmc/unit; ./unit_tests
+      - name: Run regression tests
+        run: cd regression; make
+      - name: Run JBMC regression tests
+        run: cd jbmc/regression; make
+
   check-macos-10_15-cmake-clang:
     runs-on: macos-10.15
     steps: