Skip to content
Snippets Groups Projects
Commit 069b35f9 authored by alice's avatar alice Committed by alice
Browse files

main/isl24: remove -dev

to be provided by isl25
parent 5ce0faef
No related branches found
No related tags found
2 merge requests!39304[3.16] main/expat: security upgrade to 2.4.9,!38857main/isl: upgrade to 0.25
......@@ -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="
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment