From 19e64738067e6daa9d7cf36009afb9fb26f251a7 Mon Sep 17 00:00:00 2001 From: Tim Quatmann Date: Fri, 11 Dec 2020 17:21:04 +0100 Subject: [PATCH] making the cudd warning sound a bit less dangerous --- resources/3rdparty/include_cudd.cmake | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/resources/3rdparty/include_cudd.cmake b/resources/3rdparty/include_cudd.cmake index 95399cd7e..0970cd9e8 100644 --- a/resources/3rdparty/include_cudd.cmake +++ b/resources/3rdparty/include_cudd.cmake @@ -38,7 +38,7 @@ set(CUDD_CXX_COMPILER "${CMAKE_CXX_COMPILER}") if ("${CMAKE_CXX_COMPILER_ID}" STREQUAL "AppleClang") if (CMAKE_CXX_COMPILER_VERSION VERSION_EQUAL 12.0.0.12000032) if (CMAKE_HOST_SYSTEM_VERSION VERSION_GREATER_EQUAL 20.1.0) - message(WARNING "There is a known issue when compiling CUDD on *this* version of macOS using *this* version of AppleClang. A workaround that appears to solve the issue is to set the c++ compiler for CUDD to 'c++'. If you are compiling Storm with the default compiler of your system (which should almost always be the case), this is not a problem and you can safely ignore this warning. Please contact the Storm developers if you keep having issues.") + message(WARNING "There are some known issues compiling CUDD on some setups. We implemented a workaround that mostly works, but if you still have problems compiling CUDD, especially if you do not use the default compiler of your system, please contact the Storm developers.") # The issue is known to occur using the Command Line Tools for XCode 12.2. Apparently, it is fixed in the beta for XCode 12.3. set(CUDD_CXX_COMPILER "c++") endif()