diff options
author | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-09-29 09:58:56 +0100 |
---|---|---|
committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-10-04 22:28:52 +0100 |
commit | ba660bfd6903ac909815fd0d8204e7bf03197ce8 (patch) | |
tree | 39bf877641ee4edb49310724d8b4481d4e60d43c /README-CMake.md | |
parent | 12f0e2cd11e4bb9e0aa829f95bb437bee0e929cb (diff) | |
download | klee-ba660bfd6903ac909815fd0d8204e7bf03197ce8.tar.gz |
[CMake] Add global clean target `clean_all`. Fixes #718.
This target invokes the `clean` target but is also intended for use by other cleaning targets. The `clean_runtime` target is now declared as a dependency of `clean-all` so that the runtime is cleaned as well.
Diffstat (limited to 'README-CMake.md')
-rw-r--r-- | README-CMake.md | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/README-CMake.md b/README-CMake.md index daa1e90c..a2f2da5f 100644 --- a/README-CMake.md +++ b/README-CMake.md @@ -6,7 +6,10 @@ its autoconf/Makefile based build system. ## Useful top level targets * `check` - Build and run all tests. -* `clean` - Clean the build tree. Note this won't clean the runtime build. +* `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_runtime` - Clean the runtime build tree. * `docs` - Build documentation * `edit_cache` - Show cmake/ccmake/cmake-gui interface for chaning configure options. |