From ecf41a01b58a549d2060df852b09ce824ec9ac7f Mon Sep 17 00:00:00 2001
From: Juan RP <xtraeme@gmail.com>
Date: Thu, 28 Oct 2010 00:41:40 +0200
Subject: [PATCH] ppl: update to 0.11, bump abi_depends.

---
 srcpkgs/ppl/depends            |  2 +-
 srcpkgs/ppl/ppl-devel.template | 16 +++++-----------
 srcpkgs/ppl/template           | 16 ++++------------
 3 files changed, 10 insertions(+), 24 deletions(-)

diff --git a/srcpkgs/ppl/depends b/srcpkgs/ppl/depends
index 663ebbb7f5..b2827314d7 100644
--- a/srcpkgs/ppl/depends
+++ b/srcpkgs/ppl/depends
@@ -1,2 +1,2 @@
-abi_depends=">=0.10.2"
+abi_depends=">=0.11"
 api_depends="${abi_depends}"
diff --git a/srcpkgs/ppl/ppl-devel.template b/srcpkgs/ppl/ppl-devel.template
index 8fcdfa2f73..4d3d7735d7 100644
--- a/srcpkgs/ppl/ppl-devel.template
+++ b/srcpkgs/ppl/ppl-devel.template
@@ -8,18 +8,12 @@ long_desc="${long_desc}
 Add_dependency run gmp-devel
 Add_dependency run ppl
 
-revision=2
-
 do_install()
 {
-	mkdir -p ${DESTDIR}/usr/share/man/man1 ${DESTDIR}/usr/bin \
-		${DESTDIR}/usr/lib
-	mv ${SRCPKGDESTDIR}/usr/bin/ppl-config ${DESTDIR}/usr/bin
-	mv ${SRCPKGDESTDIR}/usr/share/man/man1/ppl-config.* \
-		${DESTDIR}/usr/share/man/man1
-	mv ${SRCPKGDESTDIR}/usr/share/man/man3 ${DESTDIR}/usr/share/man
-	mv ${SRCPKGDESTDIR}/usr/include ${DESTDIR}/usr
+	install -d ${DESTDIR}/usr/lib
+
+	for d in bin include share; do
+		mv ${SRCPKGDESTDIR}/usr/${d} ${DESTDIR}/usr
+	done
 	mv ${SRCPKGDESTDIR}/usr/lib/*.a ${DESTDIR}/usr/lib
-	mv ${SRCPKGDESTDIR}/usr/share/aclocal ${DESTDIR}/usr/share
-	mv ${SRCPKGDESTDIR}/usr/share/doc ${DESTDIR}/usr/share
 }
diff --git a/srcpkgs/ppl/template b/srcpkgs/ppl/template
index 76d8d8c8b3..039cb7739b 100644
--- a/srcpkgs/ppl/template
+++ b/srcpkgs/ppl/template
@@ -1,16 +1,14 @@
 # Template file for 'ppl'
 pkgname=ppl
-version=0.10.2
-revision=2
-distfiles="http://www.cs.unipr.it/ppl/Download/ftp/releases/${version}/ppl-${version}.tar.gz"
+version=0.11
+distfiles="http://www.cs.unipr.it/ppl/Download/ftp/releases/${version}/ppl-${version}.tar.bz2"
 build_style=gnu_configure
 configure_args="--disable-rpath --enable-interfaces=c,cxx
- --with-libgmp-prefix=${XBPS_MASTERDIR}/usr
- --with-libgmpxx-prefix=${XBPS_MASTERDIR}/usr
+ --with-bgmp-prefix=${XBPS_MASTERDIR}/usr
  --with-gnu-ld --disable-debugging"
 short_desc="The Parma Polyhedra Library"
 maintainer="Juan RP <xtraeme@gmail.com>"
-checksum=d0389838575a7e003542fe996cce54bb0405f9a011424ba7384d12a634219e52
+checksum=f4f28b75c95ed7f7adf8e5387ca4b012d9405ce0bc098629ea1653d711028cbc
 long_desc="
  The Parma Polyhedra Library (PPL) provides numerical abstractions especially
  targeted at applications in the field of analysis and verification of complex
@@ -31,9 +29,3 @@ Add_dependency run glibc
 Add_dependency run libstdc++
 Add_dependency run gmp
 Add_dependency build gmp-devel
-
-pre_configure()
-{
-	# 5.0.1 compatibility
-	sed -i -e "s|__GMP_BITS_PER_MP_LIMB|GMP_LIMB_BITS|g" ${wrksrc}/configure
-}