Merge branch 'master' into storm-pars-analysis-monotonicity

5 years ago · a3d7c4c3f2
1 changed files with 2 additions and 0 deletions
--- a/resources/cmake/find_modules/FindGurobi.cmake
+++ b/resources/cmake/find_modules/FindGurobi.cmake
@ -56,6 +56,7 @@ find_library( GUROBI_LIBRARY
                    "/Library/gurobi702/mac64/lib"
                    "/Library/gurobi801/mac64/lib"
                    "/Library/gurobi810/mac64/lib"
+                    "/Library/gurobi811/mac64/lib"
                    "${GUROBI_ROOT}/lib"
              )

@ -72,6 +73,7 @@ find_library( GUROBI_CXX_LIBRARY
                    "/Library/gurobi702/mac64/lib"
                    "/Library/gurobi801/mac64/lib"
                    "/Library/gurobi810/mac64/lib"
+                    "/Library/gurobi811/mac64/lib"
                    "${GUROBI_ROOT}/lib"
              )