about summary refs log tree commit diff homepage
path: root/include
diff options
context:
space:
mode:
authorDan Liew <daniel.liew@imperial.ac.uk>2016-11-03 15:28:55 +0000
committerDan Liew <delcypher@gmail.com>2016-11-07 22:16:29 +0000
commite853f0bceeb7099acc3df16e52a3cfd1dabad422 (patch)
tree4a6e2c43d500ed1cce6f622ebaa9c68ba09737ec /include
parent6c2bba097639922244201e6140f71ccd14e335c3 (diff)
downloadklee-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.cmin5
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