diff options
| author | Emilio Jesus Gallego Arias | 2018-09-27 02:33:10 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2018-10-01 05:00:01 +0200 |
| commit | 9d3a2d042500094befe4b88f3aa73693bc287ed9 (patch) | |
| tree | a35b05af58af9143a2ef84ffd5b4f63679d3f90a /lib/envars.mli | |
| parent | 4de95593380294b3d2c4f10f346aaf9bb5d4d6eb (diff) | |
[lib] [flags] Move coqlib handling out of `Flags`
The relevant logic is already in `Envars`, so it makes sense to make
it private and don't expose the low-level implementation of the logic.
Diffstat (limited to 'lib/envars.mli')
| -rw-r--r-- | lib/envars.mli | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/envars.mli b/lib/envars.mli index 93d3cf9d0c..ebf86d0650 100644 --- a/lib/envars.mli +++ b/lib/envars.mli @@ -41,6 +41,9 @@ val configdir : unit -> string (** [set_coqlib] must be runned once before any access to [coqlib] *) val set_coqlib : fail:(string -> string) -> unit +(** [set_user_coqlib path] sets the coqlib directory explicitedly. *) +val set_user_coqlib : string -> unit + (** [coqbin] is the name of the current executable. *) val coqbin : string |