2018-08-14 17:52:10 +00:00
|
|
|
# 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"
|
2019-01-05 19:56:55 +00:00
|
|
|
maintainer="Juan RP <xtraeme@voidlinux.org>"
|
2018-08-14 17:52:10 +00:00
|
|
|
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"
|
|
|
|
|
}
|
|
|
|
|
}
|
