diff options
Diffstat (limited to 'lib/flags.mli')
| -rw-r--r-- | lib/flags.mli | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/lib/flags.mli b/lib/flags.mli index db472cccb..f0e4103f6 100644 --- a/lib/flags.mli +++ b/lib/flags.mli @@ -68,3 +68,13 @@ val browser_cmd_fmt : string (* Substitute %s in the first chain by the second chain *) val subst_command_placeholder : string -> string -> string + +(* Options for specifying where coq librairies reside *) +val coqlib_spec : bool ref +val coqlib : string ref + +(* Options for specifying where OCaml binaries reside *) +val camlbin_spec : bool ref +val camlbin : string ref +val camlp4bin_spec : bool ref +val camlp4bin : string ref |