fixup-clean-ninja

diffblue · Nov 25, 2024 · ac939e5 · ac939e5
1 parent 8f83e09
commit ac939e5
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 1 deletion.
diff --git a/jbmc/CMakeLists.txt b/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)
diff --git a/regression/CMakeLists.txt b/regression/CMakeLists.txt
@@ -99,3 +99,16 @@ if(WITH_MEMORY_ANALYZER)
   add_subdirectory(memory-analyzer)
   add_subdirectory(extract_type_header)
 endif()
+
+add_custom_target(cbmc-regression ALL
+  DEPENDS cbmc
+)
+
+add_dependencies(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)