2012-07-01 15:56:38 +02:00
|
|
|
# Template file for 'isl'
|
|
|
|
|
pkgname=isl
|
2012-12-13 09:17:11 +01:00
|
|
|
version=0.11.1
|
2013-02-18 14:14:59 +01:00
|
|
|
revision=2
|
2012-07-01 15:56:38 +02:00
|
|
|
build_style=gnu-configure
|
2013-02-18 14:14:59 +01:00
|
|
|
makedepends="gmp-devel"
|
2012-07-01 15:56:38 +02:00
|
|
|
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"
|
2012-12-13 09:17:11 +01:00
|
|
|
checksum=f85e2c521daf2c53e502d37fc6f5535af03bae1fdb6beb5dbf898e76cf310f25
|
2012-07-01 15:56:38 +02:00
|
|
|
|
|
|
|
|
post_install() {
|
|
|
|
|
# Remove gdb python files.
|
|
|
|
|
rm -f ${DESTDIR}/usr/lib/*.py
|
|
|
|
|
}
|
2013-04-11 09:52:59 +02:00
|
|
|
|
|
|
|
|
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"
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
isl_package() {
|
|
|
|
|
pkg_install() {
|
|
|
|
|
vmove usr
|
|
|
|
|
}
|
|
|
|
|
}
|
