mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 01:24:08 +00:00
Code Activity

fix git dir for git-dependency in cmake (#4759)

Browse source 
This is not fixed as #1993 stated.

Co-authored-by: Ding Fei <fei.ding@ustchcs.com>
This commit is contained in:
Ding Fei 2020-10-29 01:08:13 +08:00 committed by GitHub
parent c40a67da7d
commit da0e140e1c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
CMakeLists.txt
View file

@ -72,7 +72,7 @@ set(GIT_DIR "${PROJECT_SOURCE_DIR}/.git")
if (EXISTS "${GIT_DIR}") if (EXISTS "${GIT_DIR}")
# Try to make CMake configure depend on the current git HEAD so that # Try to make CMake configure depend on the current git HEAD so that
# a re-configure is triggered when the HEAD changes. # a re-configure is triggered when the HEAD changes.
add_git_dir_dependency("${PROJECT_SOURCE_DIR}" ADD_GIT_DEP_SUCCESS) add_git_dir_dependency("${GIT_DIR}" ADD_GIT_DEP_SUCCESS)
if (ADD_GIT_DEP_SUCCESS) if (ADD_GIT_DEP_SUCCESS)
if (Z3_INCLUDE_GIT_HASH) if (Z3_INCLUDE_GIT_HASH)
get_git_head_hash("${GIT_DIR}" Z3GITHASH) get_git_head_hash("${GIT_DIR}" Z3GITHASH)