--- 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 =