From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Thu, 27 Sep 2018 01:28:15 +0000 (-0700)
Subject: cmake: Only print dumping warning if not disabled by user. (#2543)
X-Git-Tag: cvc5-1.0.0~4495
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=cb5ac59af1836486b8ccfdb1c44390de9a8c80d8;p=cvc5.git

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

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()