summaryrefslogtreecommitdiff
path: root/examples/CMakeLists.txt
AgeCommit message (Expand)Author
2020-06-09Language bindings: Enable catching of exceptions (#2813)Andres Noetzli
2019-10-03Travis: Reenable building and running of examples. (#3351)Aina Niemetz
2019-09-25Use separate CMake project for CVC4 examples. (#3196)Mathias Preiner
2019-08-08Fix issues with Ninja build system and add configure option. (#3166)Mathias Preiner
2018-11-14cmake: Require boost 1.50.0 for examples. (#2710)Mathias Preiner
2018-10-08Cmake: Fix ctest call for example/translator. (#2600)Aina Niemetz
2018-09-22cmake: Add more documentation, some fixes and cleanup.Mathias Preiner
2018-09-22cmake: Refactor cvc4_add_unit_test macro to support test names with '/'.Aina Niemetz
2018-09-22cmake: Add target runexamples.Aina Niemetz
2018-09-22cmake: Guard examples that require Boost.Mathias Preiner
2018-09-22cmake: examples: Configure output directory per target.Aina Niemetz
2018-09-22cmake: Added java examplesAina Niemetz
2018-09-22cmake: Added target examples (currently .cpp examples only)Aina 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