summaryrefslogtreecommitdiff
path: root/src/base/CMakeLists.txt
AgeCommit message (Expand)Author
2021-04-21Add explicit dependencies for base lib (#6410)Gereon Kremer
2021-04-21Goodbye CVC4, hello cvc5! (#6371)Mathias Preiner
2021-04-16cmake: Build object libraries for base and context. (#6374)Mathias Preiner
2021-04-15Build support library from base and context. (#6368)Mathias Preiner
2021-04-12Refactor and update copyright headers. (#6316)Aina Niemetz
2021-03-09Update copyright headers to 2021. (#6081)Aina Niemetz
2021-03-01Refactor collection of debug and trace tags (#5996)Gereon Kremer
2020-09-22Update copyright header script to support CMake and Python files (#5067)Mathias Preiner
2020-07-10Always Update Git information when rebuilding (#4696)Andres Noetzli
2020-06-08Ensure correct CMake dependencies on Debug_tags.h/Trace_tags.h/git_versioninf...Andrew V. Jones
2019-10-30Unify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. (#3366)Mathias Preiner
2019-08-08Fix issues with Ninja build system and add configure option. (#3166)Mathias Preiner
2018-10-15cmake: Generate git_versioninfo.cpp on build time. (#2640)Mathias Preiner
2018-09-25cmake: Fix tag code generation dependencies. (#2529)Mathias Preiner
2018-09-24cmake: Fix dependencies for code generation. (#2524)Mathias Preiner
2018-09-24cmake: Fix git version info (again). (#2523)Aina Niemetz
2018-09-24cmake: Fix and simplify git version info. (#2516)Aina Niemetz
2018-09-22cmake: Guard GetGitRevisionDescription.Mathias Preiner
2018-09-22cmake: Move extracting git information to src/base cmake config file.Aina Niemetz
2018-09-22cmake: Only build libcvc4 and libcvc4parser as libraries.Mathias Preiner
2018-09-22cmake: Add convenience wrappers for tag generation.Mathias Preiner
2018-09-22cmake: Cleanup CMakeLists.txt files, remove SHARED.Mathias Preiner
2018-09-22cmake: Add build configurations.Aina Niemetz
2018-09-22cmake: Working build infrastructure.Mathias Preiner
2018-09-22cmake: Generate trace and debug tagsAina 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