summaryrefslogtreecommitdiff
path: root/core/isl/PKGBUILD
diff options
context:
space:
mode:
Diffstat (limited to 'core/isl/PKGBUILD')
-rw-r--r--core/isl/PKGBUILD13
1 files changed, 7 insertions, 6 deletions
diff --git a/core/isl/PKGBUILD b/core/isl/PKGBUILD
index 14e023272..3b3d1e11e 100644
--- a/core/isl/PKGBUILD
+++ b/core/isl/PKGBUILD
@@ -1,16 +1,17 @@
-# $Id: PKGBUILD 201470 2013-12-12 15:38:37Z allan $
+# $Id: PKGBUILD 204392 2014-01-19 00:33:31Z allan $
# Maintainer: Allan McRae <allan@archlinux.org>
pkgname=isl
-pkgver=0.12.1
-pkgrel=2
+pkgver=0.12.2
+pkgrel=1
pkgdesc="Library for manipulating sets and relations of integer points bounded by linear constraints"
arch=('i686' 'x86_64' 'mips64el')
url="http://freecode.com/projects/isl"
depends=('gmp')
license=('MIT')
source=(http://isl.gforge.inria.fr/$pkgname-$pkgver.tar.bz2)
-md5sums=('27d381085ff1b5733c3e8a9b6ad24a4d')
+md5sums=('e039bfcfb6c2ab039b8ee69bf883e824')
+
build() {
cd "$srcdir/$pkgname-$pkgver"
@@ -25,10 +26,10 @@ check() {
package() {
cd "$srcdir/$pkgname-$pkgver"
- make -j1 DESTDIR="$pkgdir/" install
+ make 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.2.1-gdb.py
+ mv $pkgdir/{,/usr/share/gdb/auto-load/}usr/lib/libisl.so.10.2.2-gdb.py
install -Dm644 LICENSE $pkgdir/usr/share/licenses/isl/LICENSE
}