[arch-commits] Commit in libisl/repos (testing-x86_64 testing-x86_64/PKGBUILD)

Frederik Schwan freswa at gemini.archlinux.org
Sat Jul 2 22:14:43 UTC 2022


    Date: Saturday, July 2, 2022 @ 22:14:43
  Author: freswa
Revision: 449799

archrelease: copy trunk to testing-x86_64

Added:
  libisl/repos/testing-x86_64/
  libisl/repos/testing-x86_64/PKGBUILD
    (from rev 449798, libisl/trunk/PKGBUILD)

----------+
 PKGBUILD |   41 +++++++++++++++++++++++++++++++++++++++++
 1 file changed, 41 insertions(+)

Copied: libisl/repos/testing-x86_64/PKGBUILD (from rev 449798, libisl/trunk/PKGBUILD)
===================================================================
--- testing-x86_64/PKGBUILD	                        (rev 0)
+++ testing-x86_64/PKGBUILD	2022-07-02 22:14:43 UTC (rev 449799)
@@ -0,0 +1,41 @@
+# Maintainer: 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=libisl
+pkgver=0.25
+pkgrel=1
+pkgdesc='Library for manipulating sets and relations of integer points bounded by linear constraints'
+arch=('x86_64')
+url='https://libisl.sourceforge.io'
+license=('MIT')
+depends=('gmp')
+provides=('isl' 'libisl.so')
+replaces=('isl')
+options=(staticlibs)
+source=("https://libisl.sourceforge.io/isl-${pkgver}.tar.xz")
+b2sums=('54a13ba8a5d7666f62f3fb20db278d15b803400cb8b69f119b18fd1f54f7d02f1e07cd1e189803fc416afaa81b35e2247ef6b3da3d8cddc463b05cc9b3921890')
+
+build() {
+  cd "${srcdir}"/${pkgname#lib}-${pkgver}
+  ./configure --prefix=/usr
+  make
+}
+
+check() {
+  cd "${srcdir}"/${pkgname#lib}-${pkgver}
+  make check || true
+}
+
+package() {
+  cd "${srcdir}"/${pkgname#lib}-${pkgver}
+
+  make DESTDIR="${pkgdir}" install
+
+  install -dm755 "${pkgdir}"/usr/share/gdb/auto-load/usr/lib/
+  mv "${pkgdir}"/usr/lib/libisl.so.*-gdb.py "${pkgdir}"/usr/share/gdb/auto-load/usr/lib/
+  
+  install -Dm644 LICENSE "${pkgdir}"/usr/share/licenses/${pkgname}/LICENSE
+}



More information about the arch-commits mailing list