summaryrefslogtreecommitdiff
path: root/cmake/FindCryptoMiniSat.cmake
AgeCommit message (Expand)Author
2021-10-21Working on windows builds (#7381)Gereon Kremer
2021-10-01Remove (apparently obsolete) checks in cms config (#7294)Gereon Kremer
2021-08-16Add check for static libraries when compiling CryptoMiniSat #7010 (#7014)Andrew V. Jones
2021-07-19'CryptoMiniSat_LIBRARIES' should respect lib/lib64 (#6905)Andrew V. Jones
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-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-10-22Only build CryptoMiniSat library, no binary (#2657)Andres Noetzli
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 CryptoMiniSat.Mathias Preiner
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback