# Template file for 'isl'
pkgname=isl
version=0.11.1
revision=2
build_style=gnu-configure
subpackages="isl-devel"
makedepends="gmp-devel"
crossmakedepends="${makedepends}"
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=f85e2c521daf2c53e502d37fc6f5535af03bae1fdb6beb5dbf898e76cf310f25

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