From 80678eabd3fde99872b583f462467500a19bab7f Mon Sep 17 00:00:00 2001 From: Oscar Dowson Date: Wed, 24 Oct 2018 11:33:17 -0500 Subject: [PATCH] Add support for Gurobi 8.1 (#165) --- deps/build.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)