equal
deleted
inserted
replaced
256 macos) |
256 macos) |
257 echo "application for $PLATFORM_FAMILY" |
257 echo "application for $PLATFORM_FAMILY" |
258 ( |
258 ( |
259 cd "$TMP" |
259 cd "$TMP" |
260 |
260 |
261 APP_TEMPLATE="$ISABELLE_HOME/Admin/MacOS/App3" |
261 APP_TEMPLATE="$ISABELLE_HOME/Admin/MacOS" |
262 APP="${ISABELLE_NAME}.app" |
262 APP="${ISABELLE_NAME}.app" |
263 |
263 |
264 for NAME in Java MacOS PlugIns Resources |
264 for NAME in Java MacOS PlugIns Resources |
265 do |
265 do |
266 mkdir -p "$APP/Contents/$NAME" |
266 mkdir -p "$APP/Contents/$NAME" |
284 do |
284 do |
285 ln -sf "../Resources/${ISABELLE_NAME}/$ENTRY" "$APP/Contents/Java" |
285 ln -sf "../Resources/${ISABELLE_NAME}/$ENTRY" "$APP/Contents/Java" |
286 done |
286 done |
287 |
287 |
288 cp -R "$APP_TEMPLATE/Resources/." "$APP/Contents/Resources/." |
288 cp -R "$APP_TEMPLATE/Resources/." "$APP/Contents/Resources/." |
289 cp "$APP_TEMPLATE/../isabelle.icns" "$APP/Contents/Resources/." |
|
290 |
289 |
291 ln -sf "../Resources/${ISABELLE_NAME}/contrib/jdk/x86_64-darwin" \ |
290 ln -sf "../Resources/${ISABELLE_NAME}/contrib/jdk/x86_64-darwin" \ |
292 "$APP/Contents/PlugIns/jdk" |
291 "$APP/Contents/PlugIns/jdk" |
293 |
292 |
294 cp macos_app/JavaAppLauncher "$APP/Contents/MacOS/." && \ |
293 cp macos_app/JavaAppLauncher "$APP/Contents/MacOS/." && \ |