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

chore: add missing LICENSES

Browse source
This commit is contained in:
Sebastian Ullrich 2021-11-15 15:26:30 +01:00
parent 60095ce13f
commit 6cda043e5b
2 changed files with 1171 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1170
LICENSES Normal file
View file

File diff suppressed because it is too large Load diff

2
src/CMakeLists.txt
View file

@ -533,7 +533,7 @@ install(DIRECTORY "${CMAKE_SOURCE_DIR}" DESTINATION lib/lean
PATTERN examples EXCLUDE)
if(${STAGE} GREATER 0)
install(FILES "${CMAKE_SOURCE_DIR}/../LICENSE" DESTINATION ".")
install(FILES "${CMAKE_SOURCE_DIR}/../LICENSE" "${CMAKE_SOURCE_DIR}/../LICENSES" DESTINATION ".")
endif()
file(COPY ${CMAKE_SOURCE_DIR}/include/lean DESTINATION ${CMAKE_BINARY_DIR}/include