From 397424616d233907e9bb844dd2e4e5454f8de08e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ga=C3=ABtan=20Gilbert?= <gaetan.gilbert@skyskimmer.net>
Date: Tue, 14 Jan 2025 16:55:18 +0100
Subject: [PATCH] Add `rocq --print-version` (same as `coqc --print-version`)

---
 topbin/rocq.ml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/topbin/rocq.ml b/topbin/rocq.ml
index 951ae49c3feb..6276951bea06 100644
--- a/topbin/rocq.ml
+++ b/topbin/rocq.ml
@@ -73,8 +73,10 @@ let print_usage fmt () =
         "    "^cmd^separator^doc)
       subcommands
   in
-  Printf.fprintf fmt "Usage: rocq [-debug-shim] {-v|--version|--help|SUBCOMMAND} [ARGUMENTS...]\n\
+  Printf.fprintf fmt "Usage: rocq [-debug-shim] {-v|--version|--print-version|--help|SUBCOMMAND} [ARGUMENTS...]\n\
 \n\
+\n  -v, --version: print human readable version info\
+\n  --print-version: print machine readable version info\
 Supported subcommands:\n\
 %s\n\
 \n\
@@ -107,6 +109,7 @@ let () =
   match args with
   (* help prints *)
   | "-v" :: _ | "--version" :: _ -> Boot.Usage.version ()
+  | ("-print-version"|"--print-version") :: _ -> Boot.Usage.machine_readable_version ()
   | ("-h" | "-H" | "-help" | "--help") :: _ ->
     Printf.printf "%a%!" print_usage ();
     exit 0