From c9132648a288005c3f5df03e50dd42d0107db561 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Wed, 14 Jan 2015 09:54:51 -0800
Subject: [PATCH] feat(CMakeLists): include HoTT library in binary package

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

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")