equal
deleted
inserted
replaced
51 mkdir -p "$TARGET_DIR/isabelle/setup" |
51 mkdir -p "$TARGET_DIR/isabelle/setup" |
52 |
52 |
53 declare -a ARGS=("-Xlint:unchecked") |
53 declare -a ARGS=("-Xlint:unchecked") |
54 for SRC in "${SOURCES[@]}" |
54 for SRC in "${SOURCES[@]}" |
55 do |
55 do |
56 ARGS["${#ARGS[@]}"]="$(platform_path "$ISABELLE_HOME/src/Tools/Setup/src/isabelle/setup/$SRC")" |
56 ARGS["${#ARGS[@]}"]="$(platform_path "$ISABELLE_HOME/src/Tools/Setup/isabelle/setup/$SRC")" |
57 done |
57 done |
58 |
58 |
59 isabelle_jdk javac -d "$TARGET_DIR" "${ARGS[@]}" || \ |
59 isabelle_jdk javac -d "$TARGET_DIR" "${ARGS[@]}" || \ |
60 fail "Failed to compile sources" |
60 fail "Failed to compile sources" |
61 |
61 |