diff options
author | Julian Büning <julian.buening@rwth-aachen.de> | 2022-01-03 21:42:36 +0100 |
---|---|---|
committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2022-01-05 20:22:12 +0000 |
commit | 9ead1dbc2a5f450a26ff1a2536c733758b2ec578 (patch) | |
tree | 21604a3016b25b62ac4a6565dd741c58fd728fd3 /.github | |
parent | b6889b7a31b6e5f05600b2b49e36b02e99fc5d5c (diff) | |
download | klee-9ead1dbc2a5f450a26ff1a2536c733758b2ec578.tar.gz |
CMake: set Google Test options properly
If the used CMake version is recent enough to support the necessary policy CMP0077, set INSTALL_GTEST using normal variables instead of cache variables. We never want to allow Google Test to add to the install target, so we should not allow a user to interfere with this. In addition, we set BUILD_GMOCK=OFF (and the necessary BUILD_GTEST=ON for Google Test 1.8.0), as our current tests do not require Google Mock.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions