summaryrefslogtreecommitdiff
path: root/src/base/CMakeLists.txt
AgeCommit message (Expand)Author
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