src/Tools/jEdit/lib/Tools/jedit
changeset 57032 cf570f3ecdc1
parent 56906 408b526911f7
child 57086 db7c735e963d
     1.1 --- a/src/Tools/jEdit/lib/Tools/jedit	Wed May 21 10:13:12 2014 +0200
     1.2 +++ b/src/Tools/jEdit/lib/Tools/jedit	Wed May 21 12:03:46 2014 +0200
     1.3 @@ -194,12 +194,7 @@
     1.4  
     1.5  if [ -e "$ISABELLE_HOME/Admin/build" ]; then
     1.6    "$ISABELLE_TOOL" browser -b || exit $?
     1.7 -  if [ "$BUILD_JARS" = jars_fresh ]; then
     1.8 -    "$ISABELLE_TOOL" graphview -b -f || exit $?
     1.9 -  else
    1.10 -    "$ISABELLE_HOME/Admin/build" "$BUILD_JARS" || exit $?
    1.11 -    "$ISABELLE_TOOL" graphview -b || exit $?
    1.12 -  fi
    1.13 +  "$ISABELLE_HOME/Admin/build" "$BUILD_JARS" || exit $?
    1.14  fi
    1.15  
    1.16  PURE_JAR="$ISABELLE_HOME/lib/classes/Pure.jar"
    1.17 @@ -238,11 +233,11 @@
    1.18    else
    1.19      if [ -n "$ISABELLE_JEDIT_BUILD_HOME" ]; then
    1.20        declare -a DEPS=(
    1.21 -        "$JEDIT_JAR" "${JEDIT_JARS[@]}" "$PURE_JAR" "$GRAPHVIEW_JAR"
    1.22 +        "$JEDIT_JAR" "${JEDIT_JARS[@]}" "$PURE_JAR"
    1.23          "${SOURCES[@]}" "${RESOURCES[@]}"
    1.24        )
    1.25      elif [ -e "$ISABELLE_HOME/Admin/build" ]; then
    1.26 -      declare -a DEPS=("$PURE_JAR" "$GRAPHVIEW_JAR" "${SOURCES[@]}" "${RESOURCES[@]}")
    1.27 +      declare -a DEPS=("$PURE_JAR" "${SOURCES[@]}" "${RESOURCES[@]}")
    1.28      else
    1.29        declare -a DEPS=()
    1.30      fi
    1.31 @@ -316,7 +311,7 @@
    1.32      function stty() { :; }
    1.33      export -f stty
    1.34  
    1.35 -    for JAR in "$JEDIT_JAR" "${JEDIT_JARS[@]}" "$PURE_JAR" "$GRAPHVIEW_JAR"
    1.36 +    for JAR in "$JEDIT_JAR" "${JEDIT_JARS[@]}" "$PURE_JAR"
    1.37      do
    1.38        classpath "$JAR"
    1.39      done