diff options
author | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-11-03 15:28:55 +0000 |
---|---|---|
committer | Dan Liew <delcypher@gmail.com> | 2016-11-07 22:16:29 +0000 |
commit | e853f0bceeb7099acc3df16e52a3cfd1dabad422 (patch) | |
tree | 4a6e2c43d500ed1cce6f622ebaa9c68ba09737ec /include | |
parent | 6c2bba097639922244201e6140f71ccd14e335c3 (diff) | |
download | klee-e853f0bceeb7099acc3df16e52a3cfd1dabad422.tar.gz |
[CMake] Report git revision information if available.
This is done as a separate commit because it imports third party code. It's under the Boost license though so it "should be" fine.
Diffstat (limited to 'include')
-rw-r--r-- | include/klee/Config/CompileTimeInfo.h.cmin | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/include/klee/Config/CompileTimeInfo.h.cmin b/include/klee/Config/CompileTimeInfo.h.cmin index e07de010..72dbc7b1 100644 --- a/include/klee/Config/CompileTimeInfo.h.cmin +++ b/include/klee/Config/CompileTimeInfo.h.cmin @@ -12,8 +12,7 @@ #define KLEE_COMPILE_TIME_INFO_H #define KLEE_BUILD_MODE "@CMAKE_BUILD_TYPE@ (Asserts: @ENABLE_KLEE_ASSERTS@)" -// TODO: Implement support for these -// KLEE_BUILD_REVISION -// KLEE_BUILD_TAG +#define KLEE_BUILD_REVISION "@KLEE_GIT_SHA1HASH@" +#define KLEE_BUILD_TAG "@KLEE_GIT_TAG@" #endif |