31 lines
775 B
Bash
31 lines
775 B
Bash
# 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"
|
|
}
|
|
}
|