#!/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 -v configure{,.orig}
sed "/LD_LIBRARY_PATH=/d" configure.orig > configure

./configure --prefix=/tools \
    --build=${CHFS_HOST} --host=${CHFS_TARGET} --with-bits=gmp \
    --with-ppl=/tools --with-gmp=/tools
make
make install

cd $ROOT
