# HG changeset patch
# User wenzelm
# Date 1749987603 -7200
# Node ID 8d42bf3b821de12b04871aceba0967a36aa59c49
# Parent  6e33d46b14007bb79ceaacce43131c086c9ff669
tuned signature: more operations;

diff -r 6e33d46b1400 -r 8d42bf3b821d src/Pure/System/isabelle_platform.scala
--- a/src/Pure/System/isabelle_platform.scala	Sun Jun 15 13:13:37 2025 +0200
+++ b/src/Pure/System/isabelle_platform.scala	Sun Jun 15 13:40:03 2025 +0200
@@ -16,8 +16,10 @@
       "ISABELLE_WINDOWS_PLATFORM64",
       "ISABELLE_APPLE_PLATFORM64")
 
-  lazy val local: Isabelle_Platform =
-    new Isabelle_Platform(settings.map(a => (a, Isabelle_System.getenv(a))))
+  def make(env: Isabelle_System.Settings = Isabelle_System.Settings()): Isabelle_Platform =
+    new Isabelle_Platform(settings.map(a => (a, Isabelle_System.getenv(a, env = env))))
+
+  lazy val local: Isabelle_Platform = make()
 
   def remote(ssh: SSH.Session): Isabelle_Platform = {
     val script =