Cross Reference: /seL4-l4v-master/isabelle/src/Tools/jEdit/lib/Tools/jedit

276 TARGET_DIR="src/Tools/jEdit/dist"
277 TARGET_JAR0="$TARGET_DIR/jars/Isabelle-jEdit-base.jar"
278 TARGET_JAR="$TARGET_DIR/jars/Isabelle-jEdit.jar"
279 TARGET_SHASUM="$TARGET_DIR/Isabelle-jEdit.shasum"
281 declare -a TARGET_DEPS=("lib/classes/Pure.jar" "$TARGET_DIR/jedit.jar")
284   TARGET_DEPS["${#TARGET_DEPS[@]}"]="$TARGET_DIR/jars/$DEP"
295   rm -rf "$ISABELLE_HOME/$TARGET_DIR"
303 BUILD_DIR="$TARGET_DIR/build"
342   mkdir -p "$TARGET_DIR" || failed
344   cp -p -R "$ISABELLE_JEDIT_BUILD_HOME/contrib/$ISABELLE_JEDIT_BUILD_VERSION/." "$TARGET_DIR/."
348     cp -p "$ISABELLE_JEDIT_BUILD_HOME/contrib/$DEP" "$TARGET_DIR/jars/."
357   cp src/Tools/jEdit/src/jEdit.props "$TARGET_DIR/properties/."
358   cp -p -R -f "src/Tools/jEdit/src/modes/." "$TARGET_DIR/modes/."
375   }' "$TARGET_DIR/modes/catalog"
378     cd "$TARGET_DIR"
393   cp "$ISABELLE_JEDIT_BUILD_HOME/doc/jedit5.5.0manual-a4.pdf" "$TARGET_DIR/doc/jedit-manual.pdf"
394   cp "$TARGET_DIR/doc/CHANGES.txt" "$TARGET_DIR/doc/jedit-changes"
395   cat > "$TARGET_DIR/doc/Contents" <<EOF