From 10aae1c53925f3d5f473fbd359908a27d88eea87 Mon Sep 17 00:00:00 2001
From: "A. Wilcox" <AWilcox@Wilcox-Tech.com>
Date: Fri, 8 Mar 2019 09:16:35 +0000
Subject: system/isl: static only, please

---
 system/isl/APKBUILD | 12 +++---------
 1 file changed, 3 insertions(+), 9 deletions(-)

(limited to 'system/isl/APKBUILD')

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"
-- 
cgit v1.2.3-60-g2f50