From 6545c00fde3e19309d195287899e9d3679c0b80b Mon Sep 17 00:00:00 2001
From: Drake <djustice.kde@gmail.com>
Date: Thu, 12 Jan 2012 01:50:24 +0000
Subject: [PATCH] bump isl (0.07->0.09), bump gmp (5.0.1->5.0.2)

---
 gmp/PKGBUILD | 15 ++++-----------
 isl/PKGBUILD | 32 +++++++++++++++-----------------
 2 files changed, 19 insertions(+), 28 deletions(-)

diff --git a/gmp/PKGBUILD b/gmp/PKGBUILD
index 457cb0e94..f72500f60 100644
--- a/gmp/PKGBUILD
+++ b/gmp/PKGBUILD
@@ -5,10 +5,8 @@
 # maintainer (x86_64): Manuel Tortosa <manutortosa[at]chakra-project[dot]org>
 
 pkgname=gmp
-pkgver=5.0.1
-pkgrel=3
-# dash the next line if you want to skip the tests
-_test=1
+pkgver=5.0.2
+pkgrel=1
 pkgdesc="A free library for arbitrary precision arithmetic"
 arch=('i686' 'x86_64')
 url="http://gmplib.org/"
@@ -17,7 +15,7 @@ license=('LGPL3')
 options=('!libtool' 'log')
 install=gmp.install
 source=(ftp://ftp.gnu.org/gnu/gmp/gmp-${pkgver}.tar.bz2)
-md5sums=('6bac6df75c192a13419dfd71d19240a7')
+md5sums=('0bbaedc82fb30315b06b1588b9077cd3')
 
 build() {
   cd "${srcdir}/${pkgname}-${pkgver}"
@@ -26,15 +24,10 @@ build() {
     --prefix=/usr --infodir=/usr/share/info \
     --enable-cxx
   make
-
-  if [ -n "${_test}" ]; then
-     echo "<<< STARTING TESTS >>>"
-     make check
-     echo "<<< ENDING TESTS >>>"
-  fi
 }
 
 package() {
   cd "${srcdir}/${pkgname}-${pkgver}"
   make DESTDIR="${pkgdir}" install
 }
+
diff --git a/isl/PKGBUILD b/isl/PKGBUILD
index 0056fd3ce..7a5983fce 100644
--- a/isl/PKGBUILD
+++ b/isl/PKGBUILD
@@ -5,35 +5,33 @@
 # maintainer (x86_64): Manuel Tortosa <manutortosa[at]chakra-project[dot]org>
 
 pkgname=isl
-pkgver=0.06
-pkgrel=2
-# dash the next line if you want to skip the tests
-_test=1
+pkgver=0.09
+pkgrel=1
 pkgdesc="Library for manipulating sets and relations of integer points bounded by linear constraints"
 arch=('i686' 'x86_64')
 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=('504f054eaffdd8d07c497ebe3ebc7e04')
+source=(http://www.kotnet.org/~skimo/isl/${pkgname}-${pkgver}.tar.bz2)
+md5sums=('6873f0b3c9f4d1fb8efae4aea53f2ab2')
 
 build() {
-  cd "$srcdir/$pkgname-$pkgver"
+  cd "${srcdir}/${pkgname}-${pkgver}"
   ./configure --prefix=/usr
   make
+}
 
-  if [ -n "${_test}" ]; then
-     echo "<<< STARTING TESTS >>>"
-     make check
-     echo "<<< ENDING TESTS >>>"
-  fi
+check() {
+  cd "${srcdir}/${pkgname}-${pkgver}"
+  make check
 }
 
 package() {
-  cd "$srcdir/$pkgname-$pkgver"
-  make -j1 DESTDIR="$pkgdir/" install
+  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.6.0.0-gdb.py
-}
\ No newline at end of file
+  install -dm755 ${pkgdir}/usr/share/gdb/auto-load/
+  mv ${pkgdir}/usr/{lib,share/gdb/auto-load}/libisl.so.9.0.0-gdb.py
+}
+