diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-08-14 13:22:15 -0700 |
|---|---|---|
| committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
| commit | 7023f79262f8fbab78163f4dd5778bd2c62bc2c1 (patch) | |
| tree | 9fc4af412c386df97625ec4dfd1273597a995caf /cmake | |
| parent | 37cdc26762e4f5436c3e1403c92d4bc825eeced2 (diff) | |
cmake: Add build configurations.
Diffstat (limited to 'cmake')
| -rw-r--r-- | cmake/ConfigCompetition.cmake | 18 | ||||
| -rw-r--r-- | cmake/ConfigDebug.cmake | 22 | ||||
| -rw-r--r-- | cmake/ConfigProduction.cmake | 16 | ||||
| -rw-r--r-- | cmake/ConfigTesting.cmake | 20 |
4 files changed, 76 insertions, 0 deletions
diff --git a/cmake/ConfigCompetition.cmake b/cmake/ConfigCompetition.cmake new file mode 100644 index 000000000..dade05ba4 --- /dev/null +++ b/cmake/ConfigCompetition.cmake @@ -0,0 +1,18 @@ +set(CVC4_BUILD_PROFILE_COMPETITION 1) +add_definitions(-DCVC4_COMPETITION_MODE) +add_check_c_cxx_flag("-funroll-all-loops") +add_check_c_cxx_flag("-fexpensive-optimizations") +add_check_c_cxx_flag("-fno-enforce-eh-specs") +# OPTLEVEL=9 +# enable_optimized=yes +set(OPTIMIZATION_LEVEL, 9) +# enable_debug_symbols=no +# enable_statistics=no +# enable_replay=no +# enable_assertions=no +# enable_proof=no +# enable_tracing=no +# enable_dumping=no +# enable_muzzle=yes +# enable_valgrind=no +# enable_shared=no diff --git a/cmake/ConfigDebug.cmake b/cmake/ConfigDebug.cmake new file mode 100644 index 000000000..c2ab7f935 --- /dev/null +++ b/cmake/ConfigDebug.cmake @@ -0,0 +1,22 @@ +set(CVC4_BUILD_PROFILE_DEBUG 1) +add_definitions(-DCVC4_DEBUG) +set(CVC4_DEBUG 1) +add_check_c_cxx_flag("-fno-inline") +# enable_optimized=no +add_c_cxx_flag("-Og") +# enable_debug_symbols=yes +set(ENABLE_DEBUG_SYMBOLS ON) +# enable_statistics=yes +set(ENABLE_STATISTICS ON) +# enable_replay=yes +set(ENABLE_REPLAY ON) +# enable_assertions=yes +set(ENABLE_ASSERTIONS ON) +# enable_proof=yes +set(ENABLE_PROOFS, ON) +# enable_tracing=yes +set(ENABLE_TRACING ON) +# enable_dumping=yes +set(ENABLE_DUMPING ON) +# enable_muzzle=no +# enable_valgrind=optional diff --git a/cmake/ConfigProduction.cmake b/cmake/ConfigProduction.cmake new file mode 100644 index 000000000..27bb7270d --- /dev/null +++ b/cmake/ConfigProduction.cmake @@ -0,0 +1,16 @@ +set(CVC4_BUILD_PROFILE_PRODUCTION 1) +# OPTLEVEL=3 +# enable_optimized=yes +set(OPTIMIZATION_LEVEL, 3) +# enable_debug_symbols=no +# enable_statistics=yes +set(ENABLE_STATISTICS ON) +# enable_replay=no +# enable_assertions=no +# enable_proof=yes +set(ENABLE_PROOFS, ON) +# enable_tracing=no +# enable_dumping=yes +set(ENABLE_DUMPING ON) +# enable_muzzle=no +# enable_valgrind=no diff --git a/cmake/ConfigTesting.cmake b/cmake/ConfigTesting.cmake new file mode 100644 index 000000000..4d6094ce8 --- /dev/null +++ b/cmake/ConfigTesting.cmake @@ -0,0 +1,20 @@ +set(CVC4_BUILD_PROFILE_TESTING 1) +# OPTLEVEL=2 +# enable_optimized=yes +set(OPTIMIZATION_LEVEL, 2) +# enable_debug_symbols=yes +add_check_c_cxx_flag("-ggdb3") +# enable_statistics=yes +set(ENABLE_STATISTICS ON) +# enable_replay=yes +set(ENABLE_REPLAY ON) +# enable_assertions=yes +set(ENABLE_ASSERTIONS ON) +# enable_proof=yes +set(ENABLE_PROOFS, ON) +# enable_tracing=yes +set(ENABLE_TRACING ON) +# enable_dumping=yes +set(ENABLE_DUMPING ON) +# enable_muzzle=no +# enable_valgrind=no |