# HG changeset patch
# User wenzelm
# Date 1378571064 -7200
# Node ID 7863f4b3b73bd7a551602dcc58e1b2b40948f370
# Parent  c531db09368025d842db715241dc6eed3876a95d
generate application wrapper for Linux;

diff -r c531db093680 -r 7863f4b3b73b Admin/lib/Tools/makedist_bundle
--- a/Admin/lib/Tools/makedist_bundle	Sat Sep 07 17:43:13 2013 +0200
+++ b/Admin/lib/Tools/makedist_bundle	Sat Sep 07 18:24:24 2013 +0200
@@ -126,6 +126,15 @@
 case "$PLATFORM_FAMILY" in
   linux)
     purge_contrib '-name "x86*-darwin" -o -name "x86*-cygwin" -o -name "x86*-windows"'
+    cat > "$ISABELLE_TARGET/$ISABELLE_NAME" <<EOF
+#!/usr/bin/env bash
+
+ISABELLE_TOOL="\$(dirname "\$0")"/bin/isabelle
+JEDIT_HOME="\$("\$ISABELLE_TOOL" getenv -b JEDIT_HOME)"
+
+exec "\$ISABELLE_TOOL" java -classpath "\$JEDIT_HOME/dist/jedit.jar" isabelle.Main "\$@"
+EOF
+    chmod +x "$ISABELLE_TARGET/$ISABELLE_NAME"
     ;;
   macos)
     purge_contrib '-name "x86*-linux" -o -name "x86*-cygwin" -o -name "x86*-windows"'
@@ -134,14 +143,14 @@
     perl -pi -e "s,lookAndFeel=.*,lookAndFeel=com.apple.laf.AquaLookAndFeel,g;" \
       -e "s,delete-line.shortcut=.*,delete-line.shortcut=C+d,g;" \
       -e "s,delete.shortcut2=.*,delete.shortcut2=A+d,g;" \
-      "$TMP/$ISABELLE_NAME/src/Tools/jEdit/dist/properties/jEdit.props"
+      "$ISABELLE_TARGET/src/Tools/jEdit/dist/properties/jEdit.props"
     ;;
   windows)
     purge_contrib '-name "x86*-linux" -o -name "x86*-darwin"'
     mv "$ISABELLE_TARGET/contrib/windows_app" "$TMP/."
 
     perl -pi -e "s,lookAndFeel=.*,lookAndFeel=com.sun.java.swing.plaf.windows.WindowsLookAndFeel,g;" \
-      "$TMP/$ISABELLE_NAME/src/Tools/jEdit/dist/properties/jEdit.props"
+      "$ISABELLE_TARGET/src/Tools/jEdit/dist/properties/jEdit.props"
 
     cp "$TMP/windows_app/Isabelle.exe" "$ISABELLE_TARGET/${ISABELLE_NAME}.exe"
     cp "$ISABELLE_HOME/Admin/Windows/Cygwin/Cygwin-Setup.bat" \
diff -r c531db093680 -r 7863f4b3b73b Isabelle
--- a/Isabelle	Sat Sep 07 17:43:13 2013 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,8 +0,0 @@
-#!/usr/bin/env bash
-#
-# Author: Makarius
-#
-# Default Isabelle application wrapper.
-
-exec "$(dirname "$0")"/bin/isabelle jedit -s -- "$@"
-