diff options
Diffstat (limited to 'src/base/configuration.cpp')
-rw-r--r-- | src/base/configuration.cpp | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/src/base/configuration.cpp b/src/base/configuration.cpp index 1a53ccfe9..32ab85f96 100644 --- a/src/base/configuration.cpp +++ b/src/base/configuration.cpp @@ -215,8 +215,6 @@ std::string Configuration::about() { ss << "This is CVC4 version " << CVC4_RELEASE_STRING; if (Configuration::isGitBuild()) { ss << " [" << Configuration::getGitId() << "]"; - } else if (CVC4::Configuration::isSubversionBuild()) { - ss << " [" << Configuration::getSubversionId() << "]"; } ss << "\ncompiled with " << Configuration::getCompiler() << "\non " << Configuration::getCompiledDateTime() << "\n\n"; @@ -358,33 +356,6 @@ std::string Configuration::getGitId() { return ss.str(); } -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; -} - -std::string Configuration::getSubversionId() { - if(! isSubversionBuild()) { - return ""; - } - - stringstream ss; - ss << "subversion " << getSubversionBranchName() << " r" << getSubversionRevision() - << ( ::CVC4::Configuration::hasSubversionModifications() ? " (with modifications)" : "" ); - return ss.str(); -} - std::string Configuration::getCompiler() { stringstream ss; #ifdef __GNUC__ |