Gurobi 8.0

What’s the process to switch to the new Gurobi release (8.0) ?

I have not tried it yet but I believe the process should be:

  1. Install gurobi 8.0
  2. Set your GUROBI_HOME variable to the new installation
  3. julia> Pkg.build("Gurobi")

GUROBI_HOME was already changed and and Pkg.build(“Gurobi”) didn’t do it. I had to remove the package and reinstall it.