Admin/components/bundled-macos
author wenzelm
Wed, 05 Dec 2018 19:42:40 +0100
changeset 69401 7a1b7b737c02
parent 61300 9b4843250e1c
child 69432 d072f3287ffa
permissions -rw-r--r--
eliminated old makedist_bundle and remote_dmg: build_release does everything in Scala; more robust components and classpath via Other_Isabelle; updated macos_app to include full dmg template; misc tuning and clarification;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
52677
2b446d507296 fully-automated packaging (requires Mac OS X);
wenzelm
parents:
diff changeset
     1
#additional components to be bundled for release
69401
7a1b7b737c02 eliminated old makedist_bundle and remote_dmg: build_release does everything in Scala;
wenzelm
parents: 61300
diff changeset
     2
macos_app-20181205