equal
deleted
inserted
replaced
71 declare -a ARGS=("-Xlint:unchecked") |
71 declare -a ARGS=("-Xlint:unchecked") |
72 echo -n >> "$BUILD_PROPS" "sources =" |
72 echo -n >> "$BUILD_PROPS" "sources =" |
73 |
73 |
74 for SRC in "${SOURCES[@]}" |
74 for SRC in "${SOURCES[@]}" |
75 do |
75 do |
76 ARGS["${#ARGS[@]}"]="$(platform_path "$ISABELLE_HOME/src/Tools/Setup/isabelle/setup/$SRC")" |
76 ARGS["${#ARGS[@]}"]="$(platform_path "$ISABELLE_HOME/src/Tools/Setup/src/$SRC")" |
77 cp "$ISABELLE_HOME/src/Tools/Setup/isabelle/setup/$SRC" "$SOURCE_DIR" |
77 cp "$ISABELLE_HOME/src/Tools/Setup/src/$SRC" "$SOURCE_DIR" |
78 echo >> "$BUILD_PROPS" " \\" |
78 echo >> "$BUILD_PROPS" " \\" |
79 echo -n >> "$BUILD_PROPS" " src/$SRC" |
79 echo -n >> "$BUILD_PROPS" " src/$SRC" |
80 done |
80 done |
81 |
81 |
82 echo >> "$BUILD_PROPS" |
82 echo >> "$BUILD_PROPS" |