Added new Gurobi version

resources/3rdparty/CMakeLists.txt

@@ -206,10 +206,11 @@ 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(FATAL_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 9.0.0, please contact the Storm developers.")
         endif()
     else()
-        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).")
+    	# The FindGurobi.cmake script needs to be updated every now and then as the library file contains the version number ...
+        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). If your Gurobi Version is higher then 9.0.0, please contact the Storm developers.")
     endif()
 else()
     set(STORM_HAVE_GUROBI OFF)

resources/cmake/find_modules/FindGurobi.cmake

@@ -1,5 +1,6 @@
 #### Taken from http://www.openflipper.org/svnrepo/CoMISo/trunk/CoMISo/cmake/FindGUROBI.cmake
-
+#### This file needs to be updated regularly to include new Gurobi releases.
+#### Also update the error message in the Gurobi section of ../resources/CMakeLists.txt
 
 # - Try to find GUROBI
 # Once done this will define
@@ -27,6 +28,7 @@ find_path(GUROBI_INCLUDE_DIR
                     "/Library/gurobi702/mac64/include"
                     "/Library/gurobi801/mac64/include"
                     "/Library/gurobi810/mac64/include"
+                    "/Library/gurobi900/mac64/include"
                     "${GUROBI_ROOT}/include"
           )
 
@@ -45,6 +47,7 @@ find_library( GUROBI_LIBRARY
         gurobi75
         gurobi80
         gurobi81
+        gurobi90
               PATHS "$ENV{GUROBI_HOME}/lib"
                     "/Library/gurobi502/mac64/lib"
                     "/Library/gurobi602/mac64/lib"
@@ -57,6 +60,7 @@ find_library( GUROBI_LIBRARY
                     "/Library/gurobi801/mac64/lib"
                     "/Library/gurobi810/mac64/lib"
                     "/Library/gurobi811/mac64/lib"
+                    "/Library/gurobi900/mac64/lib"
                     "${GUROBI_ROOT}/lib"
               )
 
@@ -73,7 +77,7 @@ find_library( GUROBI_CXX_LIBRARY
                     "/Library/gurobi702/mac64/lib"
                     "/Library/gurobi801/mac64/lib"
                     "/Library/gurobi810/mac64/lib"
-                    "/Library/gurobi811/mac64/lib"
+                    "/Library/gurobi900/mac64/lib"
                     "${GUROBI_ROOT}/lib"
               )