src/Tools/jEdit/makedist
changeset 34419 30e49efdd4e3
parent 34414 de921b3cb263
child 34461 2dd8ced4f2ae
equal deleted inserted replaced
34418:5f25eb86c6a0 34419:30e49efdd4e3
    89 [ "$SCALA_HOME/lib/scala-library.jar" ] || fail "Bad Scala directory: $SCALA_HOME"
    89 [ "$SCALA_HOME/lib/scala-library.jar" ] || fail "Bad Scala directory: $SCALA_HOME"
    90 cp "$SCALA_HOME/lib/scala-library.jar" "$JEDIT/jars/"
    90 cp "$SCALA_HOME/lib/scala-library.jar" "$JEDIT/jars/"
    91 
    91 
    92 cp -R "$THIS/dist-template/." "$JEDIT/."
    92 cp -R "$THIS/dist-template/." "$JEDIT/."
    93 
    93 
       
    94 perl -i -e 'while (<>) { if (m/NAME="javacc"/) {
       
    95   print qq,<MODE NAME="isabelle" FILE="isabelle.xml" FILE_NAME_GLOB="*.thy"/>\n\n,; }
       
    96   print; }' "$JEDIT/modes/catalog"
       
    97 
    94 cp jars/Isabelle-jEdit.jar "$JEDIT/jars/isabelle.jar"
    98 cp jars/Isabelle-jEdit.jar "$JEDIT/jars/isabelle.jar"
    95 cp jars/lib/Pure.jar "$JEDIT/jars/isabelle-Pure.jar"
    99 cp jars/lib/Pure.jar "$JEDIT/jars/isabelle-Pure.jar"
    96 cp jars/lib/core-renderer.jar "$JEDIT/jars/"
   100 cp jars/lib/core-renderer.jar "$JEDIT/jars/"
    97 cp jars/lib/ErrorList.jar "$JEDIT/jars/"
   101 cp jars/lib/ErrorList.jar "$JEDIT/jars/"
    98 cp jars/lib/SideKick.jar "$JEDIT/jars/"
   102 cp jars/lib/SideKick.jar "$JEDIT/jars/"