# Template file for 'isl16'.
pkgname=isl16
version=0.16
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=3899e68047d0a18db5a7d73bdabcbe9246865e73e86efbd95387817d342fd554

post_install() {
	# Remove gdb python files.
	rm -f ${DESTDIR}/usr/lib/*.py
}

isl16-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"
	}
}
