|
@ -190,6 +190,10 @@ elseif ("${CMAKE_CXX_COMPILER_ID}" STREQUAL "AppleClang") |
|
|
# using AppleClang |
|
|
# using AppleClang |
|
|
if (CMAKE_CXX_COMPILER_VERSION VERSION_LESS 7.3) |
|
|
if (CMAKE_CXX_COMPILER_VERSION VERSION_LESS 7.3) |
|
|
message(FATAL_ERROR "AppleClang version must be at least 7.3.") |
|
|
message(FATAL_ERROR "AppleClang version must be at least 7.3.") |
|
|
|
|
|
elseif ((CMAKE_CXX_COMPILER_VERSION VERSION_EQUAL 11.0) OR (CMAKE_CXX_COMPILER_VERSION VERSION_GREATER 11.0)) |
|
|
|
|
|
message(WARNING "Temporarily disabling stack checks for AppleClang 11.0 or higher.") |
|
|
|
|
|
# TODO: In release mode, stack checks currently fail at runtime. Might be a compiler bug as there does not seem to be faulty behavior. |
|
|
|
|
|
set(CMAKE_CXX_FLAGS_RELEASE "${CMAKE_CXX_FLAGS_RELEASE} -fno-stack-check") |
|
|
endif() |
|
|
endif() |
|
|
|
|
|
|
|
|
set(STORM_COMPILER_APPLECLANG ON) |
|
|
set(STORM_COMPILER_APPLECLANG ON) |
|
|