# HG changeset patch
# User wenzelm
# Date 1744488657 -7200
# Node ID 0366d0139f15541983f814d1ba17ab87984f0c0f
# Parent  923dbdb4262e7e0d46cd3a9e0414b3234bc8e0e0
tuned messages;

diff -r 923dbdb4262e -r 0366d0139f15 src/Pure/Admin/component_polyml.scala
--- a/src/Pure/Admin/component_polyml.scala	Sat Apr 12 19:22:43 2025 +0200
+++ b/src/Pure/Admin/component_polyml.scala	Sat Apr 12 22:10:57 2025 +0200
@@ -100,7 +100,6 @@
       Isabelle_System.copy_dir(bin_dir, lib_dir, direct = true)
     }
 
-    progress.echo("GMP installation directory: " + target_dir)
     target_dir
   }
 
@@ -433,8 +432,12 @@
           }
 
         val progress = new Console_Progress(verbose = verbose)
-        make_polyml_gmp(Platform_Context(mingw = mingw, progress = progress),
-          root, options = options)
+
+        val target_dir =
+          make_polyml_gmp(Platform_Context(mingw = mingw, progress = progress),
+            root, options = options)
+
+        progress.echo("GMP installation directory: " + target_dir)
       })
 
   val isabelle_tool2 =