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

feat(build): build standard library when building on Windows

Browse source
This commit is contained in:
Leonardo de Moura 2014-09-20 10:51:00 -07:00
parent e3ac1f66e0
commit 8867f47dd6
1 changed files with 7 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
src/CMakeLists.txt
View file

@ -313,15 +313,13 @@ if(NOT DEFINED PROCESSOR_COUNT)
endif()
endif()
if((${CYGWIN} EQUAL "1") OR (NOT (${CMAKE_SYSTEM_NAME} MATCHES "Windows")))
# Only build libraries if we are NOT cross compiling
add_custom_target(
standard_lib ALL
COMMAND ${LEAN_SOURCE_DIR}/../bin/linja
DEPENDS ${CMAKE_BINARY_DIR}/shell/lean
WORKING_DIRECTORY ${LEAN_SOURCE_DIR}/../library
)
endif()
# Only build libraries if we are NOT cross compiling
add_custom_target(
standard_lib ALL
COMMAND python ${LEAN_SOURCE_DIR}/../bin/linja
DEPENDS ${CMAKE_BINARY_DIR}/shell/lean
WORKING_DIRECTORY ${LEAN_SOURCE_DIR}/../library
)
add_custom_target(clean-olean
WORKING_DIRECTORY ${LEAN_SOURCE_DIR}/../library