cmake/ConfigCompetition.cmake

   1 ###############################################################################
   2 # Top contributors (to current version):
   3 #   Aina Niemetz, Andres Noetzli, Mathias Preiner
   4 #
   5 # This file is part of the cvc5 project.
   6 #
   7 # Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
   8 # in the top-level source directory and their institutional affiliations.
   9 # All rights reserved.  See the file COPYING in the top-level source
  10 # directory for licensing information.
  11 # #############################################################################
  12 ##
  13
  14 add_definitions(-DCVC5_COMPETITION_MODE)
  15 add_check_c_cxx_flag("-funroll-all-loops")
  16 add_check_c_cxx_flag("-fexpensive-optimizations")
  17 add_check_c_cxx_flag("-fno-enforce-eh-specs")
  18 # OPTLEVEL=9
  19 set(OPTIMIZATION_LEVEL 9)
  20 # enable_debug_symbols=no
  21 cvc5_set_option(ENABLE_DEBUG_SYMBOLS OFF)
  22 # enable_statistics=no
  23 cvc5_set_option(ENABLE_STATISTICS OFF)
  24 # enable_assertions=no
  25 cvc5_set_option(ENABLE_ASSERTIONS OFF)
  26 # enable_proof=no
  27 cvc5_set_option(ENABLE_PROOFS OFF)
  28 # enable_tracing=no
  29 cvc5_set_option(ENABLE_TRACING OFF)
  30 # enable_dumping=no
  31 cvc5_set_option(ENABLE_DUMPING OFF)
  32 # enable_muzzle=yes
  33 cvc5_set_option(ENABLE_MUZZLE ON)
  34 # enable_valgrind=no
  35 cvc5_set_option(BUILD_SHARED_LIBS OFF)
  36 cvc5_set_option(ENABLE_UNIT_TESTING OFF)
  37
  38 # By default, we include all dependencies in our competition build that are
  39 # required to achieve the best performance
  40 set(ENABLE_GPL ON)
  41 cvc5_set_option(USE_CADICAL ON)
  42 cvc5_set_option(USE_CLN ON)
  43 cvc5_set_option(USE_CRYPTOMINISAT ON)
  44 cvc5_set_option(USE_EDITLINE OFF)
  45 cvc5_set_option(USE_GLPK ON)
  46 cvc5_set_option(USE_SYMFPU ON)