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

Send status messages to standard output

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2013-08-12 14:56:40 -07:00
parent ca4c37528f
commit 7778541422
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/CMakeLists.txt
View file

@ -10,7 +10,7 @@ set(LEAN_EXTRA_LINKER_FLAGS "")
# Cygwin: Windows does not support ulimit -s unlimited. So, we reserve a lot of stack space: 100Mb # Cygwin: Windows does not support ulimit -s unlimited. So, we reserve a lot of stack space: 100Mb
if(${CYGWIN}) if(${CYGWIN})
message("-- CYGWIN detected") message(STATUS "-- CYGWIN detected")
set(LEAN_EXTRA_LINKER_FLAGS "${LEAN_EXTRA_LINKER_FLAGS} -Wl,--stack,104857600") set(LEAN_EXTRA_LINKER_FLAGS "${LEAN_EXTRA_LINKER_FLAGS} -Wl,--stack,104857600")
endif() endif()
@ -59,7 +59,7 @@ if("${tcmalloc}" MATCHES "ON")
set(EXTRA_LIBS ${EXTRA_LIBS} ${TCMALLOC_LIBRARIES}) set(EXTRA_LIBS ${EXTRA_LIBS} ${TCMALLOC_LIBRARIES})
endif() endif()
else() else()
message("-- Using standard malloc.") message(STATUS "-- Using standard malloc.")
endif() endif()
include_directories(${LEAN_SOURCE_DIR}/util) include_directories(${LEAN_SOURCE_DIR}/util)