#!/bin/bash

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

./configure --prefix=/tools \
    --build=${CHFS_HOST} --host=${CHFS_TARGET} \
    --enable-interfaces="c,cxx" --enable-shared --disable-optimization \
    --with-libgmp-prefix=/tools --with-libgmpxx-prefix=/tools

echo '#define PPL_GMP_SUPPORTS_EXCEPTIONS 1' >> confdefs.h

make
make install

cd $ROOT
