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 /runtime/CMakeLists.txt | |
| 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 'runtime/CMakeLists.txt')
| -rw-r--r-- | runtime/CMakeLists.txt | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/runtime/CMakeLists.txt b/runtime/CMakeLists.txt index c90cbda0..2a056d9f 100644 --- a/runtime/CMakeLists.txt +++ b/runtime/CMakeLists.txt @@ -115,13 +115,15 @@ ExternalProject_Add_Step(BuildKLEERuntimes RuntimeBuild ) # Target for cleaning the bitcode build system -# FIXME: Invoke `make clean` does not invoke this target. It's also weird -# that `ExternalProject` provides no way to do a clean. +# NOTE: Invoking `make clean` does not invoke this target. +# Instead the user needs to invoke the `clean_all` target. +# It's also weird that `ExternalProject` provides no way to do a clean. add_custom_target(clean_runtime COMMAND ${ENV_BINARY} MAKEFLAGS="" ${MAKE_BINARY} -f Makefile.cmake.bitcode clean WORKING_DIRECTORY "${CMAKE_CURRENT_BINARY_DIR}" ${ADD_CUSTOM_COMMAND_USES_TERMINAL_ARG} ) +add_dependencies(clean_all clean_runtime) ############################################################################### # Runtime install |