diff options
Diffstat (limited to 'src/base/git_versioninfo.cpp.in')
| -rw-r--r-- | src/base/git_versioninfo.cpp.in | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/base/git_versioninfo.cpp.in b/src/base/git_versioninfo.cpp.in new file mode 100644 index 000000000..e601a851a --- /dev/null +++ b/src/base/git_versioninfo.cpp.in @@ -0,0 +1,5 @@ +#include "base/configuration.h" +const bool ::CVC4::Configuration::IS_GIT_BUILD = true; +const char* const ::CVC4::Configuration::GIT_BRANCH_NAME = "@GIT_BRANCH@"; +const char* const ::CVC4::Configuration::GIT_COMMIT = "@GIT_SHA1@"; +const bool ::CVC4::Configuration::GIT_HAS_MODIFICATIONS = @GIT_IS_DIRTY@; |