1 add_definitions(-DCVC4_COMPETITION_MODE)
2 add_check_c_cxx_flag("-funroll-all-loops")
3 add_check_c_cxx_flag("-fexpensive-optimizations")
4 add_check_c_cxx_flag("-fno-enforce-eh-specs")
7 cvc4_set_option(ENABLE_OPTIMIZED ON)
8 set(OPTIMIZATION_LEVEL 9)
9 # enable_debug_symbols=no
10 cvc4_set_option(ENABLE_DEBUG_SYMBOLS OFF)
11 # enable_statistics=no
12 cvc4_set_option(ENABLE_STATISTICS OFF)
14 cvc4_set_option(ENABLE_REPLAY OFF)
15 # enable_assertions=no
16 cvc4_set_option(ENABLE_ASSERTIONS OFF)
18 cvc4_set_option(ENABLE_PROOFS OFF)
20 cvc4_set_option(ENABLE_TRACING OFF)
22 cvc4_set_option(ENABLE_DUMPING OFF)
24 cvc4_set_option(ENABLE_MUZZLE ON)
27 cvc4_set_option(ENABLE_SHARED OFF)
28 cvc4_set_option(ENABLE_UNIT_TESTING OFF)