From 5e61f6f27ca8b15946ac5667016f60fbd34d12fb Mon Sep 17 00:00:00 2001 From: Michael Tautschnig <tautschn@amazon.com> Date: Tue, 3 Sep 2024 10:02:56 +0000 Subject: [PATCH] More debug --- src/util/CMakeLists.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/src/util/CMakeLists.txt b/src/util/CMakeLists.txt index 85fa7300f1b..2773b4f2b36 100644 --- a/src/util/CMakeLists.txt +++ b/src/util/CMakeLists.txt @@ -40,6 +40,7 @@ add_custom_target( -D CUR=${CMAKE_CURRENT_BINARY_DIR} -P ${CMAKE_BINARY_DIR}/version.cmake ) +message("${CMAKE_CURRENT_SOURCE_DIR} 2: CBMC_SOURCE_DIR==${CBMC_SOURCE_DIR}") add_library(util ${sources}