projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bdf46b4) | patch
Fix message to show that cadical and symfpu are required (#6823)
authorGereon Kremer <nafur42@gmail.com>
Thu, 1 Jul 2021 17:34:56 +0000 (19:34 +0200)
committerGitHub <noreply@github.com>
Thu, 1 Jul 2021 17:34:56 +0000 (17:34 +0000)
commitc2a5fcf1ae85d007bccd8fa294a7b66287972c65
tree577d40e6e6b9feb2ab796534781a01ce1a128533tree
parentbdf46b42d6bd66121a5b5175a81408cd64d7ecfacommit | diff
Fix message to show that cadical and symfpu are required (#6823)

As mentioned in #6822, we are currently printing an incorrect message if CaDiCaL or SymFPU are not found but auto-download is disabled. This PR fixes this issue.
cmake/FindCaDiCaL.cmake diff | blob | history
cmake/FindSymFPU.cmake diff | blob | history