diff options
author | Theodoros Theodoridis | 2018-08-08 12:31:23 +0200 |
---|---|---|
committer | Theodoros Theodoridis | 2018-08-08 12:34:25 +0200 |
commit | ee2aa0f5d4a4c10d243b1918fb289f0157de12f5 (patch) | |
tree | 286f4be8cf39b26eb53ac114ae97defb510163fd | |
parent | fb59b11f3150a202be9cfc6311aaa9863bbcb668 (diff) | |
download | aur-ee2aa0f5d4a4c10d243b1918fb289f0157de12f5.tar.gz |
Use an alternative source
Previously the source was downloaded from INRIA's website but it
currently is down. Now the git repository is used instead and the
approriate tag is checkout out.
-rw-r--r-- | .SRCINFO | 6 | ||||
-rw-r--r-- | PKGBUILD | 16 |
2 files changed, 11 insertions, 11 deletions
@@ -1,7 +1,7 @@ pkgbase = isl pkgdesc = Library for manipulating sets and relations of integer points bounded by linear constraints pkgver = 0.20 - pkgrel = 2 + pkgrel = 3 url = http://isl.gforge.inria.fr/ arch = i686 arch = x86_64 @@ -12,8 +12,8 @@ pkgbase = isl conflicts = isl15 conflicts = isl16 conflicts = isl17 - source = http://isl.gforge.inria.fr/isl-0.20.tar.xz - sha256sums = a5596a9fb8a5b365cb612e4b9628735d6e67e9178fae134a816ae195017e77aa + source = isl::git+http://repo.or.cz/isl.git#tag=isl-0.20 + sha256sums = SKIP pkgname = isl @@ -4,30 +4,30 @@ pkgname=isl pkgver=0.20 -pkgrel=2 +pkgrel=3 pkgdesc="Library for manipulating sets and relations of integer points bounded by linear constraints" arch=('i686' 'x86_64') url="http://isl.gforge.inria.fr/" depends=('gmp') license=('MIT') conflicts=('isl-git' 'isl14' 'isl15' 'isl16' 'isl17') -source=("http://isl.gforge.inria.fr/$pkgname-${pkgver}.tar.xz") -sha256sums=('a5596a9fb8a5b365cb612e4b9628735d6e67e9178fae134a816ae195017e77aa') -build() { - cd $pkgname-$pkgver +source=("isl::git+http://repo.or.cz/isl.git#tag=isl-${pkgver}") +sha256sums=('SKIP') +build() { + 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 |