# HG changeset patch
# User wenzelm
# Date 1744308158 -7200
# Node ID 983c18a451150e1a695ab9dcaf5270a0362ced2b
# Parent  92f62ec6cc496fc39a6410b629ce2ace0ceb6a69
clarified command-line;

diff -r 92f62ec6cc49 -r 983c18a45115 src/Pure/Admin/component_polyml.scala
--- a/src/Pure/Admin/component_polyml.scala	Thu Apr 10 19:56:51 2025 +0200
+++ b/src/Pure/Admin/component_polyml.scala	Thu Apr 10 20:02:38 2025 +0200
@@ -420,8 +420,8 @@
 Usage: isabelle make_polyml [OPTIONS] ROOT [CONFIGURE_OPTIONS]
 
   Options are:
-    -G DIR       GMP library root
     -M DIR       msys/mingw root specification for Windows
+    -g DIR       GMP library root
     -m ARCH      processor architecture (32 or 64, default: """ +
         (if (arch_64) "64" else "32") + """)
     -s DIR       sha1 sources, see https://isabelle.sketis.net/repos/sha1
@@ -429,8 +429,8 @@
   Make Poly/ML in the ROOT directory of its sources, with additional
   CONFIGURE_OPTIONS.
 """,
-          "G:" -> (arg => gmp_root = Some(Path.explode(arg))),
           "M:" -> (arg => mingw = MinGW(Path.explode(arg))),
+          "g:" -> (arg => gmp_root = Some(Path.explode(arg))),
           "m:" ->
             {
               case "32" => arch_64 = false