From c05cfe53e2fbbbb7f3c86011e69671dbbcc85f2e Mon Sep 17 00:00:00 2001
From: Juan RP <xtraeme@voidlinux.eu>
Date: Thu, 16 Apr 2015 16:38:36 +0200
Subject: [PATCH] ppl: unbreak build: needs gmpxx.

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

diff --git a/srcpkgs/ppl/template b/srcpkgs/ppl/template
index 7956a82c76..ba99973147 100644
--- a/srcpkgs/ppl/template
+++ b/srcpkgs/ppl/template
@@ -1,11 +1,11 @@
 # Template file for 'ppl'
 pkgname=ppl
 version=1.1
-revision=2
+revision=3
 build_style=gnu-configure
 configure_args="--enable-interfaces=c,cxx"
 hostmakedepends="libtool automake"
-makedepends="gmp-devel"
+makedepends="gmp-devel gmpxx-devel"
 short_desc="The Parma Polyhedra Library"
 homepage="http://bugseng.com/products/ppl"
 license="GPL-3"