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