summaryrefslogtreecommitdiff
path: root/core/isl/PKGBUILD
diff options
context:
space:
mode:
authorNicolás Reynolds <fauno@endefensadelsl.org>2014-01-20 03:40:05 +0000
committerNicolás Reynolds <fauno@endefensadelsl.org>2014-01-20 03:40:05 +0000
commitf4e0d41bdfa80b65960c85d4d526814a91f52e62 (patch)
tree43653b6dcc8152642eeb803f19d9b247a3aed871 /core/isl/PKGBUILD
parenta7868499c166c245f671318faaaf777a802fbefe (diff)
Mon Jan 20 03:36:38 UTC 2014
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 ffbd19bf2..098205c04 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')
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
}