diff options
| author | srv <enmanuel.saravia.externo@pandero.com.pe> | 2025-05-12 03:58:23 -0500 |
|---|---|---|
| committer | srv <enmanuel.saravia.externo@pandero.com.pe> | 2025-05-12 03:58:23 -0500 |
| commit | b9446bfb1fd77dd8043640deea5b8785b81649fb (patch) | |
| tree | 5ebb92a26bfefad4b5a921b3582e314263e94cc6 /libisl-bin/PKGBUILD | |
| parent | 342ac6fb859381069c7bad8c9bc4a0dfa3a40d6f (diff) | |
Libisl rename for rescan puporses
Diffstat (limited to 'libisl-bin/PKGBUILD')
| -rw-r--r-- | libisl-bin/PKGBUILD | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/libisl-bin/PKGBUILD b/libisl-bin/PKGBUILD new file mode 100644 index 0000000..88b0e70 --- /dev/null +++ b/libisl-bin/PKGBUILD @@ -0,0 +1,42 @@ +# 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.27 +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=('88a68de0b7952eb0038d10aa450b0ab25da4f4aa49fcdf70700ec4131d2686a2a2e9a64e5cb8ac0a53ef5d7cff034e60c449b201ba88a24001ad33f0dd17c732') + +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 +} +sha512sums=('6d6f50c3f6f26e0d3f67586dee6427d87999c426c94069a6f3012ec3c9a41adeebd50f43b5d2705db6abc12e38eb01c19f55dba113c0799da5f667eef46b2be0') |