diff -r e43ef311d595 -r 1008b8e7c78d src/Pure/Build/build.scala
--- a/src/Pure/Build/build.scala	Sat Jun 14 14:37:34 2025 +0200
+++ b/src/Pure/Build/build.scala	Sat Jun 14 17:10:18 2025 +0200
@@ -31,7 +31,6 @@
     engine: Engine = Engine.Default,
     afp_root: Option[Path] = None,
     build_hosts: List[Build_Cluster.Host] = Nil,
-    ml_platform: String = Isabelle_System.getenv("ML_PLATFORM"),
     hostname: String = Isabelle_System.hostname(),
     numa_shuffling: Boolean = false,
     numa_nodes: List[Int] = Nil,
@@ -47,6 +46,8 @@
   ) {
     def build_options: Options = store.options
 
+    def ml_platform: String = store.ml_platform
+
     def sessions_structure: isabelle.Sessions.Structure = deps.sessions_structure
 
     def worker: Boolean = jobs > 0