diff options
Diffstat (limited to 'src/util/configuration.cpp')
-rw-r--r-- | src/util/configuration.cpp | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/src/util/configuration.cpp b/src/util/configuration.cpp index afd30bba9..db3c5520e 100644 --- a/src/util/configuration.cpp +++ b/src/util/configuration.cpp @@ -108,4 +108,20 @@ bool Configuration::isBuiltWithTlsSupport() { return USING_TLS; } +bool Configuration::isSubversionBuild() { + return IS_SUBVERSION_BUILD; +} + +const char* Configuration::getSubversionBranchName() { + return SUBVERSION_BRANCH_NAME; +} + +unsigned Configuration::getSubversionRevision() { + return SUBVERSION_REVISION; +} + +bool Configuration::hasSubversionModifications() { + return SUBVERSION_HAS_MODIFICATIONS; +} + }/* CVC4 namespace */ |