From e853f0bceeb7099acc3df16e52a3cfd1dabad422 Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Thu, 3 Nov 2016 15:28:55 +0000 Subject: [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. --- include/klee/Config/CompileTimeInfo.h.cmin | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) (limited to 'include') 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 -- cgit 1.4.1