Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned messages;
authorwenzelm
Sat, 12 Apr 2025 19:05:31 +0200
changeset 82493 5f98257dc912
parent 82492 3b36c814b7f8
child 82494 1ef574aa854a
tuned messages;
src/Pure/Admin/component_polyml.scala file | annotate | diff | comparison | revisions 
--- 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,
isabelle