move to using core libisl

2 files changed, 7 insertions, 7 deletions

diff --git a/.SRCINFO b/.SRCINFO
index f1d9f66e8540..d18c846fcc6c 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,13 +1,13 @@
 pkgbase = barvinok
-	pkgdesc = A library for counting the number of integer points in parametric and non-parametric polytopes
+	pkgdesc = A library for counting the number of integer points in (non-)parametric polytopes
 	pkgver = 0.41.5
-	pkgrel = 2
+	pkgrel = 3
 	url = http://barvinok.gforge.inria.fr/
 	arch = x86_64
 	license = GPL
 	makedepends = git
 	depends = ntl
-	depends = isl>0.19
+	depends = libisl>0.19
 	depends = polylib-gmp
 	source = git+https://repo.or.cz/barvinok.git#tag=barvinok-0.41.5
 	sha256sums = SKIP
diff --git a/PKGBUILD b/PKGBUILD
index d1885b19844a..6926ac915aab 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,12 +1,12 @@
 # Maintainer: Hans-Nikolai Viessmann <hans AT viess.mn>
-pkgname='barvinok'
+pkgname=barvinok
 pkgver=0.41.5
-pkgrel=2
-pkgdesc='A library for counting the number of integer points in parametric and non-parametric polytopes'
+pkgrel=3
+pkgdesc='A library for counting the number of integer points in (non-)parametric polytopes'
 arch=('x86_64')
 url='http://barvinok.gforge.inria.fr/'
 license=('GPL')
-depends=('ntl' 'isl>0.19' 'polylib-gmp')
+depends=('ntl' 'libisl>0.19' 'polylib-gmp')
 makedepends=('git')
 source=("git+https://repo.or.cz/barvinok.git#tag=$pkgname-$pkgver")
 sha256sums=('SKIP')