From 8834563a7faf3c171cd1f3b167bd7ab9c5bf296e Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 30 Jul 2014 15:12:37 -0700 Subject: [PATCH] feat(build): add 'clean-olean' custom-target Signed-off-by: Leonardo de Moura --- src/CMakeLists.txt | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index e2060a542..9da0e7bcc 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -324,3 +324,8 @@ if((${CYGWIN} EQUAL "1") OR (NOT (${CMAKE_SYSTEM_NAME} MATCHES "Windows"))) WORKING_DIRECTORY ${LEAN_SOURCE_DIR}/../library/hott ) endif() + +add_custom_target(clean-olean + WORKING_DIRECTORY ${LEAN_SOURCE_DIR}/../library + COMMAND find . -name '*.olean' -exec rm -f '{}' '\;' +) \ No newline at end of file