src/Pure/ML/ml_settings.scala

--- a/src/Pure/ML/ml_settings.scala	Mon Jun 16 12:18:26 2025 +0200
+++ b/src/Pure/ML/ml_settings.scala	Mon Jun 16 12:19:23 2025 +0200
@@ -15,6 +15,7 @@
       override def polyml_home: Path = Path.variable("POLYML_HOME").expand_env(env)
       override def ml_system: String = Isabelle_System.getenv_strict("ML_SYSTEM", env = env)
       override def ml_platform: String = {
+        proper_string(options.string("ML_platform")) orElse
         proper_string(Isabelle_System.getenv("ML_PLATFORM", env = env)) getOrElse {
           val platform_64 =
             Isabelle_Platform.make(env = env)