diff options
author | A. Wilcox <AWilcox@Wilcox-Tech.com> | 2019-03-08 09:16:35 +0000 |
---|---|---|
committer | A. Wilcox <AWilcox@Wilcox-Tech.com> | 2019-03-08 09:16:35 +0000 |
commit | 10aae1c53925f3d5f473fbd359908a27d88eea87 (patch) | |
tree | 5a0b8cf754206ba46fe096ba5032df564782c110 /system/isl/APKBUILD | |
parent | 3f51d81163fcb453a7b4e19eab7155f738cb07d8 (diff) | |
download | packages-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/APKBUILD | 12 |
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" |