diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-09-17 01:57:27 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-09-17 01:57:27 +0000 |
commit | 35c358f086dc16604e506028c1c288172edd1409 (patch) | |
tree | 15ab0e8613a419ee1c48825ee8096976142aceb2 /src/util/configuration.cpp | |
parent | 84f0e9f58671083794dce8ed8e71a8fa9fe587cd (diff) |
--show-debug-tags and --show-trace-tags now supported by Configuration API; also, the information is only recompiled and relinked when it has changed, avoiding unnecessary relinking
Diffstat (limited to 'src/util/configuration.cpp')
-rw-r--r-- | src/util/configuration.cpp | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/src/util/configuration.cpp b/src/util/configuration.cpp index c13b63e3f..062aca478 100644 --- a/src/util/configuration.cpp +++ b/src/util/configuration.cpp @@ -25,6 +25,14 @@ #include "util/configuration_private.h" #include "cvc4autoconfig.h" +#ifdef CVC4_DEBUG +# include "util/Debug_tags.h" +#endif /* CVC4_DEBUG */ + +#ifdef CVC4_TRACING +# include "util/Trace_tags.h" +#endif /* CVC4_TRACING */ + using namespace std; namespace CVC4 { @@ -117,6 +125,38 @@ bool Configuration::isBuiltWithTlsSupport() { return USING_TLS; } +unsigned Configuration::getNumDebugTags() { +#if CVC4_DEBUG + return sizeof(Debug_tags) / sizeof(Debug_tags[0]); +#else /* CVC4_DEBUG */ + return 0; +#endif /* CVC4_DEBUG */ +} + +char const* const* Configuration::getDebugTags() { +#if CVC4_DEBUG + return Debug_tags; +#else /* CVC4_DEBUG */ + return NULL; +#endif /* CVC4_DEBUG */ +} + +unsigned Configuration::getNumTraceTags() { +#if CVC4_TRACING + return sizeof(Trace_tags) / sizeof(Trace_tags[0]); +#else /* CVC4_TRACING */ + return 0; +#endif /* CVC4_TRACING */ +} + +char const* const* Configuration::getTraceTags() { +#if CVC4_TRACING + return Trace_tags; +#else /* CVC4_TRACING */ + return NULL; +#endif /* CVC4_TRACING */ +} + bool Configuration::isSubversionBuild() { return IS_SUBVERSION_BUILD; } |