More debug

tautschnig · Sep 3, 2024 · a0270e9 · a0270e9
1 parent 5877276
commit a0270e9
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 0 deletions.
diff --git 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
@@ -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
@@ -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"