void-packages/srcpkgs/isl15/template
2016-11-27 18:37:02 +01:00

31 lines
774 B
Bash

# Template file for 'isl15'
pkgname=isl15
version=0.16.1
revision=1
wrksrc="isl-${version}"
bootstrap=yes
build_style=gnu-configure
makedepends="gmp-devel"
short_desc="Integer Set Library"
maintainer="Juan RP <xtraeme@voidlinux.eu>"
homepage="http://freecode.com/projects/isl"
license="LGPL-2.1"
distfiles="http://isl.gforge.inria.fr/isl-${version}.tar.bz2"
checksum=412538bb65c799ac98e17e8cfcdacbb257a57362acfaaff254b0fcae970126d2
post_install() {
# Remove gdb python files.
rm -f ${DESTDIR}/usr/lib/*.py
}
isl15-devel_package() {
depends="${makedepends} ${sourcepkg}>=${version}_${revision}"
short_desc+=" - development files"
conflicts="isl-devel>=0"
pkg_install() {
vmove usr/include
vmove usr/lib/pkgconfig
vmove "usr/lib/*.a"
vmove "usr/lib/*.so"
}
}