#! /bin/sh
set -e
SCRIPTPATH=`realpath --no-symlinks $(dirname $0)`
ISL_SOURCE_DIR="${SCRIPTPATH}/isl"
GITDIR=`mktemp -d --tmpdir isl-XXX`
git clone --recursive http://repo.or.cz/isl.git $GITDIR
if [ -n "$1" ]; then
(cd $GITDIR && git checkout --detach $1)
(cd $GITDIR && git submodule update --recursive)
fi
(cd $GITDIR && rm -rf m4 autogen.sh configure.ac)
(cd $GITDIR && find -name "Makefile.am" -execdir rm -f '{}' \;)
(cd $GITDIR && git describe > $GITDIR/GIT_HEAD_ID)
cp $ISL_SOURCE_DIR/include/isl/isl-noexceptions.h $GITDIR/include/isl/isl-noexceptions.h
rm -rf $GITDIR/.git
rm -rf $GITDIR/imath/.git
rm -rf $ISL_SOURCE_DIR
mv -T $GITDIR $ISL_SOURCE_DIR
rm -rf $TMPDIR