summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTheodoros Theodoridis <theodoridisgr@gmail.com>2018-08-08 12:31:23 +0200
committerTheodoros Theodoridis <theodoridisgr@gmail.com>2018-08-08 12:34:25 +0200
commitee2aa0f5d4a4c10d243b1918fb289f0157de12f5 (patch)
tree286f4be8cf39b26eb53ac114ae97defb510163fd
parentfb59b11f3150a202be9cfc6311aaa9863bbcb668 (diff)
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--.SRCINFO6
-rw-r--r--PKGBUILD16
2 files changed, 11 insertions, 11 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 07e1996..a7dcbf7 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -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
diff --git a/PKGBUILD b/PKGBUILD
index 4f62617..28b7bfb 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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