From 31933cb6d4f290c04623e0f989c597e1565ad575 Mon Sep 17 00:00:00 2001
From: Juan RP <xtraeme@gmail.com>
Date: Tue, 25 Jun 2013 09:42:07 +0200
Subject: [PATCH] isl: update to 0.12.

---
 srcpkgs/isl/template | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/srcpkgs/isl/template b/srcpkgs/isl/template
index 35e92852314..7551399ad66 100644
--- a/srcpkgs/isl/template
+++ b/srcpkgs/isl/template
@@ -1,7 +1,7 @@
 # Template file for 'isl'
 pkgname=isl
-version=0.11.1
-revision=2
+version=0.12
+revision=1
 build_style=gnu-configure
 makedepends="gmp-devel"
 short_desc="Integer Set Library"
@@ -9,7 +9,7 @@ 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"
-checksum=f85e2c521daf2c53e502d37fc6f5535af03bae1fdb6beb5dbf898e76cf310f25
+checksum=6a7f72cbbbbd3f71458373e980c74f87b1fe278a3972cfc53f1c8788bb2ec449
 
 post_install() {
 	# Remove gdb python files.
@@ -18,11 +18,12 @@ post_install() {
 
 isl-devel_package() {
 	depends="gmp-devel isl>=$version"
-	short_desc+=" -- development files"
+	short_desc+=" - development files"
 	pkg_install() {
 		vmove usr/include
 		vmove usr/lib/pkgconfig
 		vmove "usr/lib/*.a"
+		vmove "usr/lib/*.so"
 	}
 }