# Template file for 'isl'
pkgname=isl
version=0.26
revision=1
build_style=gnu-configure
makedepends="gmp-devel"
short_desc="Integer Set Library"
maintainer="dkwo <npiazza@disroot.org>"
license="MIT"
homepage="https://libisl.sourceforge.io/"
changelog="https://repo.or.cz/isl.git/blob_plain/HEAD:/ChangeLog"
distfiles="${SOURCEFORGE_SITE}/libisl/isl-${version}.tar.bz2"
checksum=5eac8664e9d67be6bd0bee5085d6840b8baf738c06814df47eaf4166d9776436

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

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