diff options
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" |