cloog-ppl:

- update to cloog-ppl-0.15.9
- build as shared lib
- build against gmp-4.3.2

packages/toolchain/math/cloog-ppl/build

@@ -18,20 +18,12 @@ LDFLAGS="-Wl,-rpath,$ROOT/$TOOLCHAIN/lib" \
              --build=$HOST_NAME \
              --target=$TARGET_NAME \
              --prefix=$ROOT/$TOOLCHAIN \
-             --disable-shared \
-             --enable-static \
+             --enable-shared \
+             --disable-static \
              --with-bits=gmp \
              --with-gmp="$ROOT/$TOOLCHAIN" \
              --with-ppl="$ROOT/$TOOLCHAIN" \
 
-make libcloog.la
-
-mkdir -p $ROOT/$TOOLCHAIN/lib
-  cp -PR .libs/libcloog.a $ROOT/$TOOLCHAIN/lib
-
-mkdir -p $ROOT/$TOOLCHAIN/include/cloog
-  cp -PR include/cloog/*.h $ROOT/$TOOLCHAIN/include/cloog
-
-# use the follow if cloog-ppl is fixed for use with gmp-5.0
-# make
-# make check #
+make
+make check
+make install

packages/toolchain/math/cloog-ppl/patches/use_ppl_0.11.diff

@@ -1,24 +0,0 @@
-diff -Naur cloog-ppl-0.15.8/configure cloog-ppl-0.15.8.patch/configure
---- cloog-ppl-0.15.8/configure	2010-02-11 19:05:30.000000000 +0100
-+++ cloog-ppl-0.15.8.patch/configure	2010-02-20 14:25:38.957509566 +0100
-@@ -12684,7 +12684,7 @@
- POLYHEDRAL_BACKEND=polylib
- 
- ppl_major_version=0
--ppl_minor_version=10
-+ppl_minor_version=11
- 
- 
- 
-diff -Naur cloog-ppl-0.15.8/configure.in cloog-ppl-0.15.8.patch/configure.in
---- cloog-ppl-0.15.8/configure.in	2010-02-11 19:05:31.000000000 +0100
-+++ cloog-ppl-0.15.8.patch/configure.in	2010-02-20 14:26:01.755539644 +0100
-@@ -311,7 +311,7 @@
- 
- dnl Checking for PPL
- ppl_major_version=0
--ppl_minor_version=10
-+ppl_minor_version=11
- AC_SUBST(PPL_CPPFLAGS)
- AC_SUBST(PPL_LDFLAGS)
- AC_SUBST(PPL_LIBS)

packages/toolchain/math/cloog-ppl/url

@@ -1 +1 @@
-ftp://gcc.gnu.org/pub/gcc/infrastructure/cloog-ppl-0.15.8.tar.gz
+ftp://gcc.gnu.org/pub/gcc/infrastructure/cloog-ppl-0.15.9.tar.gz