polly/lib/External/update-isl.sh

   1 #! /bin/sh
   2 set -e
   3
   4 # Replace the content of the isl directory with a fresh clone from
   5 # http://repo.or.cz/isl.git
   6
   7 SCRIPTPATH=`realpath --no-symlinks $(dirname $0)`
   8 ISL_SOURCE_DIR="${SCRIPTPATH}/isl"
   9
  10 TMPDIR=`mktemp -d --tmpdir isl-XXX`
  11 GITDIR=$TMPDIR/src
  12 BUILDDIR=$TMPDIR/build
  13
  14 git clone --recursive http://repo.or.cz/isl.git $GITDIR
  15 if [ -n "$1" ]; then
  16   (cd $GITDIR && git checkout $1)
  17   (cd $GITDIR && git submodule update --recursive)
  18 fi
  19 (cd $GITDIR && ./autogen.sh)
  20 mkdir -p $BUILDDIR
  21 (cd $BUILDDIR && $GITDIR/configure --with-int=imath-32 --with-clang=system)
  22 echo "#define GIT_HEAD_ID \"\"" > $GITDIR/gitversion.h
  23 (cd $BUILDDIR && make -j dist)
  24
  25 for DISTFILE in "$BUILDDIR/isl*.tar.gz"; do break; done
  26
  27 cp $ISL_SOURCE_DIR/include/isl/isl-noexceptions.h $TMPDIR/isl-noexceptions.h
  28
  29 rm -rf $ISL_SOURCE_DIR
  30 mkdir -p $ISL_SOURCE_DIR
  31 tar -xf $DISTFILE --strip-components=1 --directory $ISL_SOURCE_DIR
  32 cp $TMPDIR/isl-noexceptions.h $ISL_SOURCE_DIR/include/isl
  33
  34 rm -rf $TMPDIR