diff options
author | Julian Büning <julian.buening@rwth-aachen.de> | 2022-01-02 17:22:41 +0100 |
---|---|---|
committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2022-01-05 20:22:12 +0000 |
commit | 27a199e96d21019e379f012475bb11ad1c677330 (patch) | |
tree | 37020fca5a9b39b6abc7bd39e7ca0ffb79c34d71 /unittests | |
parent | 011dcc6569b4cfb40b79033d048695d533e514fb (diff) | |
download | klee-27a199e96d21019e379f012475bb11ad1c677330.tar.gz |
CMake: include GTest include hint for 1.8.0+
Later versions of googletest also ship googlemock alongside googletest. Thus, the include directory we are looking for is located in a subdirectory. The source directory, however, does not change as googletest/CMakeLists.txt references variables set in CMakeLists.txt of the root directory and is not intended to be included directly.
Diffstat (limited to 'unittests')
-rw-r--r-- | unittests/CMakeLists.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/unittests/CMakeLists.txt b/unittests/CMakeLists.txt index aff9d26e..8f5d2c62 100644 --- a/unittests/CMakeLists.txt +++ b/unittests/CMakeLists.txt @@ -96,6 +96,7 @@ else() HINTS "${GTEST_SRC_DIR}/include" + "${GTEST_SRC_DIR}/googletest/include" NO_DEFAULT_PATH |