| changeset 54671 | d64a4ef26edb |
| parent 54670 | cfb21e03fe2a |
| parent 54635 | 30666a281ae3 |
| child 54672 | 748778ac0ab8 |
--- a/Admin/MacOS/App2/mk Thu Dec 05 17:52:12 2013 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,12 +0,0 @@ -#!/usr/bin/env bash -# -# Make Isabelle/JVM application bundle - -THIS="$(cd "$(dirname "$0")"; pwd)" - -APP="$THIS/Isabelle.app" - -mkdir -p "$APP/Contents/Resources/Java" -cp "$THIS/../../../lib/classes/isabelle-scala.jar" "$APP/Contents/Resources/Java" -cp "$THIS/../isabelle.icns" "$APP/Contents/Resources" -