void-packages/srcpkgs/ppl/template
Juergen Buchmueller d85f318170 ppl: update to 1.2
This fixes the gcc6 build
2016-09-25 18:06:25 +02:00

33 lines
826 B
Bash

# Template file for 'ppl'
pkgname=ppl
version=1.2
revision=1
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=6bc36dd4a87abc429d8f9c00c53e334e5041a9b0857cfc00dbad6ef14294aac8
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
}
}