Remove Makefile, use cmake and update build instructions

.github/workflows/c-cpp.yml

@@ -9,7 +9,6 @@ jobs:
     - uses: actions/checkout@v3
     - name: Install dependencies
       run: sudo apt-get install -y clang-tools check cmake
-    - name: make
-      run: make
     - name: cmake
-      run: "( rm -rf build && mkdir build && cd build && cmake .. && make && ./tests && echo OK )"
+      run: "( rm -rf build && mkdir build && cd build && cmake .. && make && CTEST_OUTPUT_ON_FAILURE=1 make 
+test && echo OK )"

README.md

@@ -132,11 +132,19 @@ good to go.
 
 Building and running the tests requires the following:
 
+* CMake
 * Check Framework (https://libcheck.github.io/check/).
 * Clang Static Analyzer (https://clang-analyzer.llvm.org/).
 
-If you have both in your ``$PATH``, running the tests should be as simple as
-typing ``make``.
+If you have both in your ``$PATH``, running the tests should be as simple as:
+
+```
+mkdir build
+cd build
+cmake ../
+make
+make test
+```
 
 ## Limitations