From d52fc8327452092fe2330bfa85755e3468eb0439 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Fri, 5 Dec 2014 14:42:37 -0800
Subject: [PATCH] fix(build): clean-olean target should also clean HoTT library

---
 src/CMakeLists.txt | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index 690a768e2..c311ac7c5 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -381,11 +381,19 @@ else()
     )
 endif()
 
-add_custom_target(clean-olean
+add_custom_target(clean-std-lib
   WORKING_DIRECTORY ${LEAN_SOURCE_DIR}/../library
   COMMAND ${CMAKE_COMMAND} -P ${CMAKE_MODULE_PATH}CleanOlean.cmake
   )
 
+add_custom_target(clean-hott-lib
+  WORKING_DIRECTORY ${LEAN_SOURCE_DIR}/../hott
+  COMMAND ${CMAKE_COMMAND} -P ${CMAKE_MODULE_PATH}CleanOlean.cmake
+  )
+
+add_custom_target(clean-olean
+  DEPENDS clean-std-lib clean-hott-lib)
+
 install(FILES ${CMAKE_SOURCE_DIR}/../bin/linja ${CMAKE_SOURCE_DIR}/../bin/ltags
   DESTINATION bin
   PERMISSIONS OWNER_READ OWNER_WRITE OWNER_EXECUTE GROUP_READ GROUP_EXECUTE WORLD_READ WORLD_EXECUTE)