From ffb6493ca0927bdad24d31f637d4a3cbb09416a8 Mon Sep 17 00:00:00 2001
From: Juan RP <xtraeme@gmail.com>
Date: Mon, 29 Dec 2014 18:22:56 +0100
Subject: [PATCH] ppl: rebuild against gmp>=6.0.0_2 (for gmpxx).

---
 srcpkgs/ppl/template | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/srcpkgs/ppl/template b/srcpkgs/ppl/template
index 1c000f9fab3..0f8910a454c 100644
--- a/srcpkgs/ppl/template
+++ b/srcpkgs/ppl/template
@@ -1,11 +1,11 @@
 # Template file for 'ppl'
 pkgname=ppl
 version=1.1
-revision=1
+revision=2
 build_style=gnu-configure
 configure_args="--enable-interfaces=c,cxx"
 hostmakedepends="libtool automake"
-makedepends="gmp-devel>=6"
+makedepends="gmp-devel>=6.0.0_2"
 short_desc="The Parma Polyhedra Library"
 homepage="http://bugseng.com/products/ppl"
 license="GPL-3"
@@ -16,7 +16,6 @@ checksum=46f073c0626234f0b1a479356c0022fe5dc3c9cf10df1a246c9cde81f7cf284d
 pre_configure() {
 	autoreconf -fi
 }
-
 post_install() {
 	rm -rf ${DESTDIR}/usr/share/doc
 }