src/Pure/Admin/build_release.scala
changeset 73083 4a117b57e622
parent 73077 75bd49ba9c28
child 73085 b595bcdf5bf3
equal deleted inserted replaced
73082:e67d659d7a41 73083:4a117b57e622
   295     File.write(path, script)
   295     File.write(path, script)
   296     File.set_executable(path, true)
   296     File.set_executable(path, true)
   297   }
   297   }
   298 
   298 
   299 
   299 
   300   def make_isabelle_plist(path: Path, isabelle_name: String)
   300   def make_isabelle_plist(path: Path, isabelle_name: String, isabelle_rev: String)
   301   {
   301   {
   302     File.write(path, """<?xml version="1.0" ?>
   302     File.write(path, """<?xml version="1.0" ?>
   303 <!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
   303 <!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
   304 <plist version="1.0">
   304 <plist version="1.0">
   305 <dict>
   305 <dict>
   316 <key>CFBundleName</key>
   316 <key>CFBundleName</key>
   317 <string>""" + isabelle_name + """</string>
   317 <string>""" + isabelle_name + """</string>
   318 <key>CFBundlePackageType</key>
   318 <key>CFBundlePackageType</key>
   319 <string>APPL</string>
   319 <string>APPL</string>
   320 <key>CFBundleShortVersionString</key>
   320 <key>CFBundleShortVersionString</key>
   321 <string>1.0</string>
   321 <string>""" + isabelle_rev + """</string>
   322 <key>CFBundleSignature</key>
   322 <key>CFBundleSignature</key>
   323 <string>????</string>
   323 <string>????</string>
   324 <key>CFBundleVersion</key>
   324 <key>CFBundleVersion</key>
   325 <string>1</string>
   325 <string>1</string>
   326 <key>NSHumanReadableCopyright</key>
   326 <key>NSHumanReadableCopyright</key>
   327 <string></string>
   327 <string></string>
   328 <key>LSMinimumSystemVersion</key>
   328 <key>LSMinimumSystemVersion</key>
   329 <string>10.7</string>
   329 <string>10.10</string>
   330 <key>LSApplicationCategoryType</key>
   330 <key>LSApplicationCategoryType</key>
   331 <string>public.app-category.developer-tools</string>
   331 <string>public.app-category.developer-tools</string>
   332 <key>NSHighResolutionCapable</key>
   332 <key>NSHighResolutionCapable</key>
   333 <string>true</string>
   333 <string>true</string>
   334 <key>NSSupportsAutomaticGraphicsSwitching</key>
   334 <key>NSSupportsAutomaticGraphicsSwitching</key>
   673 
   673 
   674             make_isabelle_options(
   674             make_isabelle_options(
   675               app_dir + isabelle_options,
   675               app_dir + isabelle_options,
   676               java_options ::: List("-Disabelle.app=true"))
   676               java_options ::: List("-Disabelle.app=true"))
   677 
   677 
   678             make_isabelle_plist(app_contents + Path.explode("Info.plist"), isabelle_name)
   678             make_isabelle_plist(
       
   679               app_contents + Path.explode("Info.plist"), isabelle_name, release.ident)
   679 
   680 
   680 
   681 
   681             // application archive
   682             // application archive
   682 
   683 
   683             val archive_name = isabelle_name + "_macos.tar.gz"
   684             val archive_name = isabelle_name + "_macos.tar.gz"