summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorOndřej Hošek2022-06-28 11:58:09 +0200
committerOndřej Hošek2022-06-28 11:58:09 +0200
commit40fac18543e495850a9eda9d794b549ab92ce057 (patch)
tree0e35125555c697b22ad7c5fb012cd6e58a59b6c8
parent50507240a65c35aecfcf2b04af70a779c61be435 (diff)
downloadaur-isl-git.tar.gz
rename package to libisl-git, modify to be closer to Arch's libisl
-rw-r--r--.SRCINFO11
-rw-r--r--PKGBUILD23
2 files changed, 20 insertions, 14 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 433d17515ebd..98f1a8c52522 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,8 +1,8 @@
pkgbase = isl-git
pkgdesc = Library for manipulating sets and relations of integer points bounded by linear constraints (development version)
- pkgver = 0.20.52.g44534fc7
+ pkgver = 0.24.332.geb702ee7
pkgrel = 1
- url = http://isl.gforge.inria.fr/
+ url = https://libisl.sourceforge.io/
arch = i686
arch = x86_64
license = MIT
@@ -10,10 +10,11 @@ pkgbase = isl-git
makedepends = llvm
depends = gmp
provides = isl
+ provides = libisl
conflicts = isl
+ conflicts = libisl
options = !libtool
- source = isl::git+http://repo.or.cz/isl.git
+ source = libisl::git+https://repo.or.cz/isl.git
sha256sums = SKIP
-pkgname = isl-git
-
+pkgname = libisl-git
diff --git a/PKGBUILD b/PKGBUILD
index 9f72d2efa8a7..7e989a7572e0 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,19 +1,24 @@
-# Maintainer: Ondřej Hošek <ondra.hosek@gmail.com>
-# Contributor: Allan McRae <allan@archlinux.org>
+# Maintainer: Ondřej Hošek <ondra dot hosek at gmail dot com>
+# Contributor: Frederik Schwan <freswa at archlinux dot org>
+# Contributor: Andrew Sun <adsun701 at gmail dot com>
+# Contributor: Kritias <theodoridisgr at gmail dot com>
+# Contributor: sudokode <sudokode at gmail dot com>
+# Contributor: Allan McRae <allan at archlinux dot org>
-pkgname=isl-git
-pkgver=0.20.52.g44534fc7
+pkgname=libisl-git
+pkgbase=isl-git
+pkgver=0.24.332.geb702ee7
pkgrel=1
pkgdesc="Library for manipulating sets and relations of integer points bounded by linear constraints (development version)"
arch=('i686' 'x86_64')
-url="http://isl.gforge.inria.fr/"
+url="https://libisl.sourceforge.io/"
depends=('gmp')
makedepends=('clang' 'llvm')
license=('MIT')
options=('!libtool')
-provides=('isl')
-conflicts=('isl')
-source=("${pkgname%-git}::git+http://repo.or.cz/isl.git")
+provides=('isl' 'libisl')
+conflicts=('isl' 'libisl')
+source=("${pkgname%-git}::git+https://repo.or.cz/isl.git")
sha256sums=('SKIP')
pkgver() {
@@ -38,7 +43,7 @@ package() {
make -j1 DESTDIR="$pkgdir/" install
install -dm755 "$pkgdir/usr/share/gdb/auto-load/usr/lib/"
- mv "$pkgdir"/{,/usr/share/gdb/auto-load/}usr/lib/libisl.so.19.1.0-gdb.py
+ mv "${pkgdir}"/usr/lib/libisl.so.*-gdb.py "${pkgdir}"/usr/share/gdb/auto-load/usr/lib/
install -Dm644 LICENSE "$pkgdir/usr/share/licenses/isl/LICENSE"
}