# HG changeset patch
# User wenzelm
# Date 1609882113 -3600
# Node ID e8b8e9a6330f842323df1512c8652430c437d31b
# Parent  a1d4c9f5207adef4f168ab75b64fbc36c2e2cceb
proper app directory setup, without macos_app component;

diff -r a1d4c9f5207a -r e8b8e9a6330f src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Tue Jan 05 22:05:18 2021 +0100
+++ b/src/Pure/Admin/build_release.scala	Tue Jan 05 22:28:33 2021 +0100
@@ -643,15 +643,12 @@
 
             // MacOS application bundle
 
-            File.move(isabelle_target + Path.explode("contrib/macos_app"), tmp_dir)
-
             val isabelle_app = Path.explode(isabelle_name + ".app")
             val app_dir = tmp_dir + isabelle_app
-            File.move(tmp_dir + Path.explode("macos_app/Isabelle.app"), app_dir)
+            val app_contents = app_dir + Path.explode("Contents")
 
-            val app_contents = app_dir + Path.explode("Contents")
-            val app_resources = app_contents + Path.explode("Resources")
-            File.move(tmp_dir + Path.explode(isabelle_name), app_resources)
+            File.move(tmp_dir + Path.explode(isabelle_name),
+              Isabelle_System.make_directory(app_contents + Path.explode("Resources")))
 
             val isabelle_home = Path.explode("Contents/Resources/" + isabelle_name)
             val isabelle_options = Path.explode("Isabelle.options")