From cdb7c90cdfea56b9307cd3e9e192c6ab9ace6927 Mon Sep 17 00:00:00 2001 From: Oscar Dowson Date: Tue, 18 Jun 2024 10:46:16 +1200 Subject: [PATCH] Update manual install instructions in README --- README.md | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 332585d3..6506a242 100644 --- a/README.md +++ b/README.md @@ -62,7 +62,7 @@ You do not need to install Gurobi separately. ### Manual installation -To opt-out of using the Gurobi_jll binaries, set the `GUROBI_HOME` environment +To opt-out of using the `Gurobi_jll` binaries, set the `GUROBI_HOME` environment variable to point to your local installation and set the `GUROBI_JL_USE_GUROBI_JLL` environment variable to `"false"`, then run `Pkg.add` and `Pkg.build`: @@ -83,6 +83,10 @@ Pkg.add("Gurobi") Pkg.build("Gurobi") ``` +To change the location of a manual install, change the value of `GUROBI_HOME`, +re-run `Pkg.build("Gurobi")`, and then re-start Julia for the change to take +effect. + ## Use with JuMP To use Gurobi with JuMP, use `Gurobi.Optimizer`: