summarylogtreecommitdiffstats
path: root/PKGBUILD
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 /PKGBUILD
parent50507240a65c35aecfcf2b04af70a779c61be435 (diff)
downloadaur-isl-git.tar.gz
rename package to libisl-git, modify to be closer to Arch's libisl
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD23
1 files changed, 14 insertions, 9 deletions
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"
}