mirror of
https://gitlab.alpinelinux.org/alpine/aports.git
synced 2025-08-06 13:57:14 +02:00
main/isl24: remove -dev
to be provided by isl25
This commit is contained in:
parent
5ce0faefe8
commit
069b35f981
@ -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="
|
||||
|
Loading…
Reference in New Issue
Block a user