diff --git a/deps/build.jl b/deps/build.jl index 813c2952..e5bca1e9 100644 --- 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)