Skip to content

Commit 3fe85c7

Browse files
committed
adjusted some CMake logging
1 parent 0a7a1de commit 3fe85c7

2 files changed

Lines changed: 3 additions & 1 deletion

File tree

cmake/findDependencies.cmake

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -52,7 +52,6 @@ if (NOT USE_BUNDLED_TINYXML2)
5252
if (NOT tinyxml2_LIBRARY)
5353
message(FATAL_ERROR "tinyxml2 has not been found")
5454
else()
55-
message(STATUS "tinyxml2_LIBRARY: ${tinyxml2_LIBRARY}")
5655
set(tinyxml2_FOUND 1)
5756
endif()
5857
endif()

cmake/printInfo.cmake

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -58,6 +58,9 @@ if (USE_Z3)
5858
message( STATUS "Z3_CXX_INCLUDE_DIRS = ${Z3_CXX_INCLUDE_DIRS}" )
5959
endif()
6060
message( STATUS "USE_BUNDLED_TINYXML2 = ${USE_BUNDLED_TINYXML2}" )
61+
if (NOT USE_BUNDLED_TINYXML2)
62+
message(STATUS "tinyxml2_LIBRARY = ${tinyxml2_LIBRARY}")
63+
endif()
6164
message( STATUS )
6265

6366
if(${ANALYZE_ADDRESS})

0 commit comments

Comments
 (0)