max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: install license

Browse source
This commit is contained in:
Sebastian Ullrich 2021-11-07 12:06:52 +01:00
parent 8f4e59d9b5
commit bfe7583356
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/CMakeLists.txt
View file

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