--- a/src/Tools/jEdit/jedit_build/Tools/jedit Wed Jun 08 15:56:57 2011 +0200
+++ b/src/Tools/jEdit/jedit_build/Tools/jedit Wed Jun 08 16:19:22 2011 +0200
@@ -120,9 +120,16 @@
cp -a "${JEDIT_JARS[@]}" "${SCALA_JARS[@]}" "$ISABELLE_HOME/lib/classes/Pure.jar" \
"$TARGET_DIR/jars/." || failed
+ declare -a JVM_SOURCES=()
+ for SOURCE in "${SOURCES[@]}"
+ do
+ JVM_SOURCES["${#JVM_SOURCES[@]}"]="$(jvmpath "$SOURCE")"
+ done
+
CLASSPATH="$(jvmpath "$CLASSPATH")"
+
"$SCALA_HOME/bin/scalac" -unchecked -deprecation \
- -d "$TARGET_DIR/classes" -target:jvm-1.5 "${SOURCES[@]}" || \
+ -d "$(jvmpath "$TARGET_DIR/classes")" -target:jvm-1.5 "${JVM_SOURCES[@]}" || \
fail "Failed to compile sources"
cd "$TARGET_DIR/classes"