Add support for Gurobi 8.1 (#165)

jump-dev · Oct 24, 2018 · 80678ea · 80678ea
1 parent 4a872c1
commit 80678ea
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/deps/build.jl b/deps/build.jl
@@ -14,7 +14,7 @@ function write_depsfile(path)
     close(f)
 end
 
-aliases = ["gurobi80","gurobi75","gurobi70","gurobi65","gurobi60","gurobi56","gurobi55"]
+aliases = ["gurobi81","gurobi80","gurobi75","gurobi70","gurobi65","gurobi60","gurobi56","gurobi55"]
 
 paths_to_try = copy(aliases)