#!/bin/bash

cd $BLDDIR
rm -rf cloog-ppl-$CLOOG_PPL_VER
tar -xf $SRCDIR/cloog-ppl-$CLOOG_PPL_VER.tar.gz
cd cloog-ppl-$CLOOG_PPL_VER

cp configure{,.orig}
sed "/LD_LIBRARY_PATH=/d" configure.orig > configure
LDFLAGS="-Wl,-rpath,/cross-tools/lib" \
    ./configure --prefix=/cross-tools --enable-shared --with-bits=gmp \
    --with-gmp=/cross-tools --with-ppl=/cross-tools
make
make install

cd $ROOT
