diff options
Diffstat (limited to 'src/util/configuration.cpp')
-rw-r--r-- | src/util/configuration.cpp | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/util/configuration.cpp b/src/util/configuration.cpp index db3c5520e..aa3e6bf6b 100644 --- a/src/util/configuration.cpp +++ b/src/util/configuration.cpp @@ -19,6 +19,7 @@ **/ #include <string> +#include <sstream> #include "util/configuration.h" #include "util/configuration_private.h" @@ -124,4 +125,15 @@ bool Configuration::hasSubversionModifications() { return SUBVERSION_HAS_MODIFICATIONS; } +string Configuration::getSubversionId() { + if(! isSubversionBuild()) { + return ""; + } + + stringstream ss; + ss << "subversion " << getSubversionBranchName() << " r" << getSubversionRevision() + << ( ::CVC4::Configuration::hasSubversionModifications() ? " (with modifications)" : "" ); + return ss.str(); +} + }/* CVC4 namespace */ |