diff options
Diffstat (limited to 'cmake/ConfigProduction.cmake')
| -rw-r--r-- | cmake/ConfigProduction.cmake | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/cmake/ConfigProduction.cmake b/cmake/ConfigProduction.cmake new file mode 100644 index 000000000..db63507a7 --- /dev/null +++ b/cmake/ConfigProduction.cmake @@ -0,0 +1,31 @@ +# OPTLEVEL=3 +# enable_optimized=yes +cvc4_set_option(ENABLE_OPTIMIZED ON) +set(OPTIMIZATION_LEVEL 3) +# enable_debug_symbols=no +cvc4_set_option(ENABLE_DEBUG_SYMBOLS OFF) +# enable_statistics=yes +cvc4_set_option(ENABLE_STATISTICS ON) +# enable_replay=no +cvc4_set_option(ENABLE_REPLAY OFF) +# enable_assertions=no +cvc4_set_option(ENABLE_ASSERTIONS OFF) +# enable_proof=yes +cvc4_set_option(ENABLE_PROOFS ON) +# enable_tracing=no +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() + 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=no +cvc4_set_option(ENABLE_UNIT_TESTING OFF) |