ci: convert valgrind to cmake (#529)

* ci: convert valgrind to cmake

* valgrind: use cmake build

* valgrind: minor fixes

* valgrind: build rem with cmake

* coverage: enable verbose retest

.github/workflows/coverage.yml

@@ -40,7 +40,7 @@ jobs:
         rm re/libre.dylib || true
         make -C rem librem.a
         cd retest; cmake -B build -DCMAKE_EXE_LINKER_FLAGS="--coverage" && \
-          cmake --build build -j && ./build/retest -a
+          cmake --build build -j && ./build/retest -v -a
 
     - name: gcov
       run: | 

.github/workflows/valgrind.yml

@@ -14,7 +14,8 @@ jobs:
         sudo apt-get update && sudo apt-get install -y libssl-dev valgrind
 
     - name: make
-      run: make EXTRA_CFLAGS=-Werror CCACHE=
+      run: |
+        cmake -B build && cmake --build build -j
 
     - uses: sreimers/[email protected]
       with:
@@ -33,9 +34,7 @@ jobs:
     - name: retest
       run: |
         cd ..
-        rm re/libre.so || true
-        rm re/libre.dylib || true
-        make -C rem librem.a
+        cmake -S rem -B rem/build && cmake --build rem/build
         cd retest
-        make
-        valgrind --leak-check=full --show-reachable=yes --error-exitcode=42 ./retest -r
+        cmake -B build && cmake --build build -j
+        valgrind --leak-check=full --show-reachable=yes --error-exitcode=42 ./build/retest -r