# HG changeset patch # User wenzelm # Date 1709463644 -3600 # Node ID 9686af7b947a3caaaf48ffd03b490423419ef4a4 # Parent a66588206ec55457ae74fbb77f31737b84aa8e7b proper platform_name/platform_dir for native arm64-darwin: already published in 788f11af9822 after manual adjustment; diff -r a66588206ec5 -r 9686af7b947a src/Pure/Admin/component_e.scala --- 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))