diff options
| author | Andrea Mattavelli <andreamattavelli@users.noreply.github.com> | 2017-10-05 07:50:22 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-05 07:50:22 +0100 |
| commit | 5e6b6342dc2bc9d45a7db8fa45d7e949c55d908b (patch) | |
| tree | c89cf0c6d43dba711e56c3d525fa865ce1160ac4 /README-CMake.md | |
| parent | 12f0e2cd11e4bb9e0aa829f95bb437bee0e929cb (diff) | |
| parent | 4f72f52f09d75f942bd1f28bf03b5abd95d9627d (diff) | |
| download | klee-5e6b6342dc2bc9d45a7db8fa45d7e949c55d908b.tar.gz | |
Merge pull request #757 from delcypher/cmake_clean_all
[CMake] Implement clean-all (fixes #718)
Diffstat (limited to 'README-CMake.md')
| -rw-r--r-- | README-CMake.md | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/README-CMake.md b/README-CMake.md index daa1e90c..5828e319 100644 --- a/README-CMake.md +++ b/README-CMake.md @@ -6,7 +6,11 @@ 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_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. |