void-packages/srcpkgs/ppl/template
Đoàn Trần Công Danh b446a37673 ppl: use Debian's mirror
The original distfiles is dead.
2021-11-25 17:15:50 +07:00

34 lines
894 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://www.bugseng.com/parma-polyhedra-library"
license="GPL-3"
maintainer="Orphaned <orphan@voidlinux.org>"
# distfiles="ftp://ftp.cs.unipr.it/pub/ppl/releases/${version}/ppl-${version}.tar.xz"
distfiles="${DEBIAN_SITE}/main/p/ppl/ppl_${version}.orig.tar.xz"
checksum=691f0d5a4fb0e206f4e132fc9132c71d6e33cdda168470d40ac3cf62340e9a60
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
}
}