cmake/ConfigCompetition.cmake

   1 set(CVC4_BUILD_PROFILE_COMPETITION 1)
   2 add_definitions(-DCVC4_COMPETITION_MODE)
   3 add_check_c_cxx_flag("-funroll-all-loops")
   4 add_check_c_cxx_flag("-fexpensive-optimizations")
   5 add_check_c_cxx_flag("-fno-enforce-eh-specs")
   6 # OPTLEVEL=9
   7 # enable_optimized=yes
   8 cvc4_set_option(ENABLE_OPTIMIZED ON)
   9 set(OPTIMIZATION_LEVEL 9)
  10 # enable_debug_symbols=no
  11 cvc4_set_option(ENABLE_DEBUG_SYMBOLS OFF)
  12 # enable_statistics=no
  13 cvc4_set_option(ENABLE_STATISTICS OFF)
  14 # enable_replay=no
  15 cvc4_set_option(ENABLE_REPLAY OFF)
  16 # enable_assertions=no
  17 cvc4_set_option(ENABLE_ASSERTIONS OFF)
  18 # enable_proof=no
  19 cvc4_set_option(ENABLE_PROOFS OFF)
  20 # enable_tracing=no
  21 cvc4_set_option(ENABLE_TRACING OFF)
  22 # enable_dumping=no
  23 cvc4_set_option(ENABLE_DUMPING OFF)
  24 # enable_muzzle=yes
  25 cvc4_set_option(ENABLE_MUZZLE ON)
  26 # enable_valgrind=no
  27 # enable_shared=no
  28 cvc4_set_option(ENABLE_SHARED OFF)
  29 cvc4_set_option(ENABLE_UNIT_TESTING OFF)