summaryrefslogtreecommitdiff
path: root/cmake/Helpers.cmake
AgeCommit message (Expand)Author
2021-04-21Goodbye CVC4, hello cvc5! (#6371)Mathias Preiner
2021-04-21cmake: Add optional module name argument for check_python_module helper. (#6406)Mathias Preiner
2021-04-12Refactor and update copyright headers. (#6316)Aina Niemetz
2021-04-06cmake: Add helper to check if a given Python module is installed. (#6299)Mathias Preiner
2021-03-29Fix configuration printing. (#6236)Aina Niemetz
2021-03-26Use color output to print configuration. (#6219)Aina Niemetz
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-02Use SMT-COMP configuration for competition build (#4995)Andres Noetzli
2018-09-22cmake: Build fully static binaries with option --static.Mathias Preiner
2018-09-22cmake: Add more documentation, some fixes and cleanup.Mathias Preiner
2018-09-22cmake: Add some more documentation, cleanup.Mathias Preiner
2018-09-22cmake: Move helper functions to cmake/Helpers.cmake.Mathias Preiner
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback