summaryrefslogtreecommitdiff
path: root/system
diff options
context:
space:
mode:
Diffstat (limited to 'system')
-rw-r--r--system/isl/APKBUILD12
1 files changed, 3 insertions, 9 deletions
diff --git a/system/isl/APKBUILD b/system/isl/APKBUILD
index 17f34123e..e0f2785d9 100644
--- a/system/isl/APKBUILD
+++ b/system/isl/APKBUILD
@@ -6,6 +6,7 @@ pkgrel=0
pkgdesc="An Integer Set Library for the Polyhedral Model"
url="http://isl.gforge.inria.fr/"
arch="all"
+options="!dbg strip" # Static libs only
license="MIT"
depends=""
depends_dev="gmp-dev"
@@ -23,7 +24,8 @@ build() {
--mandir=/usr/share/man \
--infodir=/usr/share/info \
--localstatedir=/var \
- --with-sysroot=${CBUILDROOT}
+ --with-sysroot=${CBUILDROOT} \
+ --disable-shared
make
}
@@ -35,12 +37,4 @@ package() {
make DESTDIR="$pkgdir" INSTALL="install -D" install
}
-dev() {
- default_dev
- replaces="cloog-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/
-}
-
sha512sums="afe2e159b74646a26449268637403d271f9e3f6410d8cc1c9cffca41370c4357b165dea844db0c2a654591f954e54710dda650c8088abd4711406aa6302da950 isl-0.20.tar.bz2"