Add version command line option / gap-system#3735

MaxFork · Feb 21, 2020 · 840af76 · 840af76
1 parent fc65b03
commit 840af76
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/lib/system.g b/lib/system.g
@@ -60,6 +60,7 @@ BIND_GLOBAL( "GAPInfo", rec(
     # for those options is correct
     CommandLineOptionData := [
       rec( short:= "h", long := "help", default := false, help := ["print this help and exit"] ),
+      rec( short:= "v", long := "version", default := false, help := ["print the version and exit"] ),
       rec( short:= "b", long := "banner", default := false, help := ["disable/enable the banner"] ),
       rec( short:= "q", long := "quiet", default := false, help := ["enable/disable quiet mode"] ),
       rec( short:= "e", default := false, help := ["disable/enable quitting on <ctr>-D"] ),
@@ -480,6 +481,13 @@ CallAndInstallPostRestore( function()
        "  Default actions are indicated first.\n",
        "\n" );
       QUIT_GAP();
+    elif GAPInfo.CommandLineOptions.v then
+      PRINT_TO( "*errout*",
+        "KernelVersion ", GAPInfo.KernelVersion, "\n",
+        "BuildVersion ", GAPInfo.BuildVersion, "\n",
+        "\n" );
+      # PRINT_TO( "*errout*",GAPInfo.KernelVersion);
+      QUIT_GAP();
     fi;
 end );