# Template file for 'isl'
pkgname=isl
version=0.12
revision=1
build_style=gnu-configure
makedepends="gmp-devel"
short_desc="Integer Set Library"
maintainer="Juan RP <xtraeme@gmail.com>"
homepage="http://www.kotnet.org/~skimo/isl/"
license="LGPL-2.1"
distfiles="http://www.kotnet.org/~skimo/isl/isl-$version.tar.lzma"
checksum=6a7f72cbbbbd3f71458373e980c74f87b1fe278a3972cfc53f1c8788bb2ec449

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

isl-devel_package() {
	depends="gmp-devel isl>=$version"
	short_desc+=" - development files"
	pkg_install() {
		vmove usr/include
		vmove usr/lib/pkgconfig
		vmove "usr/lib/*.a"
		vmove "usr/lib/*.so"
	}
}

isl_package() {
	pkg_install() {
		vmove usr
	}
}
