about summary refs log tree commit diff homepage
path: root/.github
diff options
context:
space:
mode:
authorJulian Büning <julian.buening@rwth-aachen.de>2022-01-03 21:42:36 +0100
committerMartinNowack <2443641+MartinNowack@users.noreply.github.com>2022-01-05 20:22:12 +0000
commit9ead1dbc2a5f450a26ff1a2536c733758b2ec578 (patch)
tree21604a3016b25b62ac4a6565dd741c58fd728fd3 /.github
parentb6889b7a31b6e5f05600b2b49e36b02e99fc5d5c (diff)
downloadklee-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