2009-11-14 17:33:43 +00:00
|
|
|
# Template file for 'ppl'
|
|
|
|
pkgname=ppl
|
2012-07-01 13:55:22 +00:00
|
|
|
version=1.0
|
2013-02-18 12:57:36 +00:00
|
|
|
revision=2
|
2012-07-01 13:55:22 +00:00
|
|
|
subpackages="ppl-devel"
|
2011-10-24 12:14:47 +00:00
|
|
|
build_style=gnu-configure
|
2012-07-01 13:55:22 +00:00
|
|
|
configure_args="--enable-interfaces=c,cxx"
|
2013-03-24 09:21:58 +00:00
|
|
|
hostmakedepends="automake"
|
|
|
|
makedepends="gmp-devel>=5.1.1"
|
2009-11-14 17:33:43 +00:00
|
|
|
short_desc="The Parma Polyhedra Library"
|
2012-07-01 13:55:22 +00:00
|
|
|
homepage="http://bugseng.com/products/ppl"
|
|
|
|
license="GPL-3"
|
2009-11-14 17:33:43 +00:00
|
|
|
maintainer="Juan RP <xtraeme@gmail.com>"
|
2012-07-01 13:55:22 +00:00
|
|
|
distfiles="http://bugseng.com/products/ppl/download/ftp/releases/${version}/ppl-${version}.tar.gz"
|
|
|
|
checksum=fd346687482ad51c1e98eb260bd61dd5a35a0cff5f580404380c88b0089a71b4
|
2013-02-18 12:57:36 +00:00
|
|
|
|
|
|
|
disable_debug=yes
|
|
|
|
|
|
|
|
pre_configure() {
|
|
|
|
autoreconf -fi
|
|
|
|
}
|
2009-11-14 17:33:43 +00:00
|
|
|
|
2012-02-10 14:55:08 +00:00
|
|
|
post_install() {
|
|
|
|
rm -rf ${DESTDIR}/usr/share/doc
|
|
|
|
}
|