From: Aina Niemetz Date: Sat, 27 Mar 2021 01:07:27 +0000 (-0700) Subject: Use color output to print configuration. (#6219) X-Git-Tag: cvc5-1.0.0~2024 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1ac0ebabb80f68c6c666d1eae1588c0950a6f2f7;p=cvc5.git Use color output to print configuration. (#6219) --- diff --git a/CMakeLists.txt b/CMakeLists.txt index 7d0c98be2..cd89b6c8a 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -620,6 +620,14 @@ install(FILES #-----------------------------------------------------------------------------# # Print build configuration +# Set colors. +if(NOT WIN32) + string(ASCII 27 Esc) + set(Green "${Esc}[32m") + set(Blue "${Esc}[1;34m") + set(ResetColor "${Esc}[m") +endif() + # Convert build type to lower case. string(TOLOWER ${CMAKE_BUILD_TYPE} CVC4_BUILD_PROFILE_STRING) @@ -627,97 +635,99 @@ string(TOLOWER ${CMAKE_BUILD_TYPE} CVC4_BUILD_PROFILE_STRING) get_directory_property(CVC4_DEFINITIONS COMPILE_DEFINITIONS) string(REPLACE ";" " " CVC4_DEFINITIONS "${CVC4_DEFINITIONS}") -message("CVC4 ${CVC4_RELEASE_STRING}") +message("") +print_info("CVC4 ${CVC4_RELEASE_STRING}") message("") if(ENABLE_COMP_INC_TRACK) - message("Build profile : ${CVC4_BUILD_PROFILE_STRING} (incremental)") + print_config("Build profile " "${CVC4_BUILD_PROFILE_STRING} (incremental)") else() - message("Build profile : ${CVC4_BUILD_PROFILE_STRING}") + print_config("Build profile " "${CVC4_BUILD_PROFILE_STRING}") endif() message("") -print_config("GPL :" ENABLE_GPL) -print_config("Best configuration :" ENABLE_BEST) +print_config("GPL " ENABLE_GPL) +print_config("Best configuration " ENABLE_BEST) message("") -print_config("Assertions :" ENABLE_ASSERTIONS) -print_config("Debug symbols :" ENABLE_DEBUG_SYMBOLS) -print_config("Debug context mem mgr :" ENABLE_DEBUG_CONTEXT_MM) +print_config("Assertions " ENABLE_ASSERTIONS) +print_config("Debug symbols " ENABLE_DEBUG_SYMBOLS) +print_config("Debug context mem mgr " ENABLE_DEBUG_CONTEXT_MM) message("") -print_config("Dumping :" ENABLE_DUMPING) -print_config("Muzzle :" ENABLE_MUZZLE) -print_config("Proofs :" ENABLE_PROOFS) -print_config("Statistics :" ENABLE_STATISTICS) -print_config("Tracing :" ENABLE_TRACING) +print_config("Dumping " ENABLE_DUMPING) +print_config("Muzzle " ENABLE_MUZZLE) +print_config("Proofs " ENABLE_PROOFS) +print_config("Statistics " ENABLE_STATISTICS) +print_config("Tracing " ENABLE_TRACING) message("") -print_config("ASan :" ENABLE_ASAN) -print_config("UBSan :" ENABLE_UBSAN) -print_config("TSan :" ENABLE_TSAN) -print_config("Coverage (gcov) :" ENABLE_COVERAGE) -print_config("Profiling (gprof) :" ENABLE_PROFILING) -print_config("Unit tests :" ENABLE_UNIT_TESTING) -print_config("Valgrind :" ENABLE_VALGRIND) +print_config("ASan " ENABLE_ASAN) +print_config("UBSan " ENABLE_UBSAN) +print_config("TSan " ENABLE_TSAN) +print_config("Coverage (gcov) " ENABLE_COVERAGE) +print_config("Profiling (gprof) " ENABLE_PROFILING) +print_config("Unit tests " ENABLE_UNIT_TESTING) +print_config("Valgrind " ENABLE_VALGRIND) message("") -print_config("Shared libs :" ENABLE_SHARED) -print_config("Static binary :" ENABLE_STATIC_BINARY) -print_config("Python bindings :" BUILD_BINDINGS_PYTHON) -print_config("Java bindings :" BUILD_BINDINGS_JAVA) -print_config("Python2 :" USE_PYTHON2) +print_config("Shared libs " ENABLE_SHARED) +print_config("Static binary " ENABLE_STATIC_BINARY) +print_config("Python bindings " BUILD_BINDINGS_PYTHON) +print_config("Java bindings " BUILD_BINDINGS_JAVA) +print_config("Python2 " USE_PYTHON2) message("") -print_config("ABC :" USE_ABC) -print_config("CaDiCaL :" USE_CADICAL) -print_config("CryptoMiniSat :" USE_CRYPTOMINISAT) -print_config("GLPK :" USE_GLPK) -print_config("Kissat :" USE_KISSAT) -print_config("LibPoly :" USE_POLY) +print_config("ABC " USE_ABC) +print_config("CaDiCaL " USE_CADICAL) +print_config("CryptoMiniSat " USE_CRYPTOMINISAT) +print_config("GLPK " USE_GLPK) +print_config("Kissat " USE_KISSAT) +print_config("LibPoly " USE_POLY) message("") -print_config("Build libcvc4 only :" BUILD_LIB_ONLY) +print_config("Build libcvc4 only " BUILD_LIB_ONLY) if(CVC4_USE_CLN_IMP) - message("MP library : cln") + print_config("MP library " "cln") else() - message("MP library : gmp") + print_config("MP library " "gmp") endif() -print_config("Editline :" ${USE_EDITLINE}) -print_config("SymFPU :" ${USE_SYMFPU}) +print_config("Editline " ${USE_EDITLINE}) +print_config("SymFPU " ${USE_SYMFPU}) message("") if(ABC_DIR) - message("ABC dir : ${ABC_DIR}") + print_config("ABC dir " ${ABC_DIR}) endif() if(ANTLR_DIR) - message("ANTLR dir : ${ANTLR_DIR}") + print_config("ANTLR dir " ${ANTLR_DIR}) endif() if(CADICAL_DIR) - message("CADICAL dir : ${CADICAL_DIR}") + print_config("CADICAL dir " ${CADICAL_DIR}) endif() if(CRYPTOMINISAT_DIR) - message("CRYPTOMINISAT dir : ${CRYPTOMINISAT_DIR}") + print_config("CRYPTOMINISAT dir " ${CRYPTOMINISAT_DIR}) endif() if(GLPK_DIR) - message("GLPK dir : ${GLPK_DIR}") + print_config("GLPK dir " ${GLPK_DIR}) endif() if(GMP_DIR) - message("GMP dir : ${GMP_DIR}") + print_config("GMP dir " ${GMP_DIR}) endif() if(KISSAT_DIR) - message("KISSAT dir : ${KISSAT_DIR}") + print_config("KISSAT dir " ${KISSAT_DIR}) endif() if(POLY_DIR) - message("LibPoly dir : ${POLY_DIR}") + print_config("LibPoly dir " ${POLY_DIR}) endif() if(SYMFPU_DIR) - message("SYMFPU dir : ${SYMFPU_DIR}") + print_config("SYMFPU dir " ${SYMFPU_DIR}) endif() message("") -message("CPPLAGS (-D...) : ${CVC4_DEFINITIONS}") -message("CXXFLAGS : ${CMAKE_CXX_FLAGS}") -message("CFLAGS : ${CMAKE_C_FLAGS}") -message("Linker flags : ${CMAKE_EXE_LINKER_FLAGS}") +print_config("CPPLAGS (-D...)" "${CVC4_DEFINITIONS}") +print_config("CXXFLAGS " "${CMAKE_CXX_FLAGS}") +print_config("CFLAGS " "${CMAKE_C_FLAGS}") +print_config("Linker flags " "${CMAKE_EXE_LINKER_FLAGS}") message("") -message("Install prefix : ${CMAKE_INSTALL_PREFIX}") +print_config("Install prefix " "${CMAKE_INSTALL_PREFIX}") message("") if(GPL_LIBS) message( - "CVC4 license : ${Yellow}GPLv3 (due to optional libraries; see below)${ResetColor}" + "${Blue}CVC4 license: " + "${Yellow}GPLv3 (due to optional libraries; see below)${ResetColor}" "\n" "\n" "Please note that CVC4 will be built against the following GPLed libraries:" @@ -734,7 +744,7 @@ if(GPL_LIBS) ) else() message( - "CVC4 license : modified BSD" + "${Blue}CVC4 license:${ResetColor} modified BSD" "\n" "\n" "Note that this configuration is NOT built against any GPL'ed libraries, so" diff --git a/cmake/Helpers.cmake b/cmake/Helpers.cmake index 871fcc0c7..d237d6016 100644 --- a/cmake/Helpers.cmake +++ b/cmake/Helpers.cmake @@ -124,15 +124,21 @@ function(list_prepend in_list prepand_value out_list) set(${out_list} ${${out_list}} PARENT_SCOPE) endfunction() +macro(print_info msg) + message("${Blue}${msg}${ResetColor}") +endmacro() + # Helper to print the configuration of a 2-valued or 3-valued option 'var' # with prefix 'str'. macro(print_config str var) - if(${var} STREQUAL "ON") + if("${var}" STREQUAL "ON") set(OPT_VAL_STR "on") - else() + elseif("${var}" STREQUAL "OFF") set(OPT_VAL_STR "off") + else() + set(OPT_VAL_STR ${var}) endif() - message("${str} ${OPT_VAL_STR}") + message("${Blue}${str}: ${Green}${OPT_VAL_STR}${ResetColor}") endmacro()