diff options
author | Julian Büning <julian.buening@comsys.rwth-aachen.de> | 2022-02-07 08:16:39 +0100 |
---|---|---|
committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2022-03-09 20:27:20 +0100 |
commit | 3608d61091fba10fea58d5efaced319ea1a06eed (patch) | |
tree | 58f92d30893400d95952f8f7cd2a401665207e7f | |
parent | 0ba95edbad26fe70c8132f0731778d94f9609874 (diff) | |
download | klee-3608d61091fba10fea58d5efaced319ea1a06eed.tar.gz |
fix CMake: gtest from llvm includes gtest_main
-rw-r--r-- | unittests/CMakeLists.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/unittests/CMakeLists.txt b/unittests/CMakeLists.txt index faf43a44..51151141 100644 --- a/unittests/CMakeLists.txt +++ b/unittests/CMakeLists.txt @@ -105,6 +105,8 @@ else() # add includes for LLVM's modifications target_include_directories(gtest BEFORE PRIVATE ${LLVM_INCLUDE_DIRS}) + # we cannot disable gtest_main, but will not use it later + target_include_directories(gtest_main BEFORE PRIVATE ${LLVM_INCLUDE_DIRS}) else() # try to find Google Test, as GTEST_SRC_DIR is not manually specified find_path(GTEST_SRC_DIR |