From 110e97a4e07339cb9593a48b6a23df0f484a4750 Mon Sep 17 00:00:00 2001
From: lyxia <lysxia@gmail.com>
Date: Sat, 14 Oct 2017 23:07:42 -0400
Subject: [CMake] Add option to set GTest include dir

---
 unittests/CMakeLists.txt | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'unittests')

diff --git a/unittests/CMakeLists.txt b/unittests/CMakeLists.txt
index 85b7b061..63934336 100644
--- a/unittests/CMakeLists.txt
+++ b/unittests/CMakeLists.txt
@@ -52,7 +52,12 @@ define_property(GLOBAL
   FULL_DOCS "KLEE unit tests"
 )
 
-set(GTEST_INCLUDE_DIR "${GTEST_SRC_DIR}/include")
+set(GTEST_INCLUDE_DIR
+  "${GTEST_SRC_DIR}/include"
+  CACHE
+  PATH
+  "Path to GTest include directory"
+)
 
 if (NOT IS_DIRECTORY "${GTEST_INCLUDE_DIR}")
   message(FATAL_ERROR
-- 
cgit 1.4.1