From 6c6f682f7fc977a57b69ffdfff7e7860094b7fcd Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Wed, 17 Feb 2021 19:29:15 +0100
Subject: Add option --version to Coqide (fix #13752).

---
 ide/coqide/coqide.ml | 3 +++
 1 file changed, 3 insertions(+)

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
-- 
cgit v1.2.3