-set(CVC4_BUILD_PROFILE_DEBUG 1)
add_definitions(-DCVC4_DEBUG)
set(CVC4_DEBUG 1)
add_check_c_cxx_flag("-fno-inline")
# enable_tracing=yes
cvc4_set_option(ENABLE_TRACING ON)
# enable_dumping=yes
-cvc4_set_option(ENABLE_DUMPING ON)
+if(ENABLE_PORTFOLIO)
+ # 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()
+else()
+ cvc4_set_option(ENABLE_DUMPING ON)
+endif()
# enable_muzzle=no
cvc4_set_option(ENABLE_MUZZLE OFF)
# enable_valgrind=optional