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.
proper platform_name/platform_dir for native arm64-darwin: already published in 788f11af9822 after manual adjustment;
authorwenzelm
Sun, 03 Mar 2024 12:00:44 +0100
changeset 79754 9686af7b947a
parent 79753 a66588206ec5
child 79755 3066125a7f51
proper platform_name/platform_dir for native arm64-darwin: already published in 788f11af9822 after manual adjustment;
src/Pure/Admin/component_e.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/component_e.scala	Fri Mar 01 21:23:47 2024 +0100
+++ b/src/Pure/Admin/component_e.scala	Sun Mar 03 12:00:44 2024 +0100
@@ -27,8 +27,8 @@
         Components.Directory(target_dir + Path.basic(component_name)).create(progress = progress)
 
       val platform_name =
-        proper_string(Isabelle_System.getenv("ISABELLE_PLATFORM64"))
-          .getOrElse(error("No 64bit platform"))
+        proper_string(Isabelle_System.getenv("ISABELLE_APPLE_PLATFORM64")) orElse
+        proper_string(Isabelle_System.getenv("ISABELLE_PLATFORM64")) getOrElse error("Bad platform")
 
       val platform_dir =
         Isabelle_System.make_directory(component_dir.path + Path.basic(platform_name))
isabelle