summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTheodoros Theodoridis <theodoridisgr@gmail.com>2018-12-30 18:52:09 +0200
committerTheodoros Theodoridis <theodoridisgr@gmail.com>2018-12-30 18:56:26 +0200
commit5b4b4225978b5e722a14bfa2c7ff9160927bb745 (patch)
treef4e69c712380d0f10f45ecc6b02e84f4c60a64a9
parentc5515125cd3a41dd0ce879a50ceb6dc3deb669c4 (diff)
Switch back to the original source
-rw-r--r--.SRCINFO7
-rw-r--r--PKGBUILD15
2 files changed, 9 insertions, 13 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 1b34c78..432ca4e 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,20 +1,19 @@
pkgbase = isl
pkgdesc = Library for manipulating sets and relations of integer points bounded by linear constraints
pkgver = 0.20
- pkgrel = 4
+ pkgrel = 5
url = http://isl.gforge.inria.fr/
arch = i686
arch = x86_64
license = MIT
- makedepends = git
depends = gmp
conflicts = isl-git
conflicts = isl14
conflicts = isl15
conflicts = isl16
conflicts = isl17
- source = isl::git+http://repo.or.cz/isl.git#tag=isl-0.20
- sha256sums = SKIP
+ source = http://isl.gforge.inria.fr/isl-0.20.tar.gz
+ sha256sums = cf4ec18538df940ad5d5760af1246825cc58dd295241ab41d3f3962b24f55199
pkgname = isl
diff --git a/PKGBUILD b/PKGBUILD
index cf9c346..141b4f8 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -4,31 +4,28 @@
pkgname=isl
pkgver=0.20
-pkgrel=4
+pkgrel=5
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=("isl::git+http://repo.or.cz/isl.git#tag=isl-${pkgver}")
-sha256sums=('SKIP')
-
+source=("http://isl.gforge.inria.fr/isl-${pkgver}.tar.gz")
+sha256sums=('cf4ec18538df940ad5d5760af1246825cc58dd295241ab41d3f3962b24f55199')
build() {
- cd ${srcdir}/${pkgname}
- ./autogen.sh
+ cd ${srcdir}/${pkgname}-${pkgver}
./configure --prefix=/usr
make
}
check() {
- cd ${srcdir}/${pkgname}
+ cd ${srcdir}/${pkgname}-${pkgver}
make check
}
package() {
- cd ${srcdir}/${pkgname}
+ cd ${srcdir}/${pkgname}-${pkgver}
make DESTDIR="$pkgdir" install