diff options
author | Gereon Kremer <nafur42@gmail.com> | 2021-07-01 19:34:56 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-07-01 17:34:56 +0000 |
commit | c2a5fcf1ae85d007bccd8fa294a7b66287972c65 (patch) | |
tree | 577d40e6e6b9feb2ab796534781a01ce1a128533 /cmake/FindGMP.cmake | |
parent | bdf46b42d6bd66121a5b5175a81408cd64d7ecfa (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.
Diffstat (limited to 'cmake/FindGMP.cmake')
0 files changed, 0 insertions, 0 deletions