# HG changeset patch
# User wenzelm
# Date 1744477531 -7200
# Node ID 5f98257dc912c8121eec7346d0b2b1b4de5ca069
# Parent  3b36c814b7f8bbbee32c26217e2f8a3e14d4594c
tuned messages;

diff -r 3b36c814b7f8 -r 5f98257dc912 src/Pure/Admin/component_polyml.scala
--- a/src/Pure/Admin/component_polyml.scala	Sat Apr 12 17:24:09 2025 +0200
+++ b/src/Pure/Admin/component_polyml.scala	Sat Apr 12 19:05:31 2025 +0200
@@ -90,6 +90,7 @@
       "make check",
       "make install")
 
+    progress.echo("GMP installation directory: " + target_dir)
     target_dir
   }
 
@@ -312,7 +313,7 @@
       init_src_root(component_dir.src, "RootX86.ML", "ROOT.ML")
 
       for (arch_64 <- List(false, true)) {
-        progress.echo("Building " + platform_context.polyml(arch_64))
+        progress.echo("Building Poly/ML " + platform_context.polyml(arch_64))
         make_polyml(
           platform_context,
           root = polyml_download,