diff options
Diffstat (limited to 'src/util/configuration_private.h')
-rw-r--r-- | src/util/configuration_private.h | 96 |
1 files changed, 96 insertions, 0 deletions
diff --git a/src/util/configuration_private.h b/src/util/configuration_private.h new file mode 100644 index 000000000..913fcc3e9 --- /dev/null +++ b/src/util/configuration_private.h @@ -0,0 +1,96 @@ +/********************* */ +/*! \file configuration_private.h + ** \verbatim + ** Original author: cconway + ** Major contributors: none + ** Minor contributors (to current version): none + ** This file is part of the CVC4 prototype. + ** Copyright (c) 2009, 2010 The Analysis of Computer Systems Group (ACSys) + ** Courant Institute of Mathematical Sciences + ** New York University + ** See the file COPYING in the top-level source directory for licensing + ** information.\endverbatim + ** + ** \brief Provides compile-time configuration information about the + ** CVC4 library. + **/ + +#include "cvc4autoconfig.h" + +using namespace std; + +namespace CVC4 { + +#ifdef CVC4_DEBUG +#define IS_DEBUG_BUILD true +#else /* CVC4_DEBUG */ +#define IS_DEBUG_BUILD false +#endif /* CVC4_DEBUG */ + +#ifdef CVC4_TRACING +#define IS_TRACING_BUILD true +#else /* CVC4_TRACING */ +#define IS_TRACING_BUILD false +#endif /* CVC4_TRACING */ + +#ifdef CVC4_MUZZLE +#define IS_MUZZLED_BUILD true +#else /* CVC4_MUZZLE */ +#define IS_MUZZLED_BUILD false +#endif /* CVC4_MUZZLE */ + +#ifdef CVC4_ASSERTIONS +#define IS_ASSERTIONS_BUILD true +#else /* CVC4_ASSERTIONS */ +#define IS_ASSERTIONS_BUILD false +#endif /* CVC4_ASSERTIONS */ + +#ifdef CVC4_COVERAGE +#define IS_COVERAGE_BUILD true +#else /* CVC4_COVERAGE */ +#define IS_COVERAGE_BUILD false +#endif /* CVC4_COVERAGE */ + +#ifdef CVC4_PROFILING +#define IS_PROFILING_BUILD true +#else /* CVC4_PROFILING */ +#define IS_PROFILING_BUILD false +#endif /* CVC4_PROFILING */ + +#ifdef CVC4_COMPETITION_MODE +#define IS_COMPETITION_BUILD true +#else /* CVC4_COMPETITION_MODE */ +#define IS_COMPETITION_BUILD false +#endif /* CVC4_COMPETITION_MODE */ + +#ifdef CVC4_GMP_IMP +#define IS_GMP_BUILD true +#else /* CVC4_GMP_IMP */ +#define IS_GMP_BUILD false +#endif /* CVC4_GMP_IMP */ + +#ifdef CVC4_CLN_IMP +#define IS_CLN_BUILD true +#else /* CVC4_CLN_IMP */ +#define IS_CLN_BUILD false +#endif /* CVC4_CLN_IMP */ + +#define CVC4_ABOUT_STRING string("\ +This is a pre-release of CVC4.\n\ +Copyright (C) 2009, 2010\n\ + The ACSys Group\n\ + Courant Institute of Mathematical Sciences\n\ + New York University\n\ + New York, NY 10012 USA\n\n") + \ + (IS_CLN_BUILD ? "\ +This CVC4 library uses CLN as its multi-precision arithmetic library.\n\n\ +CVC4 is open-source and is covered by the BSD license (modified).\n\ +However, CLN, the Class Library for Numbers, is covered by the GPL. Thus\n\ +this CVC4 library cannot be used in proprietary applications. Please\n\ +consult the CVC4 documentation for instructions about building a version\n\ +of CVC4 that links against GMP, and can be used in such applications.\n" : \ +"This CVC4 library uses GMP as its multi-precision arithmetic library.\n\n\ +CVC4 is open-source and is covered by the BSD license (modified).\n") + + +}/* CVC4 namespace */ |