From 8f7fa8d4e05e7a5485ac91a6a375523bf8abe0c7 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Wed, 15 Jun 2016 11:47:03 -0700
Subject: [PATCH] feat(CMakeLists): include shared object and all .h files in
 the installation package

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

diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index 0db027db86..e1e5d8b4b8 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -48,6 +48,7 @@ message(STATUS "Emacs dependecies directory " ${EMACS_DEPENDENCIES})
 set(EMACS_LISP_DIR        "share/emacs/site-lisp/lean" CACHE STRING "emacs site-lisp dir")
 # library dir
 set(LIBRARY_DIR           "lib/lean"                   CACHE STRING "library dir")
+set(LEAN_EXT_INCLUDE_DIR  "include/lean_ext"           CACHE STRING "include dir for building Lean extensions")
 
 message(STATUS "Lean emacs-mode will be installed at "
   "${CMAKE_INSTALL_PREFIX}/${EMACS_LISP_DIR}")
@@ -376,6 +377,7 @@ add_subdirectory(api)
 if (NOT("${CROSS_COMPILE}" MATCHES "ON"))
   add_library(leanshared SHARED shared/init.cpp $<TARGET_OBJECTS:api> ${LEAN_OBJS})
   target_link_libraries(leanshared ${EXTRA_LIBS})
+  install(TARGETS leanshared DESTINATION lib)
 endif()
 
 add_subdirectory(shell)
@@ -488,6 +490,10 @@ install(DIRECTORY "${CMAKE_SOURCE_DIR}/../library" DESTINATION "${LIBRARY_DIR}"
         PATTERN "*.md"
         PATTERN "TAGS")
 
+install(DIRECTORY "${CMAKE_SOURCE_DIR}/" DESTINATION "${LEAN_EXT_INCLUDE_DIR}"
+        FILES_MATCHING
+        PATTERN "*.h")
+
 # install(DIRECTORY "${CMAKE_SOURCE_DIR}/../hott" DESTINATION "${LIBRARY_DIR}"
 #         FILES_MATCHING
 #         PATTERN "*.hlean"