diff options
Diffstat (limited to 'config')
| -rw-r--r-- | config/coq_config.mli | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/config/coq_config.mli b/config/coq_config.mli index e5a32708d..1eff9c38d 100644 --- a/config/coq_config.mli +++ b/config/coq_config.mli @@ -10,15 +10,14 @@ val local : bool (* local use (no installation) *) -val bindir : string (* where the binaries are installed *) val coqlib : string (* where the std library is installed *) +val coqsrc : string (* where are the sources *) -val coqtop : string (* where are the sources *) - -val camldir : string (* base directory of OCaml binaries *) +val camlbin : string (* base directory of OCaml binaries *) val camllib : string (* for Dynlink *) val camlp4 : string (* exact name of camlp4: either "camlp4" ou "camlp5" *) +val camlp4bin : string (* base directory for Camlp4/5 binaries *) val camlp4lib : string (* where is the library of Camlp4 *) val best : string (* byte/opt *) |