From ac939e548ef6a55276e0ef59d988df7694925af6 Mon Sep 17 00:00:00 2001
From: Peter Schrammel <peter.schrammel@diffblue.com>
Date: Mon, 25 Nov 2024 22:16:42 +0000
Subject: [PATCH] fixup-clean-ninja

---
 jbmc/CMakeLists.txt       |  4 +++-
 regression/CMakeLists.txt | 13 +++++++++++++
 2 files changed, 16 insertions(+), 1 deletion(-)

diff --git a/jbmc/CMakeLists.txt b/jbmc/CMakeLists.txt
index ac0ed6d8dd9..b6aa0cde573 100644
--- 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
index ea9c02a753d..46387128057 100644
--- 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)