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

chore(CMakeLists): add target to build olean files for leanpkg

Browse source
This commit is contained in:
Gabriel Ebner 2017-04-27 09:26:26 +02:00 • committed by Leonardo de Moura
parent acb03fb704
commit c14221f6d4
1 changed files with 7 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
src/CMakeLists.txt
View file

@ -462,6 +462,13 @@ add_custom_target(
WORKING_DIRECTORY "${LEAN_SOURCE_DIR}/../library"
)
add_custom_target(
leanpkg ALL
COMMAND "${LEAN_SOURCE_DIR}/../bin/lean" --make ${LEAN_EXTRA_MAKE_OPTS}
DEPENDS standard_lib
WORKING_DIRECTORY "${LEAN_SOURCE_DIR}/../leanpkg"
)
add_custom_target(clean-std-lib
WORKING_DIRECTORY "${LEAN_SOURCE_DIR}/../library"
COMMAND "${CMAKE_COMMAND}" -P "${CMAKE_MODULE_PATH}/CleanOlean.cmake"