From a0d8c959e4361d97d3ae951571f8b081748a4705 Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Thu, 19 Sep 2019 14:00:18 +0200 Subject: [PATCH] Changed SEND_ERROR to FATAL_ERROR in CMakeLists for resources --- resources/3rdparty/CMakeLists.txt | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/resources/3rdparty/CMakeLists.txt b/resources/3rdparty/CMakeLists.txt index 33fee5585..f3aef9594 100644 --- a/resources/3rdparty/CMakeLists.txt +++ b/resources/3rdparty/CMakeLists.txt @@ -206,10 +206,10 @@ if (STORM_USE_GUROBI) list(APPEND STORM_DEP_TARGETS Gurobi_SHARED) else() # The FindGurobi.cmake script needs to be updated every now and then as the library file contains the version number... - message(SEND_ERROR "Gurobi Library ${GUROBI_LIBRARY} not found. If your Gurobi Version is higher then 8.1.0, please contact the Storm developers.") + message(FATAL_ERROR "Gurobi Library ${GUROBI_LIBRARY} not found. If your Gurobi Version is higher then 8.1.0, please contact the Storm developers.") endif() else() - message(SEND_ERROR "Gurobi Library requested but was not found. Make sure that GUROBI_ROOT points to the correct directory (containing include/ and lib/ subdirectories).") + message(FATAL_ERROR "Gurobi Library requested but was not found. Make sure that GUROBI_ROOT points to the correct directory (containing include/ and lib/ subdirectories).") endif() else() set(STORM_HAVE_GUROBI OFF) @@ -243,17 +243,17 @@ endif() if(carl_FOUND AND NOT STORM_FORCE_SHIPPED_CARL) get_target_property(carlLOCATION lib_carl LOCATION) if("${carlLOCATION}" STREQUAL "carlLOCATION-NOTFOUND") - message(SEND_ERROR "Library location for carl is not found, did you build carl?") + message(FATAL_ERROR "Library location for carl is not found, did you build carl?") elseif(EXISTS ${carlLOCATION}) #empty on purpose else() - message(SEND_ERROR "File ${carlLOCATION} does not exist, did you build carl?") + message(FATAL_ERROR "File ${carlLOCATION} does not exist, did you build carl?") endif() if("${carl_VERSION_MAJOR}" STREQUAL "${CARL_C14VERSION}") message(STATUS "Storm - Found carl using master14 branch.") # empty on purpose. Maybe put a warning here? elseif("${carl_VERSION_MAJOR}.${carl_VERSION_MINOR}" VERSION_LESS "${CARL_MINVERSION}") - message(SEND_ERROR "Carl outdated, require ${CARL_MINVERSION}, have ${carl_VERSION}") + message(FATAL_ERROR "Carl outdated, require ${CARL_MINVERSION}, have ${carl_VERSION}") endif() set(STORM_SHIPPED_CARL OFF)