projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 96ac1d2) | patch
Add external project to install gtest (#6229)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Mon, 29 Mar 2021 22:24:46 +0000 (00:24 +0200)
committerGitHub <noreply@github.com>
Mon, 29 Mar 2021 22:24:46 +0000 (22:24 +0000)
commitef31c2518c194029a913fe2872e2040d2f5e4294
tree216abc5f72110d34d99fd345566fee9bc36ce736tree
parent96ac1d2a5d1f25eaa1b0b265bb21d1a8b3c3d872commit | diff
Add external project to install gtest (#6229)

This PR enables us to build gtest ourselves if it is not already installed.
cmake/FindGTest.cmake [new file with mode: 0644] blob
test/unit/CMakeLists.txt diff | blob | history