mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-07 09:55:19 +00:00
Code Activity

Fixes the git submodule error discussed in https://github.com/Z3Prover/z3/pull/1552

Browse source
This commit is contained in:
Chris Moore 2018-10-15 10:09:41 -05:00
parent b1ab473035
commit a8f26ae1d8
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

@ -99,7 +99,7 @@ set(GIT_DIR "${CMAKE_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("${GIT_DIR}" ADD_GIT_DEP_SUCCESS) add_git_dir_dependency("${CMAKE_SOURCE_DIR}" ADD_GIT_DEP_SUCCESS)
if (ADD_GIT_DEP_SUCCESS) if (ADD_GIT_DEP_SUCCESS)
if (INCLUDE_GIT_HASH) if (INCLUDE_GIT_HASH)
get_git_head_hash("${GIT_DIR}" Z3GITHASH) get_git_head_hash("${GIT_DIR}" Z3GITHASH)