From 7982bedf67d626975a0edda38305832ed9e6b73f Mon Sep 17 00:00:00 2001
From: Kevin Mihelich <kevin@archlinuxarm.org>
Date: Wed, 19 Dec 2012 05:07:50 +0000
Subject: [PATCH] core/isl to 0.11.1-1

---
 core/isl/PKGBUILD | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/core/isl/PKGBUILD b/core/isl/PKGBUILD
index 2e7e7b602..fcd8f28c3 100644
--- a/core/isl/PKGBUILD
+++ b/core/isl/PKGBUILD
@@ -7,7 +7,7 @@
 noautobuild=1
 
 pkgname=isl
-pkgver=0.11
+pkgver=0.11.1
 pkgrel=1
 pkgdesc="Library for manipulating sets and relations of integer points bounded by linear constraints"
 arch=('i686' 'x86_64')
@@ -15,7 +15,7 @@ url="http://www.kotnet.org/~skimo/isl/"
 license=('MIT')
 options=('!libtool')
 source=(http://www.kotnet.org/~skimo/isl/$pkgname-$pkgver.tar.bz2)
-md5sums=('8dd36a28ed255f4fd3d903adb24e99db')
+md5sums=('bce1586384d8635a76d2f017fb067cd2')
 
 build() {
   cd "$srcdir/$pkgname-$pkgver"
@@ -33,5 +33,7 @@ package() {
   make -j1 DESTDIR="$pkgdir/" install
 
   install -dm755 $pkgdir/usr/share/gdb/auto-load/usr/lib/
-  mv $pkgdir/{,/usr/share/gdb/auto-load/}usr/lib/libisl.so.10.1.0-gdb.py
+  mv $pkgdir/{,/usr/share/gdb/auto-load/}usr/lib/libisl.so.10.1.1-gdb.py
+
+  install -Dm644 LICENSE $pkgdir/usr/share/licenses/isl/LICENSE
 }