--- a/src/Pure/Admin/build_release.scala Wed Jan 06 13:55:48 2021 +0100
+++ b/src/Pure/Admin/build_release.scala Wed Jan 06 14:03:49 2021 +0100
@@ -297,7 +297,7 @@
}
- def make_isabelle_plist(path: Path, isabelle_name: String)
+ def make_isabelle_plist(path: Path, isabelle_name: String, isabelle_rev: String)
{
File.write(path, """<?xml version="1.0" ?>
<!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
@@ -318,7 +318,7 @@
<key>CFBundlePackageType</key>
<string>APPL</string>
<key>CFBundleShortVersionString</key>
-<string>1.0</string>
+<string>""" + isabelle_rev + """</string>
<key>CFBundleSignature</key>
<string>????</string>
<key>CFBundleVersion</key>
@@ -326,7 +326,7 @@
<key>NSHumanReadableCopyright</key>
<string></string>
<key>LSMinimumSystemVersion</key>
-<string>10.7</string>
+<string>10.10</string>
<key>LSApplicationCategoryType</key>
<string>public.app-category.developer-tools</string>
<key>NSHighResolutionCapable</key>
@@ -675,7 +675,8 @@
app_dir + isabelle_options,
java_options ::: List("-Disabelle.app=true"))
- make_isabelle_plist(app_contents + Path.explode("Info.plist"), isabelle_name)
+ make_isabelle_plist(
+ app_contents + Path.explode("Info.plist"), isabelle_name, release.ident)
// application archive