Update few packages

This commit is contained in:
moparisthebest
2018-09-06 21:21:03 -04:00
parent d602b6071f
commit 10a66c750c
7 changed files with 42 additions and 40 deletions

View File

@@ -1,33 +1,34 @@
# Maintainer: sudokode <sudokode@gmail.com>
# Maintainer: Kritias <theodoridisgr@gmail.com>
# Contributor: sudokode <sudokode@gmail.com>
# Contributor: Allan McRae <allan@archlinux.org>
pkgname=isl
pkgver=0.19
pkgrel=1
pkgver=0.20
pkgrel=4
pkgdesc="Library for manipulating sets and relations of integer points bounded by linear constraints"
arch=('i686' 'x86_64')
url="http://isl.gforge.inria.fr/"
makedepends=('git')
depends=('gmp')
license=('MIT')
conflicts=('isl-git' 'isl14' 'isl15' 'isl16' 'isl17')
source=("http://isl.gforge.inria.fr/$pkgname-${pkgver}.tar.xz")
sha256sums=('6d6c1aa00e2a6dfc509fa46d9a9dbe93af0c451e196a670577a148feecf6b8a5')
source=("isl::git+http://repo.or.cz/isl.git#tag=isl-${pkgver}")
sha256sums=('SKIP')
build() {
cd $pkgname-$pkgver
cd ${srcdir}/${pkgname}
./autogen.sh
./configure --prefix=/usr
make
}
check() {
cd $pkgname-$pkgver
cd ${srcdir}/${pkgname}
make check
}
package() {
cd $pkgname-$pkgver
cd ${srcdir}/${pkgname}
make DESTDIR="$pkgdir" install