cmake/ConfigCompetition.cmake

   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")
   5 # OPTLEVEL=9
   6 # enable_optimized=yes
   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)
  13 # enable_replay=no
  14 cvc4_set_option(ENABLE_REPLAY OFF)
  15 # enable_assertions=no
  16 cvc4_set_option(ENABLE_ASSERTIONS OFF)
  17 # enable_proof=no
  18 cvc4_set_option(ENABLE_PROOFS OFF)
  19 # enable_tracing=no
  20 cvc4_set_option(ENABLE_TRACING OFF)
  21 # enable_dumping=no
  22 cvc4_set_option(ENABLE_DUMPING OFF)
  23 # enable_muzzle=yes
  24 cvc4_set_option(ENABLE_MUZZLE ON)
  25 # enable_valgrind=no
  26 # enable_shared=no
  27 cvc4_set_option(ENABLE_SHARED OFF)
  28 cvc4_set_option(ENABLE_UNIT_TESTING OFF)