Support for Gurobi v11 (#531)

jump-dev · Nov 2, 2023 · db91456 · db91456
1 parent 0fee7d4
commit db91456
Show file tree

Hide file tree

Showing 4 changed files with 2,187 additions and 3 deletions.
diff --git a/deps/build.jl b/deps/build.jl
@@ -23,6 +23,7 @@ function write_depsfile(path)
 end
 
 const ALIASES = [
+    "gurobi110",
     "gurobi100",
     "gurobi95",
     "gurobi91",

diff --git a/scripts/gen.jl b/scripts/gen.jl
@@ -15,8 +15,8 @@
 
 using Clang.Generators
 
-const gurobi_c = "/Library/gurobi1003/macos_universal2/include/gurobi_c.h"
-const output_folder = "gen100"
+const gurobi_c = "/Library/gurobi1100/macos_universal2/include/gurobi_c.h"
+const output_folder = "gen110"
 
 options = load_options(joinpath(@__DIR__, "generate.toml"))
 options["general"]["output_file_path"] =

diff --git a/src/Gurobi.jl b/src/Gurobi.jl
@@ -60,10 +60,13 @@ elseif _is_patch(_GUROBI_VERSION, v"9.5")
     include("gen95/libgrb_api.jl")
 elseif _is_patch(_GUROBI_VERSION, v"10.0")
     include("gen100/libgrb_api.jl")
+elseif _is_patch(_GUROBI_VERSION, v"11.0")
+    include("gen110/libgrb_api.jl")
 else
     error("""
     You have installed version $_GUROBI_VERSION of Gurobi, which is not
-    supported by Gurobi.jl. We require Gurobi version 9.0 or 9.1 or 9.5 or 10.0.
+    supported by Gurobi.jl. We require Gurobi version 9.0 or 9.1 or 9.5
+    or 10.0 or 11.0.
 
     After installing a supported version of Gurobi, run: