diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-09-17 10:30:56 -0700 |
|---|---|---|
| committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
| commit | d990b982bb0723401eb288184ef68e7acc33a6fb (patch) | |
| tree | 6f6af53f2d2105ecf1ff8e02f60af81fb178baef /src/base | |
| parent | 9267af9315f21c9608a5962f862a4882758aa26e (diff) | |
cmake: Move extracting git information to src/base cmake config file.
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/CMakeLists.txt | 24 |
1 files changed, 22 insertions, 2 deletions
diff --git a/src/base/CMakeLists.txt b/src/base/CMakeLists.txt index 320049c8c..9ef564df8 100644 --- a/src/base/CMakeLists.txt +++ b/src/base/CMakeLists.txt @@ -1,3 +1,23 @@ +#-----------------------------------------------------------------------------# +# Extract info from Git for git_versioninfo.cpp + +include(GetGitRevisionDescription) +get_git_head_revision(GIT_REFSPEC GIT_SHA1) +git_local_changes(GIT_IS_DIRTY) +if(${GIT_IS_DIRTY} STREQUAL "DIRTY") + set(GIT_IS_DIRTY "true") +else() + set(GIT_IS_DIRTY "false") +endif() +execute_process( + COMMAND "${GIT_EXECUTABLE}" rev-parse --abbrev-ref HEAD + OUTPUT_VARIABLE GIT_BRANCH + OUTPUT_STRIP_TRAILING_WHITESPACE +) + +#-----------------------------------------------------------------------------# +# Generate git_versioninfo.cpp + configure_file(git_versioninfo.cpp.in git_versioninfo.cpp) libcvc4_add_sources( @@ -19,9 +39,9 @@ libcvc4_add_sources( libcvc4_add_sources(GENERATED git_versioninfo.cpp) -# +#-----------------------------------------------------------------------------# # Generate code for debug/trace tags -# + set(gentmptags_script ${CMAKE_CURRENT_LIST_DIR}/gentmptags.sh) set(gentags_script ${CMAKE_CURRENT_LIST_DIR}/gentags.sh) set(genheader_script ${CMAKE_CURRENT_LIST_DIR}/genheader.sh) |