Remove make build

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

@@ -4,7 +4,7 @@ on:
     branches: [ develop ]
 
 jobs:
-  check-ubuntu-20_04-make-gcc:
+  check-ubuntu-20_04-cmake-gcc:
     runs-on: ubuntu-20.04
     steps:
       - uses: actions/checkout@v2
@@ -15,32 +15,27 @@ jobs:
           # This is needed in addition to -yq to prevent apt-get from asking for
           # user input
           DEBIAN_FRONTEND: noninteractive
-          TESTPL_JOBS: 4
         run: |
-          sudo apt-get install -yq gcc gdb g++ maven jq flex bison libxml2-utils cpanminus
-          make -C src minisat2-download
+          sudo apt-get install -yq cmake ninja-build gcc g++ maven flex bison libxml2-utils cpanminus dpkg-dev
           cpanm Thread::Pool::Simple
-      - name: Build with make
-        run: |
-          make -C src CXX='/usr/bin/g++' -j2
-          make -C unit CXX='/usr/bin/g++' -j2
-          make -C jbmc/src  CXX='/usr/bin/g++' -j2
-          make -C jbmc/unit CXX='/usr/bin/g++' -j2
-      - name: Run unit tests
-        run: |
-          make -C unit test
-          make -C jbmc/unit test
-          echo "Running expected failure tests"
-          make TAGS="[!shouldfail]" -C unit test
-          make TAGS="[!shouldfail]" -C jbmc/unit test
-      - name: Run regression tests
-        run: |
-          make -C regression test
-          make -C regression/cbmc test-paths-lifo
-          env PATH=$PATH:`pwd`/src/solvers make -C regression/cbmc test-cprover-smt2
-          make -C jbmc/regression test
+      - name: Configure using CMake
+        run: |
+          mkdir build
+          cd build
+          cmake .. -G Ninja -DCMAKE_BUILD_TYPE=Release -DCMAKE_C_COMPILER=/usr/bin/gcc -DCMAKE_CXX_COMPILER=/usr/bin/g++
+      - name: Build with Ninja
+        run: cd build; ninja
+      - name: Check if package building works
+        run: |
+          cd build
+          ninja package
+          ls *.deb
+      - name: Run tests
+        run: cd build; ctest . -V -L CORE
+        env:
+          TESTPL_JOBS: 2
 
-  check-ubuntu-20_04-cmake-gcc:
+  check-ubuntu-20_04-cmake-clang-8:
     runs-on: ubuntu-20.04
     steps:
       - uses: actions/checkout@v2
@@ -52,13 +47,13 @@ jobs:
           # user input
           DEBIAN_FRONTEND: noninteractive
         run: |
-          sudo apt-get install -yq cmake ninja-build gcc g++ maven flex bison libxml2-utils cpanminus dpkg-dev
+          sudo apt-get install -yq cmake ninja-build clang-8 clang++-8 maven flex bison libxml2-utils cpanminus dpkg-dev
           cpanm Thread::Pool::Simple
       - name: Configure using CMake
         run: |
           mkdir build
           cd build
-          cmake .. -G Ninja -DCMAKE_BUILD_TYPE=Release -DCMAKE_C_COMPILER=/usr/bin/gcc -DCMAKE_CXX_COMPILER=/usr/bin/g++
+          cmake .. -G Ninja -DCMAKE_BUILD_TYPE=Release -DCMAKE_C_COMPILER=/usr/bin/clang-8 -DCMAKE_CXX_COMPILER=/usr/bin/clang++-8
       - name: Build with Ninja
         run: cd build; ninja
       - name: Check if package building works
@@ -71,29 +66,36 @@ jobs:
         env:
           TESTPL_JOBS: 2
 
-  check-macos-10_15-make-clang:
-    runs-on: macos-10.15
+  check-ubuntu-20_04-cmake-clang-3_8:
+    runs-on: ubuntu-20.04
     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
+        env:
+          # This is needed in addition to -yq to prevent apt-get from asking for
+          # user input
+          DEBIAN_FRONTEND: noninteractive
+        run: |
+          sudo apt-get install -yq cmake ninja-build clang-3.8 clang++-3.8 maven flex bison libxml2-utils cpanminus dpkg-dev
+          cpanm Thread::Pool::Simple
+      - name: Configure using CMake
+        run: |
+          mkdir build
+          cd build
+          cmake .. -G Ninja -DCMAKE_BUILD_TYPE=Release -DCMAKE_C_COMPILER=/usr/bin/clang-3.8 -DCMAKE_CXX_COMPILER=/usr/bin/clang++-3.8
+      - name: Build with Ninja
+        run: cd build; ninja
+      - name: Check if package building works
+        run: |
+          cd build
+          ninja package
+          ls *.deb
+      - name: Run tests
+        run: cd build; ctest . -V -L CORE
+        env:
+          TESTPL_JOBS: 2
 
   check-macos-10_15-cmake-clang:
     runs-on: macos-10.15