diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index c311ac7c5..3437923de 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -406,3 +406,12 @@ install(DIRECTORY ${CMAKE_SOURCE_DIR}/../library DESTINATION ${LIBRARY_DIR}
         PATTERN "*.olean"
         PATTERN ".project"
         PATTERN "TAGS")
+
+install(DIRECTORY ${CMAKE_SOURCE_DIR}/../hott DESTINATION ${LIBRARY_DIR}
+        FILES_MATCHING PATTERN "*.hlean")
+install(DIRECTORY ${CMAKE_SOURCE_DIR}/../hott DESTINATION ${LIBRARY_DIR}
+        FILES_MATCHING
+        PATTERN "*.lean"
+        PATTERN "*.olean"
+        PATTERN ".project"
+        PATTERN "TAGS")