spring install script

compile.sh

#!/bin/sh

set -e

if [ $# -eq 0 ]; then
	echo Usage: $0 path/to/install [git revision]
	exit 1
fi

if [ $# -eq 2 ]; then
	REVISION='origin/master'
else
	REVISION=$2
fi

INSTPATH=$1
REPO=/tmp/spring

if [ -d $REPO/.git ]; then
	cd $REPO
	git fetch
else
	git clone git://github.com/spring/spring.git $REPO
fi
cd $REPO
git clean -f -d
git reset --hard $REVISION
cmake . -DCMAKE_INSTALL_PREFIX=$INSTPATH
make -j2 install-spring