cmake/ConfigProduction.cmake


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
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