ppl: unbreak build: needs gmpxx.

This commit is contained in:
Juan RP 2015-04-16 16:38:36 +02:00
parent c9195fd51a
commit c05cfe53e2

View file

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