diff options
-rw-r--r-- | cmake/ConfigDebug.cmake | 5 | ||||
-rw-r--r-- | cmake/ConfigProduction.cmake | 5 | ||||
-rw-r--r-- | cmake/ConfigTesting.cmake | 5 |
3 files changed, 6 insertions, 9 deletions
diff --git a/cmake/ConfigDebug.cmake b/cmake/ConfigDebug.cmake index 9c9f5ec10..a4331bfce 100644 --- a/cmake/ConfigDebug.cmake +++ b/cmake/ConfigDebug.cmake @@ -19,9 +19,8 @@ cvc4_set_option(ENABLE_PROOFS ON) cvc4_set_option(ENABLE_TRACING ON) # enable_dumping=yes if(ENABLE_PORTFOLIO) - if(ENABLE_DUMPING) - message(FATAL_ERROR "Dumping not supported with a portfolio build.") - else() + # Only print warning if dumping was not explicitely disabled by the user. + if(${ENABLE_DUMPING} STREQUAL "IGNORE") message(WARNING "Disabling dumping support, not supported with a portfolio build.") endif() diff --git a/cmake/ConfigProduction.cmake b/cmake/ConfigProduction.cmake index db63507a7..99f2a7b93 100644 --- a/cmake/ConfigProduction.cmake +++ b/cmake/ConfigProduction.cmake @@ -16,9 +16,8 @@ cvc4_set_option(ENABLE_PROOFS ON) cvc4_set_option(ENABLE_TRACING OFF) # enable_dumping=yes if(ENABLE_PORTFOLIO) - if(ENABLE_DUMPING) - message(FATAL_ERROR "Dumping not supported with a portfolio build.") - else() + # Only print warning if dumping was not explicitely disabled by the user. + if(${ENABLE_DUMPING} STREQUAL "IGNORE") message(WARNING "Disabling dumping support, not supported with a portfolio build.") endif() diff --git a/cmake/ConfigTesting.cmake b/cmake/ConfigTesting.cmake index 3c995e421..7feaf5129 100644 --- a/cmake/ConfigTesting.cmake +++ b/cmake/ConfigTesting.cmake @@ -16,9 +16,8 @@ cvc4_set_option(ENABLE_PROOFS ON) cvc4_set_option(ENABLE_TRACING ON) # enable_dumping=yes if(ENABLE_PORTFOLIO) - if(ENABLE_DUMPING) - message(FATAL_ERROR "Dumping not supported with a portfolio build.") - else() + # Only print warning if dumping was not explicitely disabled by the user. + if(${ENABLE_DUMPING} STREQUAL "IGNORE") message(WARNING "Disabling dumping support, not supported with a portfolio build.") endif() |