aboutsummaryrefslogtreecommitdiffstats
path: root/cmake/FindCLN.cmake
Commit message (Collapse)AuthorAgeFilesLines
* Use imported CMake targets.Daniel Kirchner2018-12-171-0/+5
|
* Do not force GMP to be present as dependency of CVC4, but also allow CLN ↵Daniel Kirchner2018-08-091-0/+3
instead.