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 set(OPTIMIZATION_LEVEL, 9)
   9 # enable_debug_symbols=no
  10 # enable_statistics=no
  11 # enable_replay=no
  12 # enable_assertions=no
  13 # enable_proof=no
  14 # enable_tracing=no
  15 # enable_dumping=no
  16 # enable_muzzle=yes
  17 # enable_valgrind=no
  18 # enable_shared=no