summaryrefslogtreecommitdiff
path: root/CMakeLists.txt
AgeCommit message (Expand)Author
2018-09-22cmake: Enable shared by default.Mathias Preiner
2018-09-22cmake: Disable W-suggest-override for unit tests.Mathias Preiner
2018-09-22cmake: Add support for CxxTest.Aina Niemetz
2018-09-22cmake: Filter through and disable unused HAVE_* variables from autotools.Aina Niemetz
2018-09-22cmake: Do not set global output directories for binaries and libraries.Mathias Preiner
2018-09-22cmake: Added support for coverage and profiling.Aina Niemetz
2018-09-22cmake: Added 3-valued option handling (to enable detection of user-set options).Aina Niemetz
2018-09-22cmake: Add module finder for readline.Mathias Preiner
2018-09-22cmake: Added licensing options and warnings/errors.Aina Niemetz
2018-09-22cmake: Cleanup CMakeLists.txt files, remove SHARED.Mathias Preiner
2018-09-22cmake: Add build configurations.Aina Niemetz
2018-09-22cmake: Fixed compiler flag macros.Aina Niemetz
2018-09-22cmake: Add module finder for LFSC.Mathias Preiner
2018-09-22cmake: Add module finder for CaDiCaL.Mathias Preiner
2018-09-22cmake: Add module finder for CryptoMiniSat.Mathias Preiner
2018-09-22cmake: Add module finder for SymFPU.Mathias Preiner
2018-09-22cmake: Add module finder for CLN.Mathias Preiner
2018-09-22cmake: Add libsignatures for proofs.Mathias Preiner
2018-09-22cmake: Generate cvc4autoconfig.h (options currently statically set).Aina Niemetz
2018-09-22cmake: Working build infrastructure.Mathias Preiner
2018-09-22cmake: Antlr parser generation done.Mathias Preiner
2018-09-22cmake: Generate trace and debug tagsAina Niemetz
2018-09-22cmake: .cpp generation done, .h generation not yet completeAina Niemetz
2018-09-22cmake: Added initial build infrastructure.Aina Niemetz
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback