Age | Commit message (Collapse) | Author | |
---|---|---|---|
2018-09-22 | cmake: Build fully static binaries with option --static. | Mathias Preiner | |
2018-09-22 | cmake: Add options for specifying install directories for dependencies. | Mathias Preiner | |
2018-09-22 | cmake: Add module finder for CaDiCaL. | Mathias Preiner | |