diff options
author | Lukáš Zaoral <lzaoral@redhat.com> | 2022-04-21 11:44:58 +0200 |
---|---|---|
committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2022-05-05 14:26:40 -0700 |
commit | 0ceea620c91c53a5167af83deddc97571bb67808 (patch) | |
tree | a5483457fc2ca347ff57da8eadf9f18af07c791f /unittests/Solver | |
parent | 5536893ba57604dac1cc2a527e3137336bb96ae6 (diff) | |
download | klee-0ceea620c91c53a5167af83deddc97571bb67808.tar.gz |
cmake: try using system installation of GTest if it's present
This is a patch that I made few months ago as Fedora forbids bundling and using pieces of software provided by other packages in its repositories but forgot to upstream it at that time. [1] It has been rebased and improved so that it also reflects changes made in #1458. This should also make the compilation of unittests easier for our users as they don't need to clone googletest from GitHub anymore and just use package manager in the distro of their choice, provided that the gtest package includes a corresponding CMake module. [1]: https://src.fedoraproject.org/rpms/klee/blob/4c81b78/f/use-system-gtest.patch
Diffstat (limited to 'unittests/Solver')
0 files changed, 0 insertions, 0 deletions