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

fix(checker): fix windows build

Browse source
This commit is contained in:
Gabriel Ebner 2017-01-23 22:59:25 +01:00
parent fb3d68d172
commit 5769c2ad0f
2 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/CMakeLists.txt
View file

@ -77,7 +77,7 @@ if((${CYGWIN} EQUAL "1") OR (${CMAKE_SYSTEM_NAME} MATCHES "Windows"))
set(LEAN_WIN_STACK_SIZE "104857600")
set(LEAN_EXTRA_LINKER_FLAGS "${LEAN_EXTRA_LINKER_FLAGS} -Wl,--stack,${LEAN_WIN_STACK_SIZE}")
set(LEAN_EXTRA_CXX_FLAGS "${LEAN_EXTRA_CXX_FLAGS} -D LEAN_WINDOWS -D LEAN_WIN_STACK_SIZE=${LEAN_WIN_STACK_SIZE}")
set(EXTRA_LIBS ${EXTRA_LIBS} -lpsapi)
set(EXTRA_UTIL_LIBS ${EXTRA_UTIL_LIBS} -lpsapi)
endif()
if("${CYGWIN}" EQUAL "1")
@ -274,6 +274,8 @@ if(NOT "${JEMALLOC_FOUND}")
endif()
endif()
set(EXTRA_LIBS ${EXTRA_LIBS} ${EXTRA_UTIL_LIBS})
# Python
find_package(PythonInterp)

1
src/checker/CMakeLists.txt
View file

@ -1,4 +1,5 @@
add_executable(leanchecker checker.cpp text_import.cpp
$<TARGET_OBJECTS:util> $<TARGET_OBJECTS:sexpr>
$<TARGET_OBJECTS:kernel> $<TARGET_OBJECTS:inductive> $<TARGET_OBJECTS:quotient>)
target_link_libraries(leanchecker ${EXTRA_UTIL_LIBS})
install(TARGETS leanchecker DESTINATION bin)