From b6b15b1cc2e4f3e98a19b064049837d194152adc Mon Sep 17 00:00:00 2001
From: Manuel <manutortosa@chakra-project.org>
Date: Sat, 10 Nov 2012 10:30:50 +0000
Subject: [PATCH] New toolchain

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

diff --git a/isl/PKGBUILD b/isl/PKGBUILD
index d34ef3255..be7568b2b 100644
--- a/isl/PKGBUILD
+++ b/isl/PKGBUILD
@@ -4,7 +4,7 @@
 # maintainer: Manuel Tortosa <manutortosa[at]chakra-project[dot]org>
 
 pkgname=isl
-pkgver=0.09
+pkgver=0.10
 pkgrel=1
 pkgdesc="Library for manipulating sets and relations of integer points bounded by linear constraints"
 arch=('i686' 'x86_64')
@@ -12,7 +12,7 @@ url="http://www.kotnet.org/~skimo/isl/"
 license=('LGPL2.1')
 options=('!libtool' 'log')
 source=(http://www.kotnet.org/~skimo/isl/${pkgname}-${pkgver}.tar.bz2)
-md5sums=('6873f0b3c9f4d1fb8efae4aea53f2ab2')
+md5sums=('c1ece653891bb2a5f55ca25e3f4e8f35')
 
 build() {
   cd "${srcdir}/${pkgname}-${pkgver}"
@@ -29,8 +29,7 @@ package() {
   cd "${srcdir}/${pkgname}-${pkgver}"
   make -j1 DESTDIR="${pkgdir}/" install
   
-  # this seems a better place for this file...
-  install -dm755 ${pkgdir}/usr/share/gdb/auto-load/
-  mv ${pkgdir}/usr/{lib,share/gdb/auto-load}/libisl.so.9.0.0-gdb.py
+  install -dm755 $pkgdir/usr/share/gdb/auto-load/usr/lib/
+  mv $pkgdir/{,/usr/share/gdb/auto-load/}usr/lib/libisl.so.10.0.0-gdb.py
 }