# Template file for 'ppl'
pkgname=ppl
version=1.1
revision=3
build_style=gnu-configure
configure_args="--enable-interfaces=c,cxx"
hostmakedepends="libtool automake"
makedepends="gmp-devel gmpxx-devel"
short_desc="The Parma Polyhedra Library"
homepage="http://bugseng.com/products/ppl"
license="GPL-3"
maintainer="Juan RP <xtraeme@voidlinux.eu>"
distfiles="http://bugseng.com/products/ppl/download/ftp/releases/${version}/ppl-${version}.tar.gz"
checksum=46f073c0626234f0b1a479356c0022fe5dc3c9cf10df1a246c9cde81f7cf284d

pre_configure() {
	autoreconf -fi
}
post_install() {
	rm -rf ${DESTDIR}/usr/share/doc
}

ppl-devel_package() {
	depends="ppl>=${version}_${revision}"
	short_desc+=" - development files"
	pkg_install() {
		for d in bin include share; do
			vmove usr/${d}
		done
		vmove usr/lib/*.a
		vmove usr/lib/*.so
	}
}
