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

chore: do not distribute Lake examples

Browse source
This commit is contained in:
Sebastian Ullrich 2021-10-28 16:23:14 +02:00
parent 3367501511
commit f92d494c48
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/CMakeLists.txt
View file

@ -522,7 +522,8 @@ install(CODE "execute_process(COMMAND sh -c \"cp ${CMAKE_BINARY_DIR}/lib/*.* \${
install(DIRECTORY "${CMAKE_SOURCE_DIR}" DESTINATION lib/lean
FILES_MATCHING
PATTERN "*.lean"
PATTERN "*.md")
PATTERN "*.md"
PATTERN examples EXCLUDE)
file(COPY ${CMAKE_SOURCE_DIR}/include/lean DESTINATION ${CMAKE_BINARY_DIR}/include
FILES_MATCHING PATTERN "*.h")