diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-01-25 17:11:44 -0500 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-02-16 15:14:55 -0500 |
| commit | 72832c1a749e4bde8d16930b0f59e5db9810cafc (patch) | |
| tree | ee86841b13d5fa8e020e938fdcc79059a9177d47 /src/util/configuration.h | |
| parent | d389114bc99897fc7ea3c744194225ebab368851 (diff) | |
Fix version identification for new git repository.
Diffstat (limited to 'src/util/configuration.h')
| -rw-r--r-- | src/util/configuration.h | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/util/configuration.h b/src/util/configuration.h index 3f6547872..c85f62f7f 100644 --- a/src/util/configuration.h +++ b/src/util/configuration.h @@ -38,6 +38,10 @@ class CVC4_PUBLIC Configuration { 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; + static const bool GIT_HAS_MODIFICATIONS; public: @@ -101,6 +105,12 @@ public: /* Test if the given argument is a known trace tag name */ static bool isTraceTag(char const *); + static bool isGitBuild(); + static const char* getGitBranchName(); + static const char* getGitCommit(); + static bool hasGitModifications(); + static std::string getGitId(); + static bool isSubversionBuild(); static const char* getSubversionBranchName(); static unsigned getSubversionRevision(); |