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 /lib/Expr/ArrayCache.cpp | |
| 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 'lib/Expr/ArrayCache.cpp')
0 files changed, 0 insertions, 0 deletions