projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 557e565) | patch
Add missing dependency for CaDiCaL (#6431)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Fri, 23 Apr 2021 21:50:02 +0000 (23:50 +0200)
committerGitHub <noreply@github.com>
Fri, 23 Apr 2021 21:50:02 +0000 (21:50 +0000)
commit335eedb9096db8d4654486f015449621fb146eaa
tree1eb3987eebee0e71f91f4ceedc61295097011a18tree
parent557e5658048b48b8908675b632fc977f78c71605commit | diff
Add missing dependency for CaDiCaL (#6431)

This PR adds the dependency of the CaDiCaL cmake target on the external project CaDiCaL-EP if it is not found in the system.
cmake/FindCaDiCaL.cmake diff | blob | history