From c14221f6d43bfe637465690ef37ed3db614301d4 Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Thu, 27 Apr 2017 09:26:26 +0200
Subject: [PATCH] chore(CMakeLists): add target to build olean files for
 leanpkg

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

diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index 6169ebe3a1..60537684e9 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -462,6 +462,13 @@ add_custom_target(
     WORKING_DIRECTORY "${LEAN_SOURCE_DIR}/../library"
     )
 
+add_custom_target(
+    leanpkg ALL
+    COMMAND "${LEAN_SOURCE_DIR}/../bin/lean" --make ${LEAN_EXTRA_MAKE_OPTS}
+    DEPENDS standard_lib
+    WORKING_DIRECTORY "${LEAN_SOURCE_DIR}/../leanpkg"
+)
+
 add_custom_target(clean-std-lib
   WORKING_DIRECTORY "${LEAN_SOURCE_DIR}/../library"
   COMMAND "${CMAKE_COMMAND}" -P "${CMAKE_MODULE_PATH}/CleanOlean.cmake"