diff options
| author | Emilio Jesus Gallego Arias | 2018-09-27 02:25:16 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2018-10-01 05:00:01 +0200 |
| commit | ec1e83e85543a793dc248e9d2f47dd146f9a913d (patch) | |
| tree | 185f31099afb50d4ebcdaf5d292aff78c0ae00ef /lib/envars.mli | |
| parent | c155259dee7e4b2bfafe42375b45f2f4d6c6cfbd (diff) | |
[envars] Defer CAMLP5 location to configure.
These functions are unused, and configure should suffice for this
purpose.
Diffstat (limited to 'lib/envars.mli')
| -rw-r--r-- | lib/envars.mli | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/lib/envars.mli b/lib/envars.mli index 66b86252c7..93d3cf9d0c 100644 --- a/lib/envars.mli +++ b/lib/envars.mli @@ -58,12 +58,6 @@ val coqpath : string list (** [camlfind ()] is the path to the ocamlfind binary. *) val ocamlfind : unit -> string -(** [camlp5bin ()] is the path to the camlp5 binary. *) -val camlp5bin : unit -> string - -(** [camlp5lib ()] is the path to the camlp5 library. *) -val camlp5lib : unit -> string - (** Coq tries to honor the XDG Base Directory Specification to access the user's configuration files. |