void-packages/srcpkgs/ppl/template

28 lines
683 B
Plaintext
Raw Normal View History

# Template file for 'ppl'
pkgname=ppl
2012-07-01 15:55:22 +02:00
version=1.0
revision=2
2012-07-01 15:55:22 +02:00
subpackages="ppl-devel"
build_style=gnu-configure
2012-07-01 15:55:22 +02:00
configure_args="--enable-interfaces=c,cxx"
makedepends="gmp-devel>=5.1.1"
short_desc="The Parma Polyhedra Library"
2012-07-01 15:55:22 +02:00
homepage="http://bugseng.com/products/ppl"
license="GPL-3"
maintainer="Juan RP <xtraeme@gmail.com>"
2012-07-01 15:55:22 +02:00
distfiles="http://bugseng.com/products/ppl/download/ftp/releases/${version}/ppl-${version}.tar.gz"
checksum=fd346687482ad51c1e98eb260bd61dd5a35a0cff5f580404380c88b0089a71b4
disable_debug=yes
if [ "$XBPS_CROSS_BUILD" ]; then
hostmakedepends="libtool automake"
pre_configure() {
autoreconf -fi
}
fi
post_install() {
rm -rf ${DESTDIR}/usr/share/doc
}