summaryrefslogtreecommitdiff
path: root/src/main/CMakeLists.txt
AgeCommit message (Expand)Author
2021-08-23Move options parsing code to main (#7054)Gereon Kremer
2021-04-21Goodbye CVC4, hello cvc5! (#6371)Mathias Preiner
2021-04-12Refactor and update copyright headers. (#6316)Aina Niemetz
2021-04-02cmake: Do not link against main object library. (#6269)Mathias Preiner
2021-04-01Refactor CLN dependency & Cleanup (#6251)Gereon Kremer
2021-03-31Refactor GMP and Poly dependencies (#6245)Gereon Kremer
2021-03-31Refactor SymFPU dependency (#6218)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
2020-09-14Rename system tests to api tests and remove obsolete Java test. (#5066)Aina Niemetz
2020-09-02Drop {INCLUDE,LIBRARY,RUNTIME}_INSTALL_DIR variables in CMakeLists.txt (#4979)FabianWolff
2020-07-30When linking Editline, use 'pkg-config' to correctly find the link-time depen...Andrew V. Jones
2020-07-17Support for using 'libedit' over 'readline' #4571 (#4579)Andrew V. Jones
2020-07-13Implement --tlimit for windows (#4716)Gereon Kremer
2020-07-08Re-implement handling of --tlimit (#4655)Gereon Kremer
2019-09-25Use separate CMake project for CVC4 examples. (#3196)Mathias Preiner
2019-09-06Remove portfolio (#3236)Andrew Reynolds
2019-09-06Remove SMT1 parser. (#3228)Mathias Preiner
2018-11-08cmake: Add option to explicitely enable/disable static binaries. (#2698)Mathias Preiner
2018-10-22CMake: Set PORTFOLIO_BUILD when building pcvc4 (#2666)Andres Noetzli
2018-09-24cmake: Add program prefix option. (#2515)Mathias Preiner
2018-09-22cmake: Build fully static binaries with option --static.Mathias Preiner
2018-09-22cmake: More documentation, clean up.Aina Niemetz
2018-09-22cmake: Add make install rule.Mathias Preiner
2018-09-22cmake: Only build libcvc4 and libcvc4parser as libraries.Mathias Preiner
2018-09-22cmake: Add portfolio support.Mathias Preiner
2018-09-22cmake: Add support for CxxTest.Aina Niemetz
2018-09-22cmake: Do not set global output directories for binaries and libraries.Mathias Preiner
2018-09-22cmake: Add module finder for readline.Mathias Preiner
2018-09-22cmake: Generate token headers.Mathias Preiner
2018-09-22cmake: Cleanup CMakeLists.txt files, remove SHARED.Mathias Preiner
2018-09-22cmake: Working build infrastructure.Mathias Preiner
2018-09-22cmake: Added initial build infrastructure.Aina Niemetz
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback