3 if [ -z "$JAVA_HOME" ]; then
4 export JAVA_HOME
=/usr
/lib
/jvm
/java-1.6
.0
6 JAVA
=$JAVA_HOME/bin
/java
8 function argeo_builder_variables
() {
10 export ARTIFACT
=${ARTIFACT_DIR##*/}
11 export GROUP_DIR
=$
(dirname "$ARTIFACT_DIR")
12 export GROUP
=${GROUP_DIR##*/}
13 export SOURCE_DIR
=${ARTIFACT_DIR/specs/sources}
14 export BUILD_DIR
=${ARTIFACT_DIR/specs/build}
15 export ROOT_DIR
=`cd $ARTIFACT_DIR/../../.. && pwd`
16 export CACHE_BASE
=$ROOT_DIR/cache
17 CACHE_DIR
=${GROUP_DIR/specs/cache}
20 function argeo_builder_download_eclipse
() {
21 MIRROR
=http
://ftp.halifax.rwth-aachen.de
/eclipse
25 (cd $SOURCE_DIR && wget
--timestamping $URL)
28 function argeo_builder_download_apache
() {
29 MIRROR
=http
://apache.openmirror.de
33 (cd $SOURCE_DIR && wget
--timestamping $URL)
37 $JAVA -jar $CACHE_BASE/bootstrap
/ant-launcher.jar
$1
40 function push_to_cache
() {
45 function reset_dir
() {