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 /README-CMake.md | |
| 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 'README-CMake.md')
0 files changed, 0 insertions, 0 deletions