--- /dev/null
+#!/bin/bash
+
+function argeo_builder_variables() {
+ export ARTIFACT_DIR=$1
+ export ARTIFACT=${ARTIFACT_DIR##*/}
+ export GROUP_DIR=$(dirname "$ARTIFACT_DIR")
+ export GROUP=${GROUP_DIR##*/}
+ export SOURCE_DIR=${ARTIFACT_DIR/specs/sources}
+ export BUILD_DIR=${ARTIFACT_DIR/specs/build}
+}
+
+function argeo_builder_download_eclipse() {
+ ECLIPSE_MIRROR=http://ftp.halifax.rwth-aachen.de/eclipse
+ ECLIPSE_FILE=$1
+ ECLIPSE_URL=$ECLIPSE_MIRROR$ECLIPSE_FILE
+ mkdir -p $SOURCE_DIR
+ (cd $SOURCE_DIR && wget --timestamping $ECLIPSE_URL)
+}
+