From bfe75833565910e006914e18f59e9ae7faa47d7f Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Sun, 7 Nov 2021 12:06:52 +0100
Subject: [PATCH] chore: install license

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

diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index 01b977013a..241e329326 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -536,6 +536,10 @@ install(DIRECTORY "${CMAKE_SOURCE_DIR}" DESTINATION lib/lean
         PATTERN "*.md"
         PATTERN examples EXCLUDE)
 
+if(${STAGE} GREATER 0)
+  install(FILES "${CMAKE_SOURCE_DIR}/../LICENSE" DESTINATION ".")
+endif()
+
 file(COPY ${CMAKE_SOURCE_DIR}/include/lean DESTINATION ${CMAKE_BINARY_DIR}/include
   FILES_MATCHING PATTERN "*.h")