From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Tue, 25 Sep 2018 00:32:43 +0000 (-0700)
Subject: cmake: Fix git version info (again). (#2523)
X-Git-Tag: cvc5-1.0.0~4516
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=cf589cb256eeba427a08f2831a3fe46e9e52f095;p=cvc5.git

cmake: Fix git version info (again). (#2523)
---

diff --git a/src/base/CMakeLists.txt b/src/base/CMakeLists.txt
index c29eaa393..0b0da4eee 100644
--- a/src/base/CMakeLists.txt
+++ b/src/base/CMakeLists.txt
@@ -11,7 +11,7 @@ set(GIT_BRANCH "")
 if(GIT_FOUND)
   # Get current git branch, result is != 0 if this is not a git repository
   execute_process(
-    COMMAND ${GIT_EXECUTABLE} rev-parse --abbrev-ref HEAD
+    COMMAND ${GIT_EXECUTABLE} -C ${PROJECT_SOURCE_DIR} rev-parse --abbrev-ref HEAD
     RESULT_VARIABLE GIT_RESULT
     OUTPUT_VARIABLE GIT_BRANCH
     OUTPUT_STRIP_TRAILING_WHITESPACE
@@ -20,13 +20,13 @@ if(GIT_FOUND)
     set(GIT_BUILD "true")
     # Extract sha1 of HEAD
     execute_process(
-      COMMAND ${GIT_EXECUTABLE} rev-parse HEAD
+      COMMAND ${GIT_EXECUTABLE} -C ${PROJECT_SOURCE_DIR} rev-parse HEAD
       OUTPUT_VARIABLE GIT_SHA1
       OUTPUT_STRIP_TRAILING_WHITESPACE
     )
     # Result is != 0 if worktree is dirty
     execute_process(
-      COMMAND git diff --quiet
+      COMMAND ${GIT_EXECUTABLE} -C ${PROJECT_SOURCE_DIR} diff --quiet
       RESULT_VARIABLE GIT_RESULT
     )
     if(NOT "${GIT_RESULT}" STREQUAL "0")