From 069b35f9817e9f8465d51d3e7b242e0be7e12bdf Mon Sep 17 00:00:00 2001
From: psykose <alice@ayaya.dev>
Date: Sat, 10 Sep 2022 09:49:10 +0000
Subject: [PATCH] main/isl24: remove -dev
to be provided by isl25
---
main/isl24/APKBUILD | 16 +++++++---------
1 file changed, 7 insertions(+), 9 deletions(-)
diff --git a/main/isl24/APKBUILD b/main/isl24/APKBUILD
index d9ced59b37fb..820181f19a1e 100644
--- a/main/isl24/APKBUILD
+++ b/main/isl24/APKBUILD
@@ -8,7 +8,7 @@
pkgname=isl24
pkgver=0.24
-pkgrel=0
+pkgrel=1
pkgdesc="An Integer Set Library for the Polyhedral Model"
url="http://isl.gforge.inria.fr/"
arch="all"
@@ -16,7 +16,6 @@ license="MIT"
depends_dev="gmp-dev"
makedepends_host="$depends_dev"
makedepends="$makedepends_host"
-subpackages="isl-dev:_dev"
source="https://libisl.sourceforge.io/isl-$pkgver.tar.bz2"
builddir="$srcdir"/isl-$pkgver
@@ -39,13 +38,12 @@ check() {
package() {
make DESTDIR="$pkgdir" INSTALL="install -D" install
-}
-
-_dev() {
- default_dev
- mkdir -p "$subpkgdir"/usr/share/gdb/python/auto-load/usr/lib
- mv "$pkgdir"/usr/lib/*-gdb.py \
- "$subpkgdir"/usr/share/gdb/python/auto-load/usr/lib/
+ # isl-dev is provided by isl25
+ rm -rf "$pkgdir"/usr/include \
+ "$pkgdir"/usr/lib/pkgconfig \
+ "$pkgdir"/usr/lib/*.a \
+ "$pkgdir"/usr/lib/*.so \
+ "$pkgdir"/usr/lib/*.py
}
sha512sums="
--
GitLab