about summary refs log tree commit diff homepage
path: root/README-CMake.md
AgeCommit message (Expand)Author
2023-06-07unittests/CMakeLists.txt: fix LLVM find_package supportJulian Büning
2023-06-05README-CMake.md: clean up top-level targetsJulian Büning
2023-03-17[cmake] Use LLVM's CMake functionality onlyMartin Nowack
2022-04-28Make Uclibc support a runtime option, not a compile-time one.Gleb Popov
2020-12-18retire some build system legacyJulian Büning
2020-11-20slightly improve C++-related CMake stringsJulian Büning
2020-10-12README-CMAKE.md: add C++ related variablesJulian Büning
2019-07-30CMake: enable reuse of LLVM's googletest src and targetsJulian Büning
2018-03-26[CMake] Add option to set GTest include dirlyxia
2017-10-05enforce c++11Jörg Thalheim
2017-10-04[CMake] Add `clean_doxygen` rule to clean up doxygen build tree andDan Liew
2017-10-04[CMake] Add global clean target `clean_all`. Fixes #718.Dan Liew
2017-07-28[CMake] Add `ENABLE_ZLIB` option to control whether KLEE usesDan Liew
2017-03-30[CMake] Add the `clean_runtime` top level target to provide an easy wayDan Liew
2017-01-18[CMake] Remove `ENABLE_TESTS` CMake cache option.Dan Liew
2017-01-16[CMake] Rename "integrationtests" to "systemtests".Dan Liew
2016-11-19[CMake] Document implicit `STP_DIR` and `metaSMT_DIR` options.Dan 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-05-09 07:31:18 +0000