diff options
Diffstat (limited to 'cmake/ConfigTesting.cmake')
-rw-r--r-- | cmake/ConfigTesting.cmake | 5 |
1 files changed, 2 insertions, 3 deletions
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() |