From 333d41a9a28767ab146aab0527ff2b235bbd31a7 Mon Sep 17 00:00:00 2001 From: Pierre Boutillier Date: Sat, 28 Mar 2015 15:26:14 +0100 Subject: All invocations to ocaml compilers go through ocamlfind Nothing is done for camlp4 There is an issue with computing camlbindir --- lib/envars.mli | 13 ++----------- 1 file changed, 2 insertions(+), 11 deletions(-) (limited to 'lib/envars.mli') diff --git a/lib/envars.mli b/lib/envars.mli index b62b9f28a..7c20c035a 100644 --- a/lib/envars.mli +++ b/lib/envars.mli @@ -47,17 +47,8 @@ val coqroot : string the order it gets added to the search path. *) val coqpath : string list -(** [camlbin ()] is the path to the ocaml binaries. *) -val camlbin : unit -> string - -(** [camllib ()] is the path to the ocaml standard library. *) -val camllib : unit -> string - -(** [ocamlc ()] is the ocaml bytecode compiler that compiled this Coq. *) -val ocamlc : unit -> string - -(** [ocamlc ()] is the ocaml native compiler that compiled this Coq. *) -val ocamlopt : unit -> string +(** [camlbin ()] is the path to the ocamlfind binary. *) +val ocamlfind : unit -> string (** [camlp4bin ()] is the path to the camlp4 binary. *) val camlp4bin : unit -> string -- cgit v1.2.3