Use cmake for cleaning in cmake job

which makes more sense than building with cmake
and cleaning with make.

Author: peterschrammel

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

@@ -263,11 +263,7 @@ jobs:
         run: cd build; ctest . -V -L CORE -j${{env.linux-vcpus}}
       - name: Check cleanup
         run: |
-          rm -r build
-          rm scripts/bash-autocomplete/cbmc.sh
-          make -C unit clean
-          make -C regression clean
-          make -C jbmc/regression clean
+          cmake --build build --target clean
           if [[ $(git status --ignored --porcelain | grep -v .ccache/) ]] ; then
             git status --ignored
             exit 1

jbmc/CMakeLists.txt

@@ -56,3 +56,11 @@ add_custom_command(OUTPUT ${java_regression_compiled_sources}
 add_custom_target(java-regression ALL
     DEPENDS ${java_regression_compiled_sources}
 )
+
+# Clean up
+file(GLOB_RECURSE out_files "regression/**/*.out")
+file(GLOB_RECURSE goto_binary_files "regression/**/*.gb")
+set_property(
+    TARGET java-regression
+    APPEND
+    PROPERTY ADDITIONAL_CLEAN_FILES ${java_regression_compiled_sources} ${out_files} ${goto_binary_files} regression/tests.log regression/tests-symex-driven-loading.log)

regression/CMakeLists.txt

@@ -99,3 +99,16 @@ if(WITH_MEMORY_ANALYZER)
   add_subdirectory(memory-analyzer)
   add_subdirectory(extract_type_header)
 endif()
+
+# Clean up
+add_custom_target(cbmc-regression ALL)
+
+add_dependencies(cbmc cbmc-regression)
+
+file(GLOB_RECURSE out_files "**/*.out")
+file(GLOB_RECURSE solver_files "**/*.dimacs,**/*.json")
+file(GLOB_RECURSE goto_binary_files "**/*.gb,**/*.goto")
+set_property(
+  TARGET cbmc-regression
+  APPEND
+  PROPERTY ADDITIONAL_CLEAN_FILES ${out_files} ${goto_binary_files} ${solver_files} tests.log)