about summary refs log tree commit diff homepage
path: root/docs/CMakeLists.txt
AgeCommit message (Expand)Author
2023-06-05doxygen.cfg.in: DOXYGEN_OUTPUT_DIRJulian Büning
2023-06-05docs/CMakeLists.txt: drop support for old CMake versionsJulian Büning
2022-03-22Install doxygen and graphviz (dot) to generate Doxygen documentation when ENA...Cristian Cadar
2022-03-22Disabled Doxygen by defaultCristian Cadar
2020-11-04[cmake] Use clean command to remove generated doxygen filesMartin Nowack
2020-11-04[cmake] Remove several leftovers from old autoconf build systemMartin Nowack
2017-10-04[CMake] Add `clean_doxygen` rule to clean up doxygen build tree andDan Liew
2016-11-07Implement a CMake based build system for KLEE.Dan Liew
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-21 21:46:22 +0000