diff options
| author | Guillaume Melquiond | 2021-02-17 19:29:15 +0100 |
|---|---|---|
| committer | Guillaume Melquiond | 2021-02-17 19:29:15 +0100 |
| commit | 6c6f682f7fc977a57b69ffdfff7e7860094b7fcd (patch) | |
| tree | aaf9493a00a7e1272b4608bf4a395901cc53b973 /ide | |
| parent | c55b5b8575f2f717d6d9c759996173e250dd1c75 (diff) | |
Add option --version to Coqide (fix #13752).
Diffstat (limited to 'ide')
| -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 |