File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -10,6 +10,7 @@ message( STATUS "C++ flags (General) = ${CMAKE_CXX_FLAGS}")
1010message ( STATUS "C++ flags (Release) = ${CMAKE_CXX_FLAGS_RELEASE} " )
1111message ( STATUS "C++ flags (RelWithDebInfo) = ${CMAKE_CXX_FLAGS_RELWITHDEBINFO} " )
1212message ( STATUS "C++ flags (Debug) = ${CMAKE_CXX_FLAGS_DEBUG} " )
13+ message ( STATUS "CPPCHK_GLIBCXX_DEBUG = ${CPPCHK_GLIBCXX_DEBUG} " )
1314get_directory_property ( DirDefs DIRECTORY ${CMAKE_SOURCE_DIR} COMPILE_DEFINITIONS )
1415foreach ( d ${DirDefs} )
1516 message ( STATUS "Found Define: " ${d} )
@@ -57,6 +58,7 @@ if (USE_Z3)
5758 message ( STATUS "Z3_LIBRARIES = ${Z3_LIBRARIES} " )
5859 message ( STATUS "Z3_CXX_INCLUDE_DIRS = ${Z3_CXX_INCLUDE_DIRS} " )
5960endif ()
61+ message ( STATUS )
6062message ( STATUS "USE_BUNDLED_TINYXML2 = ${USE_BUNDLED_TINYXML2} " )
6163if (NOT USE_BUNDLED_TINYXML2)
6264 message (STATUS "tinyxml2_LIBRARY = ${tinyxml2_LIBRARY} " )
You can’t perform that action at this time.
0 commit comments