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

Use lowercases in src/CMakeLists.txt

Browse source
This commit is contained in:
Soonho Kong 2013-08-13 00:29:18 -07:00
parent 0c8917886a
commit 30e34528f6
1 changed files with 2 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
src/CMakeLists.txt
View file

@ -32,14 +32,11 @@ if ("${CMAKE_CXX_COMPILER_ID}" MATCHES "GNU")
message(FATAL_ERROR "${PROJECT_NAME} requires g++ 4.8 or greater.")
endif ()
elseif ("${CMAKE_CXX_COMPILER_ID}" MATCHES "Clang")
IF(${CMAKE_SYSTEM_NAME} MATCHES "Darwin")
if(${CMAKE_SYSTEM_NAME} MATCHES "Darwin")
# In OSX, clang requires "-stdlib=libc++" to support C++11
IF(EXISTS "/usr/local/Cellar/libcxx/3.3/lib/c++/v1")
include_directories(/usr/local/Cellar/libcxx/3.3/lib/c++/v1)
ENDIF()
set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -stdlib=libc++")
set(LEAN_EXTRA_LINKER_FLAGS "-stdlib=libc++")
ENDIF ()
endif ()
else ()
message(FATAL_ERROR "Your C++ compiler does not support C++11.")
endif ()