Remove Subversion build info (#2250)

2 files changed, 0 insertions, 39 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__
diff --git a/src/base/configuration.h b/src/base/configuration.h
index 16c6d7f0d..a00a6c1d9 100644
--- a/src/base/configuration.h
+++ b/src/base/configuration.h
@@ -34,10 +34,6 @@ private:
   Configuration();
 
   // these constants are filled in by the build system
-  static const bool IS_SUBVERSION_BUILD;
-  static const char* const SUBVERSION_BRANCH_NAME;
-  static const unsigned SUBVERSION_REVISION;
-  static const bool SUBVERSION_HAS_MODIFICATIONS;
   static const bool IS_GIT_BUILD;
   static const char* const GIT_BRANCH_NAME;
   static const char* const GIT_COMMIT;
@@ -125,12 +121,6 @@ public:
   static bool hasGitModifications();
   static std::string getGitId();
 
-  static bool isSubversionBuild();
-  static const char* getSubversionBranchName();
-  static unsigned getSubversionRevision();
-  static bool hasSubversionModifications();
-  static std::string getSubversionId();
-
   static std::string getCompiler();
   static std::string getCompiledDateTime();