equal
deleted
inserted
replaced
226 |
226 |
227 cp -p -R -f "$ISABELLE_JEDIT_BUILD_HOME/contrib/$ISABELLE_JEDIT_BUILD_VERSION/." dist/. |
227 cp -p -R -f "$ISABELLE_JEDIT_BUILD_HOME/contrib/$ISABELLE_JEDIT_BUILD_VERSION/." dist/. |
228 cp -p -R -f "${RESOURCES[@]}" dist/classes/. |
228 cp -p -R -f "${RESOURCES[@]}" dist/classes/. |
229 cp src/jEdit.props dist/properties/. |
229 cp src/jEdit.props dist/properties/. |
230 cp -p -R -f src/modes/. dist/modes/. |
230 cp -p -R -f src/modes/. dist/modes/. |
231 cp -p -R -f "$SCALA_HOME/misc/scala-tool-support/jedit/modes/scala.xml" dist/modes/. |
|
232 |
231 |
233 perl -i -e 'while (<>) { |
232 perl -i -e 'while (<>) { |
234 if (m/NAME="javacc"/) { |
233 if (m/NAME="javacc"/) { |
235 print qq,<MODE NAME="isabelle" FILE="isabelle.xml" FILE_NAME_GLOB="*.thy"/>\n\n,; |
234 print qq,<MODE NAME="isabelle" FILE="isabelle.xml" FILE_NAME_GLOB="*.thy"/>\n\n,; |
236 print qq,<MODE NAME="isabelle-session" FILE="isabelle-session.xml" FILE_NAME_GLOB="session.root"/>\n\n,; } |
235 print qq,<MODE NAME="isabelle-session" FILE="isabelle-session.xml" FILE_NAME_GLOB="session.root"/>\n\n,; } |