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"