diff options
author | ACSYS <cvc4-devel@cs.nyu.edu> | 2010-09-27 22:26:46 +0000 |
---|---|---|
committer | ACSYS <cvc4-devel@cs.nyu.edu> | 2010-09-27 22:26:46 +0000 |
commit | 753a072c542c1c254d7c6adbf10e091ba585ede5 (patch) | |
tree | 5ab9157fe0d3f265f82a94f7f4e5940697b54ee5 /src/util/configuration_private.h | |
parent | 595751a1814cc9375318c9c158caf6426eeda791 (diff) |
add workaround for systems (i.e., Mac OS X) that don't support __thread; also configure script auto-detection of __thread support and syntax
Diffstat (limited to 'src/util/configuration_private.h')
-rw-r--r-- | src/util/configuration_private.h | 54 |
1 files changed, 33 insertions, 21 deletions
diff --git a/src/util/configuration_private.h b/src/util/configuration_private.h index 913fcc3e9..227250745 100644 --- a/src/util/configuration_private.h +++ b/src/util/configuration_private.h @@ -11,10 +11,15 @@ ** See the file COPYING in the top-level source directory for licensing ** information.\endverbatim ** - ** \brief Provides compile-time configuration information about the + ** \brief Provides compile-time configuration information about the ** CVC4 library. **/ +#include "cvc4_private.h" + +#ifndef __CVC4__CONFIGURATION_PRIVATE_H +#define __CVC4__CONFIGURATION_PRIVATE_H + #include "cvc4autoconfig.h" using namespace std; @@ -22,59 +27,65 @@ using namespace std; namespace CVC4 { #ifdef CVC4_DEBUG -#define IS_DEBUG_BUILD true +# define IS_DEBUG_BUILD true #else /* CVC4_DEBUG */ -#define IS_DEBUG_BUILD false +# define IS_DEBUG_BUILD false #endif /* CVC4_DEBUG */ - + #ifdef CVC4_TRACING -#define IS_TRACING_BUILD true +# define IS_TRACING_BUILD true #else /* CVC4_TRACING */ -#define IS_TRACING_BUILD false +# define IS_TRACING_BUILD false #endif /* CVC4_TRACING */ #ifdef CVC4_MUZZLE -#define IS_MUZZLED_BUILD true +# define IS_MUZZLED_BUILD true #else /* CVC4_MUZZLE */ -#define IS_MUZZLED_BUILD false +# define IS_MUZZLED_BUILD false #endif /* CVC4_MUZZLE */ #ifdef CVC4_ASSERTIONS -#define IS_ASSERTIONS_BUILD true +# define IS_ASSERTIONS_BUILD true #else /* CVC4_ASSERTIONS */ -#define IS_ASSERTIONS_BUILD false +# define IS_ASSERTIONS_BUILD false #endif /* CVC4_ASSERTIONS */ #ifdef CVC4_COVERAGE -#define IS_COVERAGE_BUILD true +# define IS_COVERAGE_BUILD true #else /* CVC4_COVERAGE */ -#define IS_COVERAGE_BUILD false +# define IS_COVERAGE_BUILD false #endif /* CVC4_COVERAGE */ #ifdef CVC4_PROFILING -#define IS_PROFILING_BUILD true +# define IS_PROFILING_BUILD true #else /* CVC4_PROFILING */ -#define IS_PROFILING_BUILD false +# define IS_PROFILING_BUILD false #endif /* CVC4_PROFILING */ #ifdef CVC4_COMPETITION_MODE -#define IS_COMPETITION_BUILD true +# define IS_COMPETITION_BUILD true #else /* CVC4_COMPETITION_MODE */ -#define IS_COMPETITION_BUILD false +# define IS_COMPETITION_BUILD false #endif /* CVC4_COMPETITION_MODE */ #ifdef CVC4_GMP_IMP -#define IS_GMP_BUILD true +# define IS_GMP_BUILD true #else /* CVC4_GMP_IMP */ -#define IS_GMP_BUILD false +# define IS_GMP_BUILD false #endif /* CVC4_GMP_IMP */ #ifdef CVC4_CLN_IMP -#define IS_CLN_BUILD true +# define IS_CLN_BUILD true #else /* CVC4_CLN_IMP */ -#define IS_CLN_BUILD false +# define IS_CLN_BUILD false #endif /* CVC4_CLN_IMP */ +#ifdef TLS +# define USING_TLS true +#else /* TLS */ +# define USING_TLS false +#endif /* TLS */ + #define CVC4_ABOUT_STRING string("\ This is a pre-release of CVC4.\n\ Copyright (C) 2009, 2010\n\ @@ -92,5 +103,6 @@ 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 */ + +#endif /* __CVC4__CONFIGURATION_PRIVATE_H */ |