--- a/src/Pure/build-jars Thu Sep 12 13:23:54 2013 +0200
+++ b/src/Pure/build-jars Thu Sep 12 13:48:17 2013 +0200
@@ -143,7 +143,7 @@
## build
TARGET_DIR="$ISABELLE_HOME/lib/classes"
-TARGET="$TARGET_DIR/ext/Pure.jar"
+TARGET="$TARGET_DIR/Pure.jar"
declare -a PIDE_SOURCES=()
declare -a PURE_SOURCES=()
@@ -210,7 +210,7 @@
fi
) || exit "$?"
- mkdir -p "$TARGET_DIR/ext" || fail "Failed to create directory $TARGET_DIR/ext"
+ mkdir -p "$TARGET_DIR" || fail "Failed to create directory $TARGET_DIR"
pushd classes >/dev/null
@@ -225,13 +225,10 @@
cp "$SCALA_HOME/lib/scala-compiler.jar" \
"$SCALA_HOME/lib/scala-library.jar" \
- "$SCALA_HOME/lib/scala-swing.jar" "$TARGET_DIR/ext"
-
- [ -e "$SCALA_HOME/lib/scala-actors.jar" ] && \
- cp "$SCALA_HOME/lib/scala-actors.jar" "$TARGET_DIR/ext"
-
- [ -e "$SCALA_HOME/lib/scala-reflect.jar" ] && \
- cp "$SCALA_HOME/lib/scala-reflect.jar" "$TARGET_DIR/ext"
+ "$SCALA_HOME/lib/scala-swing.jar" \
+ "$SCALA_HOME/lib/scala-actors.jar" \
+ "$SCALA_HOME/lib/scala-reflect.jar" \
+ "$TARGET_DIR"
popd >/dev/null