isl: update to 0.12.2.

This commit is contained in:
Juan RP 2014-01-19 09:24:25 +01:00
parent 6fc3c39d20
commit d30cc0fdc5

View file

@ -1,6 +1,6 @@
# Template file for 'isl'
pkgname=isl
version=0.12.1
version=0.12.2
revision=1
build_style=gnu-configure
makedepends="gmp-devel"
@ -8,8 +8,8 @@ short_desc="Integer Set Library"
maintainer="Juan RP <xtraeme@gmail.com>"
homepage="http://freecode.com/projects/isl"
license="LGPL-2.1"
distfiles="ftp://ftp.linux.student.kuleuven.be/pub/people/skimo/isl/isl-${version}.tar.bz2"
checksum=43ba8a43c3554a72a7e9e0d913a52dedbc0d712f472f3e62d239517bdd53e7b7
distfiles="http://isl.gforge.inria.fr/isl-${version}.tar.bz2"
checksum=f4b3dbee9712850006e44f0db2103441ab3d13b406f77996d1df19ee89d11fb4
post_install() {
# Remove gdb python files.
@ -17,7 +17,7 @@ post_install() {
}
isl-devel_package() {
depends="gmp-devel isl-${version}_${revision}"
depends="gmp-devel isl>=${version}_${revision}"
short_desc+=" - development files"
pkg_install() {
vmove usr/include