sp
/
tempest
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
Browse Source

Changed SEND_ERROR to FATAL_ERROR in CMakeLists for resources

tempestpy_adaptions
Matthias Volk 5 years ago
parent
b15ba29d9e
commit
a0d8c959e4
1 changed files with 5 additions and 5 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Unified View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 10
      resources/3rdparty/CMakeLists.txt

10
resources/3rdparty/CMakeLists.txt
View File

@ -206,10 +206,10 @@ if (STORM_USE_GUROBI)
list(APPEND STORM_DEP_TARGETS Gurobi_SHARED) list(APPEND STORM_DEP_TARGETS Gurobi_SHARED)
else() else()
# The FindGurobi.cmake script needs to be updated every now and then as the library file contains the version number... # 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() endif()
else() 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() endif()
else() else()
set(STORM_HAVE_GUROBI OFF) set(STORM_HAVE_GUROBI OFF)
@ -243,17 +243,17 @@ endif()
if(carl_FOUND AND NOT STORM_FORCE_SHIPPED_CARL) if(carl_FOUND AND NOT STORM_FORCE_SHIPPED_CARL)
get_target_property(carlLOCATION lib_carl LOCATION) get_target_property(carlLOCATION lib_carl LOCATION)
if("${carlLOCATION}" STREQUAL "carlLOCATION-NOTFOUND") 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}) elseif(EXISTS ${carlLOCATION})
#empty on purpose #empty on purpose
else() 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() endif()
if("${carl_VERSION_MAJOR}" STREQUAL "${CARL_C14VERSION}") if("${carl_VERSION_MAJOR}" STREQUAL "${CARL_C14VERSION}")
message(STATUS "Storm - Found carl using master14 branch.") message(STATUS "Storm - Found carl using master14 branch.")
# empty on purpose. Maybe put a warning here? # empty on purpose. Maybe put a warning here?
elseif("${carl_VERSION_MAJOR}.${carl_VERSION_MINOR}" VERSION_LESS "${CARL_MINVERSION}") 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() endif()
set(STORM_SHIPPED_CARL OFF) set(STORM_SHIPPED_CARL OFF)

Write Preview
Loading…
Cancel
Save