diff options
| author | coqbot-app[bot] | 2021-02-22 09:30:09 +0000 |
|---|---|---|
| committer | GitHub | 2021-02-22 09:30:09 +0000 |
| commit | d3f9ebde0d6a7a7978d67a84a72f7ba7db9a6a16 (patch) | |
| tree | 66d2cf62680a4e0cc33935677e8e3747d15a42b6 | |
| parent | d65aeab7a4a8f6348011c43bf19a8d839a580695 (diff) | |
| parent | 6c6f682f7fc977a57b69ffdfff7e7860094b7fcd (diff) | |
Merge PR #13870: Add option --version to Coqide (fix #13752).
Reviewed-by: gares
| -rw-r--r-- | ide/coqide/coqide.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/ide/coqide/coqide.ml b/ide/coqide/coqide.ml index f9e6e74372..e066fc6292 100644 --- a/ide/coqide/coqide.ml +++ b/ide/coqide/coqide.ml @@ -1405,6 +1405,9 @@ let read_coqide_args argv = |"-coqtop-flags" :: flags :: args-> Coq.ideslave_coqtop_flags := Some flags; filter_coqtop coqtop project_files bindings_files out args + | ("-v" | "--version") :: _ -> + Printf.printf "CoqIDE, version %s\n" Coq_config.version; + exit 0 |arg::args when out = [] && CString.is_prefix "-psn_" arg -> (* argument added by MacOS during .app launch *) filter_coqtop coqtop project_files bindings_files out args |