diff options
| author | Pierre-Marie Pédrot | 2018-11-28 08:44:38 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2018-11-28 08:44:38 +0100 |
| commit | 7db1dbb91439eecad777064fcbb8a8e904fc690d (patch) | |
| tree | 6c7ba9798f242d15ebe2721c064bf494ce4c94f5 /toplevel/coqargs.mli | |
| parent | e2444700206fe25a25f7f7cdabf9bc3eddfb2760 (diff) | |
| parent | 8f9dcb8418ac4db5cf3e4302f61d543d0c47cbdf (diff) | |
Merge PR #8826: [toplevel] Allow to specify default options.
Diffstat (limited to 'toplevel/coqargs.mli')
| -rw-r--r-- | toplevel/coqargs.mli | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/toplevel/coqargs.mli b/toplevel/coqargs.mli index 30f1caab12..e645b0c126 100644 --- a/toplevel/coqargs.mli +++ b/toplevel/coqargs.mli @@ -63,12 +63,17 @@ type coq_cmdopts = { print_emacs : bool; + (* Quiet / verbosity options should be here *) + inputstate : string option; outputstate : string option; } -val parse_args : string list -> coq_cmdopts * string list +(* Default options *) +val default_opts : coq_cmdopts + +val parse_args : coq_cmdopts -> string list -> coq_cmdopts * string list val exitcode : coq_cmdopts -> int val require_libs : coq_cmdopts -> (string * string option * bool option) list |