Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned signature: more operations;
authorwenzelm
Sun, 15 Jun 2025 13:40:03 +0200
changeset 82717 8d42bf3b821d
parent 82716 6e33d46b1400
child 82718 e1a8753eaad7
tuned signature: more operations;
src/Pure/System/isabelle_platform.scala file | annotate | diff | comparison | revisions 
--- 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 =
isabelle