summaryrefslogtreecommitdiff
path: root/system/isl/APKBUILD
diff options
context:
space:
mode:
authorA. Wilcox <AWilcox@Wilcox-Tech.com>2019-03-08 09:16:35 +0000
committerA. Wilcox <AWilcox@Wilcox-Tech.com>2019-03-08 09:16:35 +0000
commit10aae1c53925f3d5f473fbd359908a27d88eea87 (patch)
tree5a0b8cf754206ba46fe096ba5032df564782c110 /system/isl/APKBUILD
parent3f51d81163fcb453a7b4e19eab7155f738cb07d8 (diff)
downloadpackages-10aae1c53925f3d5f473fbd359908a27d88eea87.tar.gz
packages-10aae1c53925f3d5f473fbd359908a27d88eea87.tar.bz2
packages-10aae1c53925f3d5f473fbd359908a27d88eea87.tar.xz
packages-10aae1c53925f3d5f473fbd359908a27d88eea87.zip
system/isl: static only, please
Diffstat (limited to 'system/isl/APKBUILD')
-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"