diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/envars.ml | 24 | ||||
| -rw-r--r-- | lib/envars.mli | 2 |
2 files changed, 13 insertions, 13 deletions
diff --git a/lib/envars.ml b/lib/envars.ml index 47d9670da1..79516bb1bf 100644 --- a/lib/envars.ml +++ b/lib/envars.ml @@ -213,18 +213,18 @@ let coq_src_subdirs = [ "grammar" ; "ide" ; "stm"; "vernac" ] @ Coq_config.plugins_dirs -let print_config f = +let print_config ?(prefix_var_name="") f = let open Printf in - fprintf f "LOCAL=%s\n" (if Coq_config.local then "1" else "0"); - fprintf f "COQLIB=%s/\n" (coqlib ()); - fprintf f "DOCDIR=%s/\n" (docdir ()); - fprintf f "OCAMLFIND=%s\n" (ocamlfind ()); - fprintf f "CAMLP4=%s\n" Coq_config.camlp4; - fprintf f "CAMLP4O=%s\n" Coq_config.camlp4o; - fprintf f "CAMLP4BIN=%s/\n" (camlp4bin ()); - fprintf f "CAMLP4LIB=%s\n" (camlp4lib ()); - fprintf f "CAMLP4OPTIONS=%s\n" Coq_config.camlp4compat; - fprintf f "HASNATDYNLINK=%s\n" + fprintf f "%sLOCAL=%s\n" prefix_var_name (if Coq_config.local then "1" else "0"); + fprintf f "%sCOQLIB=%s/\n" prefix_var_name (coqlib ()); + fprintf f "%sDOCDIR=%s/\n" prefix_var_name (docdir ()); + fprintf f "%sOCAMLFIND=%s\n" prefix_var_name (ocamlfind ()); + fprintf f "%sCAMLP4=%s\n" prefix_var_name Coq_config.camlp4; + fprintf f "%sCAMLP4O=%s\n" prefix_var_name Coq_config.camlp4o; + fprintf f "%sCAMLP4BIN=%s/\n" prefix_var_name (camlp4bin ()); + fprintf f "%sCAMLP4LIB=%s\n" prefix_var_name (camlp4lib ()); + fprintf f "%sCAMLP4OPTIONS=%s\n" prefix_var_name Coq_config.camlp4compat; + fprintf f "%sHASNATDYNLINK=%s\n" prefix_var_name (if Coq_config.has_natdynlink then "true" else "false"); - fprintf f "COQ_SRC_SUBDIRS=%s\n" (String.concat " " coq_src_subdirs) + fprintf f "%sCOQ_SRC_SUBDIRS=%s\n" prefix_var_name (String.concat " " coq_src_subdirs) diff --git a/lib/envars.mli b/lib/envars.mli index d158407b46..b164e789d2 100644 --- a/lib/envars.mli +++ b/lib/envars.mli @@ -71,7 +71,7 @@ val xdg_data_dirs : (string -> unit) -> string list val xdg_dirs : warn : (string -> unit) -> string list (** {6 Prints the configuration information } *) -val print_config : out_channel -> unit +val print_config : ?prefix_var_name:string -> out_channel -> unit (** Directories in which coq sources are found *) val coq_src_subdirs : string list |