src/Tools/jEdit/lib/Tools/jedit
changeset 65531 24544e3f183d
parent 65511 ea42dfd95ec8
child 65541 ae09b9f5980b
equal deleted inserted replaced
65530:09c00a304c00 65531:24544e3f183d
   348     for JAR in "$JEDIT_JAR" "${JEDIT_JARS[@]}" "$PURE_JAR"
   348     for JAR in "$JEDIT_JAR" "${JEDIT_JARS[@]}" "$PURE_JAR"
   349     do
   349     do
   350       classpath "$JAR"
   350       classpath "$JAR"
   351     done
   351     done
   352     export CLASSPATH="$(platform_path "$ISABELLE_CLASSPATH")"
   352     export CLASSPATH="$(platform_path "$ISABELLE_CLASSPATH")"
   353     exec "$SCALA_HOME/bin/scalac" $ISABELLE_SCALAC_OPTIONS -d dist/classes "${SOURCES[@]}"
   353     isabelle_scala scalac $ISABELLE_SCALAC_OPTIONS -d dist/classes "${SOURCES[@]}"
   354   ) || fail "Failed to compile sources"
   354   ) || fail "Failed to compile sources"
   355 
   355 
   356   cd dist/classes
   356   cd dist/classes
   357   isabelle_jdk jar cf "../jars/Isabelle-jEdit.jar" * || failed
   357   isabelle_jdk jar cf "../jars/Isabelle-jEdit.jar" * || failed
   358   cd ../..
   358   cd ../..