2009-11-14 18:33:43 +01:00
|
|
|
# Template file for 'ppl'
|
|
|
|
pkgname=ppl
|
2014-06-01 21:09:50 +02:00
|
|
|
version=1.1
|
|
|
|
revision=1
|
2011-10-24 14:14:47 +02:00
|
|
|
build_style=gnu-configure
|
2012-07-01 15:55:22 +02:00
|
|
|
configure_args="--enable-interfaces=c,cxx"
|
2013-04-11 10:00:02 +02:00
|
|
|
hostmakedepends="libtool automake"
|
2014-06-01 21:09:50 +02:00
|
|
|
makedepends="gmp-devel>=6"
|
2009-11-14 18:33:43 +01:00
|
|
|
short_desc="The Parma Polyhedra Library"
|
2012-07-01 15:55:22 +02:00
|
|
|
homepage="http://bugseng.com/products/ppl"
|
|
|
|
license="GPL-3"
|
2009-11-14 18:33:43 +01:00
|
|
|
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"
|
2014-06-01 21:09:50 +02:00
|
|
|
checksum=46f073c0626234f0b1a479356c0022fe5dc3c9cf10df1a246c9cde81f7cf284d
|
2013-02-18 13:57:36 +01:00
|
|
|
|
2013-04-11 10:00:02 +02:00
|
|
|
pre_configure() {
|
|
|
|
autoreconf -fi
|
|
|
|
}
|
2009-11-14 18:33:43 +01:00
|
|
|
|
2012-02-10 15:55:08 +01:00
|
|
|
post_install() {
|
|
|
|
rm -rf ${DESTDIR}/usr/share/doc
|
|
|
|
}
|
2013-04-11 09:52:59 +02:00
|
|
|
|
|
|
|
ppl-devel_package() {
|
2014-06-01 21:09:50 +02:00
|
|
|
depends="ppl>=${version}_${revision}"
|
|
|
|
short_desc+=" - development files"
|
2013-04-11 09:52:59 +02:00
|
|
|
pkg_install() {
|
|
|
|
for d in bin include share; do
|
|
|
|
vmove usr/${d}
|
|
|
|
done
|
2014-06-01 21:09:50 +02:00
|
|
|
vmove usr/lib/*.a
|
|
|
|
vmove usr/lib/*.so
|
2013-04-11 09:52:59 +02:00
|
|
|
}
|
|
|
|
}
|