summaryrefslogtreecommitdiff
path: root/cmake/FindCaDiCaL.cmake
AgeCommit message (Expand)Author
2021-05-04cmake: Fix ninja build. (#6481)Mathias Preiner
2021-04-23Add missing dependency for CaDiCaL (#6431)Gereon Kremer
2021-04-22cmake: Do not require --auto-download for already downloaded dependencies. (#...Mathias Preiner
2021-04-16Refactor cmake: auto-download and default-on dependencies (#6355)Gereon Kremer
2021-04-12Refactor and update copyright headers. (#6316)Aina Niemetz
2021-04-02FindCaDiCaL: Avoid redirect to file (#6272)Gereon Kremer
2021-04-01Refactor CLN dependency & Cleanup (#6251)Gereon Kremer
2021-03-31Refactor dependencies for external SAT solvers (#6215)Gereon Kremer
2021-03-09Update copyright headers to 2021. (#6081)Aina Niemetz
2020-09-22Update copyright header script to support CMake and Python files (#5067)Mathias Preiner
2019-12-06contrib: Setup all dependencies in deps/ directory. (#3534)Mathias Preiner
2018-09-22cmake: Build fully static binaries with option --static.Mathias Preiner
2018-09-22cmake: Add options for specifying install directories for dependencies.Mathias Preiner
2018-09-22cmake: Add module finder for CaDiCaL.Mathias Preiner
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback