From 046657081fb769fcf033c7d7c6b3fb6e861a0996 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 6 Jan 2017 14:57:40 +0100 Subject: ocamlfind: coqtop -config prints ocamlfind as found by ./configure Used to guess again the ocamlfind location at Coq's execution time. An option to override the value (inferred at ./configure time) is available. So, what is the point of guessing it? Either it stays there, or the user is doing a hack, and has a flag to do it. --- lib/envars.ml | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'lib/envars.ml') diff --git a/lib/envars.ml b/lib/envars.ml index 8654ee1a5..47d9670da 100644 --- a/lib/envars.ml +++ b/lib/envars.ml @@ -147,9 +147,7 @@ let coqpath = let exe s = s ^ Coq_config.exec_extension let ocamlfind () = - if !Flags.ocamlfind_spec then !Flags.ocamlfind else - if !Flags.boot then Coq_config.ocamlfind else - try guess_ocamlfind () / "ocamlfind" with Not_found -> Coq_config.ocamlfind + if !Flags.ocamlfind_spec then !Flags.ocamlfind else Coq_config.ocamlfind (** {2 Camlp4 paths} *) -- cgit v1.2.3