michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

feat(CMakeLists): include HoTT library in binary package

Browse source
This commit is contained in:
Leonardo de Moura 2015-01-14 09:54:51 -08:00
parent 91366c989d
commit c9132648a2
1 changed files with 9 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
src/CMakeLists.txt
View file

@ -406,3 +406,12 @@ install(DIRECTORY ${CMAKE_SOURCE_DIR}/../library DESTINATION ${LIBRARY_DIR}
PATTERN "*.olean"
PATTERN ".project"
PATTERN "TAGS")
install(DIRECTORY ${CMAKE_SOURCE_DIR}/../hott DESTINATION ${LIBRARY_DIR}
FILES_MATCHING PATTERN "*.hlean")
install(DIRECTORY ${CMAKE_SOURCE_DIR}/../hott DESTINATION ${LIBRARY_DIR}
FILES_MATCHING
PATTERN "*.lean"
PATTERN "*.olean"
PATTERN ".project"
PATTERN "TAGS")