summaryrefslogtreecommitdiff
path: root/cmake
AgeCommit message (Expand)Author
2021-11-09cmake: Use fastcov for generating coverage reports. (#7594)Mathias Preiner
2021-11-04Refactor cmake to build either static or shared (#7534)Gereon Kremer
2021-11-01bv: Remove layered solver. (#7455)Mathias Preiner
2021-11-01Add fuzzing target for murxla (#7490)Gereon Kremer
2021-10-29Start post-release for 0.0.3Mathias Preiner
2021-10-29Bump version to 0.0.3Mathias Preiner
2021-10-28Combine `--static` and `--static-binary` (#7520)Gereon Kremer
2021-10-28Add support for checking if a `-Wno` flag exists before using it (#7514)Andrew V. Jones
2021-10-27Fix patching for poly on windows (#7513)Gereon Kremer
2021-10-27Fix libpoly build on windows (#7502)Gereon Kremer
2021-10-21Working on windows builds (#7381)Gereon Kremer
2021-10-21Add setup to generate graphs for cmake target dependencies (#7383)Gereon Kremer
2021-10-12cmake: Fix git info if build directory is outside of source tree. (#7351)Mathias Preiner
2021-10-12Fix glpk, add antlr.so (#7341)Gereon Kremer
2021-10-11Start post-release for 0.0.2Mathias Preiner
2021-10-11Bump version to 0.0.2Mathias Preiner
2021-10-11Start post-release for 0.0.1Mathias Preiner
2021-10-11Bump version to 0.0.1Mathias Preiner
2021-10-11Antlr: runtime -> libraries (#7338)Gereon Kremer
2021-10-11Revert #7257 (#7337)Gereon Kremer
2021-10-11Restore compatibility with cmake 3.9 (#7329)Gereon Kremer
2021-10-07Add new versioning scheme (#7253)Gereon Kremer
2021-10-07Fix/Improve static and shared builds with CLN or Poly (#7306)Gereon Kremer
2021-10-06Enable static builds in CI (#7281)Gereon Kremer
2021-10-01Remove (apparently obsolete) checks in cms config (#7294)Gereon Kremer
2021-09-30Refactor our static builds (#7251)Gereon Kremer
2021-09-28Remove linking against RT (#7257)Gereon Kremer
2021-08-16Add check for static libraries when compiling CryptoMiniSat #7010 (#7014)Andrew V. Jones
2021-07-24Fix CLN build (#6920)Andres Noetzli
2021-07-23Configuration: Indicate dependencies being built (#6921)Andres Noetzli
2021-07-23Fix CoCoA build for newer compilers (#6919)Andres Noetzli
2021-07-20ANTLR3: Install into `CMAKE_INSTALL_LIBDIR` (#6912)Andres Noetzli
2021-07-19'CryptoMiniSat_LIBRARIES' should respect lib/lib64 (#6905)Andrew V. Jones
2021-07-18'ANTLR3_RUNTIME' should respect lib/lib64 (#6906)Andrew V. Jones
2021-07-12Fix ANTLR build on CMake <3.11 (#6864)Andres Noetzli
2021-07-09Use newer config.sub to fix build on Apple M1 (#6854)Andres Noetzli
2021-07-02Fix CaDiCaL auto-download on macOS (#6828)Andres Noetzli
2021-07-01Fix message to show that cadical and symfpu are required (#6823)Gereon Kremer
2021-06-24cmake: Add new code coverage targets. (#6796)Mathias Preiner
2021-06-21Update to CaDiCaL 1.4.1. (#6780)Mathias Preiner
2021-06-18Remove obsolete libpoly patch (#6762)Andres Noetzli
2021-06-18Fix CaDiCaL build on Windows (#6764)Andres Noetzli
2021-06-15Update to a more recent libpoly version. (#6730)Gereon Kremer
2021-06-15Add cocoalib (#6731)Gereon Kremer
2021-05-21Use scikit-build CMake files for pycvc5 (#6543)makaimann
2021-05-20Update version of CaDiCaL. (#6583)Mathias Preiner
2021-05-20Use most recent version of libpoly (#6587)Gereon Kremer
2021-05-18Add Solver.java to the Java API (#6196)mudathirmahgoub
2021-05-04cmake: Fix ninja build. (#6481)Mathias Preiner
2021-05-03SymFPU: Automatically apply patch from 2020-11-14. (#6471)Aina Niemetz
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback