diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-03-29 11:49:53 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-29 18:49:53 +0000 |
| commit | 52c7724a940aee682d550da077d7124a078ac077 (patch) | |
| tree | 52b8185b5c364080a66e4a3280fa375eeadd1f03 /CMakeLists.txt | |
| parent | 064bce0045368fd74beee10f3545899de2d20bf9 (diff) | |
Fix configuration printing. (#6236)
Diffstat (limited to 'CMakeLists.txt')
| -rw-r--r-- | CMakeLists.txt | 58 |
1 files changed, 29 insertions, 29 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt index 7148a007c..a8c1e2e0d 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -640,41 +640,40 @@ else() 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("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) print_config("MP library " "cln") @@ -708,6 +707,7 @@ endif() if(SYMFPU_DIR) print_config("SYMFPU dir " ${SYMFPU_DIR}) endif() +print_config("asdf" "") message("") print_config("CPPLAGS (-D...)" "${CVC4_DEFINITIONS}") print_config("CXXFLAGS " "${CMAKE_CXX_FLAGS}") |