From f720f0dddaf28505fde192e5912ffa63817d3122 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Fri, 4 Dec 2020 11:26:43 +0100
Subject: [coq_makefile] honor environment for OCAMLFIND

---
 lib/envars.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib')

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} *)
 
-- 
cgit v1.2.3