--- a/src/Tools/jEdit/lib/Tools/jedit Mon May 10 20:09:47 2021 +0200
+++ b/src/Tools/jEdit/lib/Tools/jedit Mon May 10 22:18:12 2021 +0200
@@ -4,7 +4,6 @@
#
# DESCRIPTION: Isabelle/jEdit interface wrapper
-
## sources
declare -a SOURCES0=(
@@ -80,14 +79,7 @@
"src/Tools/jEdit/src/actions.xml"
"src/Tools/jEdit/src/dockables.xml"
"src/Tools/jEdit/src/Isabelle.props"
- "src/Tools/jEdit/src/jEdit.props"
"src/Tools/jEdit/src/services.xml"
- "src/Tools/jEdit/src/modes/isabelle-ml.xml"
- "src/Tools/jEdit/src/modes/isabelle-news.xml"
- "src/Tools/jEdit/src/modes/isabelle-options.xml"
- "src/Tools/jEdit/src/modes/isabelle-root.xml"
- "src/Tools/jEdit/src/modes/isabelle.xml"
- "src/Tools/jEdit/src/modes/sml.xml"
)
@@ -334,51 +326,10 @@
classpath "$TARGET_JAR0"
init_resources "${RESOURCES[@]}"
- cp src/Tools/jEdit/src/jEdit.props "$TARGET_DIR/properties/."
- cp -p -R -f "src/Tools/jEdit/src/modes/." "$TARGET_DIR/modes/."
-
- perl -i -e 'while (<>) {
- if (m/FILE="ml.xml"/ or m/FILE_NAME_GLOB="...sml,ml."/ or m/FILE_NAME_GLOB="..ftl"/) { }
- elsif (m/NAME="javacc"/) {
- print qq!<MODE NAME="isabelle" FILE="isabelle.xml" FILE_NAME_GLOB="{*.thy,ROOT0.ML,ROOT.ML}"/>\n\n!;
- print qq!<MODE NAME="isabelle-ml" FILE="isabelle-ml.xml" FILE_NAME_GLOB="*.ML"/>\n\n!;
- print qq!<MODE NAME="isabelle-news" FILE="isabelle-news.xml"/>\n\n!;
- print qq!<MODE NAME="isabelle-options" FILE="isabelle-options.xml"/>\n\n!;
- print qq!<MODE NAME="isabelle-root" FILE="isabelle-root.xml" FILE_NAME_GLOB="ROOT"/>\n\n!;
- print;
- }
- elsif (m/NAME="sqr"/) {
- print qq!<MODE NAME="sml" FILE="sml.xml" FILE_NAME_GLOB="*.{sml,sig}"/>\n\n!;
- print;
- }
- else { print; }
- }' "$TARGET_DIR/modes/catalog"
-
- (
- cd "$TARGET_DIR"
- isabelle_jdk jar -x -f jedit.jar
- cp "$ISABELLE_HOME/lib/logo/isabelle_transparent-32.gif" \
- "org/gjt/sp/jedit/icons/themes/classic/32x32/apps/isabelle.gif" || failed
- cp "$ISABELLE_HOME/lib/logo/isabelle_transparent-32.gif" \
- "org/gjt/sp/jedit/icons/themes/tango/32x32/apps/isabelle.gif" || failed
- isabelle_jdk jar -c -f jedit.jar -e org.gjt.sp.jedit.jEdit org || failed
- rm -rf META-INF org
- )
-
compile_sources "${SOURCES[@]}"
make_jar "$TARGET_JAR"
target_shasum > "$TARGET_SHASUM"
-
- cp "$ISABELLE_JEDIT_BUILD_HOME/doc/jedit5.6.0manual-a4.pdf" "$TARGET_DIR/doc/jedit-manual.pdf"
- cp "$TARGET_DIR/doc/CHANGES.txt" "$TARGET_DIR/doc/jedit-changes"
- cat > "$TARGET_DIR/doc/Contents" <<EOF
-Original jEdit Documentation
- jedit-manual jEdit 5.6 User's Guide
- jedit-changes jEdit 5.6 Version History
-
-EOF
-
fi