changeset 56013 | d64a4ef26edb |
parent 56012 | cfb21e03fe2a |
parent 56008 | 30666a281ae3 |
child 56014 | 748778ac0ab8 |
1.1 --- a/Admin/MacOS/App2/mk Thu Dec 05 17:52:12 2013 +0100 1.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 1.3 @@ -1,12 +0,0 @@ 1.4 -#!/usr/bin/env bash 1.5 -# 1.6 -# Make Isabelle/JVM application bundle 1.7 - 1.8 -THIS="$(cd "$(dirname "$0")"; pwd)" 1.9 - 1.10 -APP="$THIS/Isabelle.app" 1.11 - 1.12 -mkdir -p "$APP/Contents/Resources/Java" 1.13 -cp "$THIS/../../../lib/classes/isabelle-scala.jar" "$APP/Contents/Resources/Java" 1.14 -cp "$THIS/../isabelle.icns" "$APP/Contents/Resources" 1.15 -