equal
deleted
inserted
replaced
55 for SRC in "${SOURCES[@]}" |
55 for SRC in "${SOURCES[@]}" |
56 do |
56 do |
57 ARGS["${#ARGS[@]}"]="$(platform_path "$ISABELLE_HOME/src/Tools/Setup/isabelle/setup/$SRC")" |
57 ARGS["${#ARGS[@]}"]="$(platform_path "$ISABELLE_HOME/src/Tools/Setup/isabelle/setup/$SRC")" |
58 done |
58 done |
59 |
59 |
60 isabelle_jdk javac -d "$TARGET_DIR" "${ARGS[@]}" || \ |
60 isabelle_jdk javac -d "$TARGET_DIR" -classpath "$(platform_path "$ISABELLE_CLASSPATH")" "${ARGS[@]}" || \ |
61 fail "Failed to compile sources" |
61 fail "Failed to compile sources" |
62 |
62 |
63 isabelle_jdk jar -c -f "$(platform_path "$TARGET_DIR/isabelle_setup.jar")" \ |
63 isabelle_jdk jar -c -f "$(platform_path "$TARGET_DIR/isabelle_setup.jar")" \ |
64 -e "isabelle.setup.Setup" -C "$TARGET_DIR" isabelle || fail "Failed to produce jar" |
64 -e "isabelle.setup.Setup" -C "$TARGET_DIR" isabelle || fail "Failed to produce jar" |
65 |
65 |