From da0e140e1c3edd9a7480500ca6cd42bc201822b2 Mon Sep 17 00:00:00 2001 From: Ding Fei Date: Thu, 29 Oct 2020 01:08:13 +0800 Subject: [PATCH] fix git dir for git-dependency in cmake (#4759) This is not fixed as #1993 stated. Co-authored-by: Ding Fei --- CMakeLists.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CMakeLists.txt b/CMakeLists.txt index a21563e33..ea554a5b0 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -72,7 +72,7 @@ set(GIT_DIR "${PROJECT_SOURCE_DIR}/.git") if (EXISTS "${GIT_DIR}") # Try to make CMake configure depend on the current git HEAD so that # 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 (Z3_INCLUDE_GIT_HASH) get_git_head_hash("${GIT_DIR}" Z3GITHASH)