diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-05-28 05:51:01 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-05-28 05:51:01 +0000 |
commit | cac515ace0282dc5f3ee4de854ca1a5223bdf29a (patch) | |
tree | a3f337ea871f380dcb835b1f4b26997fd634ba7f /src/main | |
parent | bb22eb1a5f9c3bcd5a043eb8c48f28fada58f370 (diff) |
include subversion information used for each build in the --show-config output and as a banner in --interactive mode; intended to resolve confusion in cases where you don't know where a CVC4 binary came from
Diffstat (limited to 'src/main')
-rw-r--r-- | src/main/main.cpp | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/src/main/main.cpp b/src/main/main.cpp index 9cb963d5c..9c2464b8d 100644 --- a/src/main/main.cpp +++ b/src/main/main.cpp @@ -278,6 +278,19 @@ int runCvc4(int argc, char* argv[]) { Command* cmd; if( options.interactive ) { InteractiveShell shell(exprMgr, options); + Message() << Configuration::getPackageName() + << " " << Configuration::getVersionString(); + if(Configuration::isSubversionBuild()) { + Message() << " [subversion " << Configuration::getSubversionBranchName() + << " r" << Configuration::getSubversionRevision() + << (Configuration::hasSubversionModifications() ? + " (with modifications)" : "") + << "]"; + } + Message() << (Configuration::isDebugBuild() ? " DEBUG" : "") + << " assertions:" + << (Configuration::isAssertionBuild() ? "on" : "off") + << endl; if(replayParser != NULL) { // have the replay parser use the declarations input interactively replayParser->useDeclarationsFrom(shell.getParser()); |