diff options
| author | Enrico Tassi | 2020-12-04 11:26:43 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2020-12-04 11:27:50 +0100 |
| commit | f720f0dddaf28505fde192e5912ffa63817d3122 (patch) | |
| tree | 661d8c427d2daa5a5a4b10a174ca9b373c980028 /lib | |
| parent | db13ff6866731001ad7d3021ab7cb4b3a54cba5c (diff) | |
[coq_makefile] honor environment for OCAMLFIND
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/envars.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/envars.ml b/lib/envars.ml index 585d5185b4..0455e8305b 100644 --- a/lib/envars.ml +++ b/lib/envars.ml @@ -145,7 +145,7 @@ let coqpath = (** {2 Caml paths} *) -let ocamlfind () = Coq_config.ocamlfind +let ocamlfind () = getenv_else "OCAMLFIND" (fun () -> Coq_config.ocamlfind) (** {1 XDG utilities} *) |