From 5769c2ad0fa62b9077cf2f2c6d7a37f6cbab05fd Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Mon, 23 Jan 2017 22:59:25 +0100
Subject: [PATCH] fix(checker): fix windows build

---
 src/CMakeLists.txt         | 4 +++-
 src/checker/CMakeLists.txt | 1 +
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index c8ea6d7671..6d4295341a 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -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)
 
diff --git a/src/checker/CMakeLists.txt b/src/checker/CMakeLists.txt
index 23efd9867f..203c1896cb 100644
--- a/src/checker/CMakeLists.txt
+++ b/src/checker/CMakeLists.txt
@@ -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)