about summary refs log tree commit diff homepage
diff options
context:
space:
mode:
authorJulian Büning <julian.buening@comsys.rwth-aachen.de>2023-05-29 15:19:59 +0200
committerCristian Cadar <c.cadar@imperial.ac.uk>2023-06-05 17:01:15 +0100
commita272d0260630ccebeab10403d3b0eecbc3ed0b10 (patch)
tree28e4f2dede949fb70316f386a94ee1d1f1fdfe5c
parent4ed6271f3022430041b73fc85476c614768f6432 (diff)
downloadklee-a272d0260630ccebeab10403d3b0eecbc3ed0b10.tar.gz
README-CMake.md: clean up top-level targets
* the old build system is long gone
* clean_doxygen was removed by d5cbc2002bbf75f08036f7adf861b027768a0622
* clean_runtime was removed by 6156b4eeb9a429ccc370782d719d0d6c787a6f72
* clean_all was removed by a00424e64d56ff881a72bfd99ea0dbcbe6898b49
-rw-r--r--README-CMake.md22
1 files changed, 8 insertions, 14 deletions
diff --git a/README-CMake.md b/README-CMake.md
index 965e2b02..9d7ad37d 100644
--- a/README-CMake.md
+++ b/README-CMake.md
@@ -1,22 +1,16 @@
 # CMake build system
 
-KLEE now has a CMake build system which is intended to replace
-its autoconf/Makefile based build system.
+KLEE has a CMake build system.
 
-## Useful top level targets
+## Useful top-level targets
 
 * `check` - Build and run all tests.
-* `clean` - Invoke CMake's built-in target to clean the build tree.  Note this
-  won't invoke the `clean_*` targets. It is advised that the `clean_all` target
-  is used instead.
-* `clean_all` - Run all clean targets.
-* `clean_doxygen` - Clean doxygen build tree.
-* `clean_runtime` - Clean the runtime build tree.
-* `docs` - Build documentation
-* `edit_cache` - Show cmake/ccmake/cmake-gui interface for chaning configure options.
-* `help` - Show list of top level targets
-* `systemtests` - Run system tests
-* `unittests` - Build and run unittests
+* `clean` - Clean the build tree.
+* `docs` - Build documentation.
+* `edit_cache` - Show cmake/ccmake/cmake-gui interface for changing configure options.
+* `help` - Show list of top-level targets.
+* `systemtests` - Build and run system tests.
+* `unittests` - Build and run unit tests.
 
 ## Useful CMake variables