cmake: Only print dumping warning if not disabled by user. (#2543)

diff --git a/cmake/ConfigDebug.cmake b/cmake/ConfigDebug.cmake
index 9c9f5ec100401eefacced6952c3f1dbfe8ddc593..a4331bfcecdc7f8bd6a29f0791152dcb997b7db8 100644 (file)
--- 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 db63507a7d54094a894981bd0a4ab06c5cdb310a..99f2a7b934c7cb7b213bd5aafcade301934b7312 100644 (file)
--- 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 3c995e421c68ee3f23abb00ba49d492eb687499c..7feaf512964385e34685e20f3ae1286bd07ff2c8 100644 (file)
--- 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()