cmake/ConfigProduction.cmake

   1 ###############################################################################
   2 # Top contributors (to current version):
   3 #   Aina Niemetz
   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 # OPTLEVEL=3
  15 set(OPTIMIZATION_LEVEL 3)
  16 # enable_debug_symbols=no
  17 cvc5_set_option(ENABLE_DEBUG_SYMBOLS OFF)
  18 # enable_statistics=yes
  19 cvc5_set_option(ENABLE_STATISTICS ON)
  20 # enable_assertions=no
  21 cvc5_set_option(ENABLE_ASSERTIONS OFF)
  22 # enable_proof=yes
  23 cvc5_set_option(ENABLE_PROOFS ON)
  24 # enable_tracing=no
  25 cvc5_set_option(ENABLE_TRACING OFF)
  26 # enable_muzzle=no
  27 cvc5_set_option(ENABLE_MUZZLE OFF)
  28 # enable_valgrind=no
  29 cvc5_set_option(ENABLE_UNIT_TESTING OFF)