fixup-clean-ninja

Author: peterschrammel

jbmc/CMakeLists.txt

@@ -57,7 +57,9 @@ add_custom_target(java-regression ALL
     DEPENDS ${java_regression_compiled_sources}
 )
 
+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})
+    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,14 @@ if(WITH_MEMORY_ANALYZER)
   add_subdirectory(memory-analyzer)
   add_subdirectory(extract_type_header)
 endif()
+
+add_custom_target(cbmc-regression ALL)
+
+add_dependencies(cbmc cbmc-regression)
+
+file(GLOB_RECURSE out_files "**/*.out")
+file(GLOB_RECURSE goto_binary_files "**/*.gb")
+set_property(
+  TARGET cbmc-regression
+  APPEND
+  PROPERTY ADDITIONAL_CLEAN_FILES ${out_files} ${goto_binary_files} tests.log)