about summary refs log tree commit diff homepage
path: root/unittests/Solver
diff options
context:
space:
mode:
authorLukáš Zaoral <lzaoral@redhat.com>2022-04-21 11:44:58 +0200
committerCristian Cadar <c.cadar@imperial.ac.uk>2022-05-05 14:26:40 -0700
commit0ceea620c91c53a5167af83deddc97571bb67808 (patch)
treea5483457fc2ca347ff57da8eadf9f18af07c791f /unittests/Solver
parent5536893ba57604dac1cc2a527e3137336bb96ae6 (diff)
downloadklee-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