From a8f26ae1d8f94b886b4518b261868cfedf756ecd Mon Sep 17 00:00:00 2001
From: Chris Moore <0xCM00@gmail.com>
Date: Mon, 15 Oct 2018 10:09:41 -0500
Subject: [PATCH] Fixes the git submodule error discussed in
https://github.com/Z3Prover/z3/pull/1552
---
CMakeLists.txt | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/CMakeLists.txt b/CMakeLists.txt
index 2ace973a1..4c1f46ed4 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -99,7 +99,7 @@ set(GIT_DIR "${CMAKE_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("${GIT_DIR}" ADD_GIT_DEP_SUCCESS)
+ add_git_dir_dependency("${CMAKE_SOURCE_DIR}" ADD_GIT_DEP_SUCCESS)
if (ADD_GIT_DEP_SUCCESS)
if (INCLUDE_GIT_HASH)
get_git_head_hash("${GIT_DIR}" Z3GITHASH)