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