124 # platform-specific patches |
124 # platform-specific patches |
125 |
125 |
126 case "$PLATFORM_FAMILY" in |
126 case "$PLATFORM_FAMILY" in |
127 linux) |
127 linux) |
128 purge_contrib '-name "x86*-darwin" -o -name "x86*-cygwin" -o -name "x86*-windows"' |
128 purge_contrib '-name "x86*-darwin" -o -name "x86*-cygwin" -o -name "x86*-windows"' |
|
129 cat > "$ISABELLE_TARGET/$ISABELLE_NAME" <<EOF |
|
130 #!/usr/bin/env bash |
|
131 |
|
132 ISABELLE_TOOL="\$(dirname "\$0")"/bin/isabelle |
|
133 JEDIT_HOME="\$("\$ISABELLE_TOOL" getenv -b JEDIT_HOME)" |
|
134 |
|
135 exec "\$ISABELLE_TOOL" java -classpath "\$JEDIT_HOME/dist/jedit.jar" isabelle.Main "\$@" |
|
136 EOF |
|
137 chmod +x "$ISABELLE_TARGET/$ISABELLE_NAME" |
129 ;; |
138 ;; |
130 macos) |
139 macos) |
131 purge_contrib '-name "x86*-linux" -o -name "x86*-cygwin" -o -name "x86*-windows"' |
140 purge_contrib '-name "x86*-linux" -o -name "x86*-cygwin" -o -name "x86*-windows"' |
132 mv "$ISABELLE_TARGET/contrib/macos_app" "$TMP/." |
141 mv "$ISABELLE_TARGET/contrib/macos_app" "$TMP/." |
133 |
142 |
134 perl -pi -e "s,lookAndFeel=.*,lookAndFeel=com.apple.laf.AquaLookAndFeel,g;" \ |
143 perl -pi -e "s,lookAndFeel=.*,lookAndFeel=com.apple.laf.AquaLookAndFeel,g;" \ |
135 -e "s,delete-line.shortcut=.*,delete-line.shortcut=C+d,g;" \ |
144 -e "s,delete-line.shortcut=.*,delete-line.shortcut=C+d,g;" \ |
136 -e "s,delete.shortcut2=.*,delete.shortcut2=A+d,g;" \ |
145 -e "s,delete.shortcut2=.*,delete.shortcut2=A+d,g;" \ |
137 "$TMP/$ISABELLE_NAME/src/Tools/jEdit/dist/properties/jEdit.props" |
146 "$ISABELLE_TARGET/src/Tools/jEdit/dist/properties/jEdit.props" |
138 ;; |
147 ;; |
139 windows) |
148 windows) |
140 purge_contrib '-name "x86*-linux" -o -name "x86*-darwin"' |
149 purge_contrib '-name "x86*-linux" -o -name "x86*-darwin"' |
141 mv "$ISABELLE_TARGET/contrib/windows_app" "$TMP/." |
150 mv "$ISABELLE_TARGET/contrib/windows_app" "$TMP/." |
142 |
151 |
143 perl -pi -e "s,lookAndFeel=.*,lookAndFeel=com.sun.java.swing.plaf.windows.WindowsLookAndFeel,g;" \ |
152 perl -pi -e "s,lookAndFeel=.*,lookAndFeel=com.sun.java.swing.plaf.windows.WindowsLookAndFeel,g;" \ |
144 "$TMP/$ISABELLE_NAME/src/Tools/jEdit/dist/properties/jEdit.props" |
153 "$ISABELLE_TARGET/src/Tools/jEdit/dist/properties/jEdit.props" |
145 |
154 |
146 cp "$TMP/windows_app/Isabelle.exe" "$ISABELLE_TARGET/${ISABELLE_NAME}.exe" |
155 cp "$TMP/windows_app/Isabelle.exe" "$ISABELLE_TARGET/${ISABELLE_NAME}.exe" |
147 cp "$ISABELLE_HOME/Admin/Windows/Cygwin/Cygwin-Setup.bat" \ |
156 cp "$ISABELLE_HOME/Admin/Windows/Cygwin/Cygwin-Setup.bat" \ |
148 "$ISABELLE_HOME/Admin/Windows/Cygwin/Cygwin-Latex-Setup.bat" \ |
157 "$ISABELLE_HOME/Admin/Windows/Cygwin/Cygwin-Latex-Setup.bat" \ |
149 "$ISABELLE_HOME/Admin/Windows/Cygwin/Cygwin-Terminal.bat" "$ISABELLE_TARGET" |
158 "$ISABELLE_HOME/Admin/Windows/Cygwin/Cygwin-Terminal.bat" "$ISABELLE_TARGET" |