From a0270e97befc54f75bf42062d060a6c12ea700cf Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Tue, 3 Sep 2024 09:53:55 +0000
Subject: [PATCH] More debug

---
 jbmc/unit/CMakeLists.txt | 1 +
 src/util/CMakeLists.txt  | 1 +
 unit/CMakeLists.txt      | 1 +
 3 files changed, 3 insertions(+)

diff --git a/jbmc/unit/CMakeLists.txt b/jbmc/unit/CMakeLists.txt
index 781e39b66aca..785868eee650 100644
--- a/jbmc/unit/CMakeLists.txt
+++ b/jbmc/unit/CMakeLists.txt
@@ -1,4 +1,5 @@
 file(GLOB_RECURSE sources "*.cpp" "*.h")
+message("${CMAKE_CURRENT_SOURCE_DIR}: CBMC_SOURCE_DIR==${CBMC_SOURCE_DIR}")
 list(APPEND sources  ${CBMC_SOURCE_DIR}/../unit/unit_tests.cpp)
 
 file(GLOB_RECURSE java-testing_utils "java-testing-utils/*.cpp" "java-testing-utils/*.h")
diff --git a/src/util/CMakeLists.txt b/src/util/CMakeLists.txt
index 6d693238a2a9..85fa7300f1b8 100644
--- a/src/util/CMakeLists.txt
+++ b/src/util/CMakeLists.txt
@@ -31,6 +31,7 @@ endif()
 
 file(WRITE ${CMAKE_CURRENT_BINARY_DIR}/version.cpp.in
   "const char *CBMC_VERSION=\"@CBMC_RELEASE@ (@GIT_INFO@)\";\n")
+message("${CMAKE_CURRENT_SOURCE_DIR}: CBMC_SOURCE_DIR==${CBMC_SOURCE_DIR}")
 add_custom_target(
   generate_version_cpp
   BYPRODUCTS version.cpp
diff --git a/unit/CMakeLists.txt b/unit/CMakeLists.txt
index 9e9985a9b61c..054fce7acb63 100644
--- a/unit/CMakeLists.txt
+++ b/unit/CMakeLists.txt
@@ -1,3 +1,4 @@
+message("${CMAKE_CURRENT_SOURCE_DIR}: CBMC_SOURCE_DIR==${CBMC_SOURCE_DIR}")
 if("${CMAKE_CXX_COMPILER_ID}" STREQUAL "Clang" OR
    "${CMAKE_CXX_COMPILER_ID}" STREQUAL "AppleClang" OR
    "${CMAKE_CXX_COMPILER_ID}" STREQUAL "GNU"