# HG changeset patch
# User wenzelm
# Date 1611697566 -3600
# Node ID b8e12e94cfcabd89f270badb2eede0fcff113bfb
# Parent  e7437085e58970f7e9fe3acb9d5e8942d0122a86
more uniform directory layout for macOS;
uniform Isabelle_app executable + lib/scripts/Isabelle_app for Linux and macOS;
proper support for Apple "Files and Folders" security via x86_64-darwin executable (which is still able to launch arm64-darwin Java);

diff -r e7437085e589 -r b8e12e94cfca Admin/components/bundled-linux
--- a/Admin/components/bundled-linux	Tue Jan 26 21:33:52 2021 +0100
+++ b/Admin/components/bundled-linux	Tue Jan 26 22:46:06 2021 +0100
@@ -1,2 +1,2 @@
 #additional components to be bundled for release
-linux_app-20200110
+Isabelle_app-20210126
diff -r e7437085e589 -r b8e12e94cfca Admin/components/bundled-macos
--- a/Admin/components/bundled-macos	Tue Jan 26 21:33:52 2021 +0100
+++ b/Admin/components/bundled-macos	Tue Jan 26 22:46:06 2021 +0100
@@ -1,1 +1,2 @@
 #additional components to be bundled for release
+Isabelle_app-20210126
diff -r e7437085e589 -r b8e12e94cfca src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Tue Jan 26 21:33:52 2021 +0100
+++ b/src/Pure/Admin/build_release.scala	Tue Jan 26 22:46:06 2021 +0100
@@ -255,8 +255,9 @@
   }
 
   def make_isabelle_app(
-    path: Path,
-    isabelle_home_prefix: String,
+    platform: Platform.Family.Value,
+    isabelle_target: Path,
+    isabelle_name: String,
     jdk_component: String,
     classpath: List[Path],
     dock_icon: Boolean = false)
@@ -269,7 +270,7 @@
 
 # minimal Isabelle environment
 
-ISABELLE_HOME="$(cd "$(dirname "$0")"; cd "$(pwd -P)/""" + isabelle_home_prefix + """"; pwd)"
+ISABELLE_HOME="$(cd "$(dirname "$0")"; cd "$(pwd -P)/../.."; pwd)"
 source "$ISABELLE_HOME/lib/scripts/isabelle-platform"
 
 #paranoia settings -- avoid intrusion of alien options
@@ -296,8 +297,15 @@
 """ + (if (dock_icon) """"-Xdock:icon=$ISABELLE_HOME/lib/logo/isabelle_transparent-128.png" \
 """ else "") + """isabelle.Main "$@"
 """
-    File.write(path, script)
-    File.set_executable(path, true)
+    val script_path = isabelle_target + Path.explode("lib/scripts/Isabelle_app")
+    File.write(script_path, script)
+    File.set_executable(script_path, true)
+
+    val component_dir = isabelle_target + Path.explode("contrib/Isabelle_app")
+    File.move(
+      component_dir + Path.explode(Platform.standard_platform(platform)) + Path.explode("Isabelle"),
+      isabelle_target + Path.explode(isabelle_name))
+    Isabelle_System.rm_tree(component_dir)
   }
 
 
@@ -626,14 +634,7 @@
             make_isabelle_options(
               isabelle_target + Path.explode("Isabelle.options"), java_options)
 
-            make_isabelle_app(
-              isabelle_target + Path.explode("lib/scripts/Isabelle_app"),
-              "../..", jdk_component, classpath)
-
-            val linux_app = isabelle_target + Path.explode("contrib/linux_app")
-            File.move(linux_app + Path.explode("Isabelle"),
-              isabelle_target + Path.explode(isabelle_name))
-            Isabelle_System.rm_tree(linux_app)
+            make_isabelle_app(platform, isabelle_target, isabelle_name, jdk_component, classpath)
 
             val archive_name = isabelle_name + "_linux.tar.gz"
             progress.echo("Packaging " + archive_name + " ...")
@@ -648,44 +649,35 @@
                .replaceAll("delete.shortcut2=.*", "delete.shortcut2=A+d"))
 
 
-            // MacOS application bundle
-
-            val isabelle_app = Path.explode(isabelle_name + ".app")
-            val app_dir = tmp_dir + isabelle_app
-            val app_contents = app_dir + Path.explode("Contents")
-            val app_resources =
-              Isabelle_System.make_directory(app_contents + Path.explode("Resources"))
+            // macOS application bundle
 
-            File.move(tmp_dir + Path.explode(isabelle_name), app_resources)
-
-            val isabelle_home = Path.explode("Contents/Resources/" + isabelle_name)
-            val isabelle_options = Path.explode("Isabelle.options")
-
-            File.link(
-              isabelle_home, app_dir + Path.explode("Isabelle"), force = true)
-            File.link(
-              isabelle_home + isabelle_options, app_dir + isabelle_options, force = true)
+            val app_contents = isabelle_target + Path.explode("Contents")
 
             for (icon <- List("lib/logo/isabelle.icns", "lib/logo/theory.icns")) {
-              File.copy(app_dir + isabelle_home + Path.explode(icon), app_resources)
+              File.copy(isabelle_target + Path.explode(icon),
+                Isabelle_System.make_directory(app_contents + Path.explode("Resources")))
             }
 
-            make_isabelle_app(
-              app_dir + Path.explode(isabelle_name),
-              isabelle_home.implode, jdk_component, classpath, dock_icon = true)
-
-            make_isabelle_options(
-              app_dir + isabelle_options,
-              java_options ::: List("-Disabelle.app=true"))
-
             make_isabelle_plist(
               app_contents + Path.explode("Info.plist"), isabelle_name, release.ident)
 
+            make_isabelle_app(platform, isabelle_target, isabelle_name, jdk_component,
+              classpath, dock_icon = true)
+
+            val isabelle_options = Path.explode("Isabelle.options")
+            make_isabelle_options(
+              isabelle_target + isabelle_options,
+              java_options ::: List("-Disabelle.app=true"))
+
 
             // application archive
 
             val archive_name = isabelle_name + "_macos.tar.gz"
             progress.echo("Packaging " + archive_name + " ...")
+
+            val isabelle_app = Path.explode(isabelle_name + ".app")
+            File.move(tmp_dir + Path.explode(isabelle_name), tmp_dir + isabelle_app)
+
             execute_tar(tmp_dir,
               "-czf " + File.bash_path(release.dist_dir + Path.explode(archive_name)) + " " +
               File.bash_path(isabelle_app))
diff -r e7437085e589 -r b8e12e94cfca src/Pure/System/platform.scala
--- a/src/Pure/System/platform.scala	Tue Jan 26 21:33:52 2021 +0100
+++ b/src/Pure/System/platform.scala	Tue Jan 26 22:46:06 2021 +0100
@@ -33,6 +33,13 @@
       unapply(name) getOrElse error("Bad platform family: " + quote(name))
   }
 
+  def standard_platform(platform: Family.Value): String =
+    platform match {
+      case Platform.Family.linux => "x86_64-linux"
+      case Platform.Family.macos => "x86_64-darwin"
+      case Platform.Family.windows => "x86_64-cygwin"
+    }
+
 
   /* platform identifiers */