src/Pure/Admin/build_release.scala
changeset 73074 e8b8e9a6330f
parent 73070 7ef8d77ee761
child 73075 893310d6d76d
equal deleted inserted replaced
73073:a1d4c9f5207a 73074:e8b8e9a6330f
   641                .replaceAll("delete.shortcut2=.*", "delete.shortcut2=A+d"))
   641                .replaceAll("delete.shortcut2=.*", "delete.shortcut2=A+d"))
   642 
   642 
   643 
   643 
   644             // MacOS application bundle
   644             // MacOS application bundle
   645 
   645 
   646             File.move(isabelle_target + Path.explode("contrib/macos_app"), tmp_dir)
       
   647 
       
   648             val isabelle_app = Path.explode(isabelle_name + ".app")
   646             val isabelle_app = Path.explode(isabelle_name + ".app")
   649             val app_dir = tmp_dir + isabelle_app
   647             val app_dir = tmp_dir + isabelle_app
   650             File.move(tmp_dir + Path.explode("macos_app/Isabelle.app"), app_dir)
       
   651 
       
   652             val app_contents = app_dir + Path.explode("Contents")
   648             val app_contents = app_dir + Path.explode("Contents")
   653             val app_resources = app_contents + Path.explode("Resources")
   649 
   654             File.move(tmp_dir + Path.explode(isabelle_name), app_resources)
   650             File.move(tmp_dir + Path.explode(isabelle_name),
       
   651               Isabelle_System.make_directory(app_contents + Path.explode("Resources")))
   655 
   652 
   656             val isabelle_home = Path.explode("Contents/Resources/" + isabelle_name)
   653             val isabelle_home = Path.explode("Contents/Resources/" + isabelle_name)
   657             val isabelle_options = Path.explode("Isabelle.options")
   654             val isabelle_options = Path.explode("Isabelle.options")
   658 
   655 
   659             File.link(
   656             File.link(