We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 0a7a1de commit 3fe85c7Copy full SHA for 3fe85c7
2 files changed
cmake/findDependencies.cmake
@@ -52,7 +52,6 @@ if (NOT USE_BUNDLED_TINYXML2)
52
if (NOT tinyxml2_LIBRARY)
53
message(FATAL_ERROR "tinyxml2 has not been found")
54
else()
55
- message(STATUS "tinyxml2_LIBRARY: ${tinyxml2_LIBRARY}")
56
set(tinyxml2_FOUND 1)
57
endif()
58
cmake/printInfo.cmake
@@ -58,6 +58,9 @@ if (USE_Z3)
message( STATUS "Z3_CXX_INCLUDE_DIRS = ${Z3_CXX_INCLUDE_DIRS}" )
59
60
message( STATUS "USE_BUNDLED_TINYXML2 = ${USE_BUNDLED_TINYXML2}" )
61
+if (NOT USE_BUNDLED_TINYXML2)
62
+ message(STATUS "tinyxml2_LIBRARY = ${tinyxml2_LIBRARY}")
63
+endif()
64
message( STATUS )
65
66
if(${ANALYZE_ADDRESS})
0 commit comments