isl: update to 0.12.

This commit is contained in:
Juan RP 2013-06-25 09:42:07 +02:00
parent 7160e5c172
commit 31933cb6d4

View file

@ -1,7 +1,7 @@
# Template file for 'isl' # Template file for 'isl'
pkgname=isl pkgname=isl
version=0.11.1 version=0.12
revision=2 revision=1
build_style=gnu-configure build_style=gnu-configure
makedepends="gmp-devel" makedepends="gmp-devel"
short_desc="Integer Set Library" short_desc="Integer Set Library"
@ -9,7 +9,7 @@ maintainer="Juan RP <xtraeme@gmail.com>"
homepage="http://www.kotnet.org/~skimo/isl/" homepage="http://www.kotnet.org/~skimo/isl/"
license="LGPL-2.1" license="LGPL-2.1"
distfiles="http://www.kotnet.org/~skimo/isl/isl-$version.tar.lzma" distfiles="http://www.kotnet.org/~skimo/isl/isl-$version.tar.lzma"
checksum=f85e2c521daf2c53e502d37fc6f5535af03bae1fdb6beb5dbf898e76cf310f25 checksum=6a7f72cbbbbd3f71458373e980c74f87b1fe278a3972cfc53f1c8788bb2ec449
post_install() { post_install() {
# Remove gdb python files. # Remove gdb python files.
@ -18,11 +18,12 @@ post_install() {
isl-devel_package() { isl-devel_package() {
depends="gmp-devel isl>=$version" depends="gmp-devel isl>=$version"
short_desc+=" -- development files" short_desc+=" - development files"
pkg_install() { pkg_install() {
vmove usr/include vmove usr/include
vmove usr/lib/pkgconfig vmove usr/lib/pkgconfig
vmove "usr/lib/*.a" vmove "usr/lib/*.a"
vmove "usr/lib/*.so"
} }
} }