aboutsummaryrefslogtreecommitdiffstats
path: root/main/isl22/APKBUILD
diff options
context:
space:
mode:
Diffstat (limited to 'main/isl22/APKBUILD')
-rw-r--r--main/isl22/APKBUILD56
1 files changed, 0 insertions, 56 deletions
diff --git a/main/isl22/APKBUILD b/main/isl22/APKBUILD
deleted file mode 100644
index 889025f8da0..00000000000
--- a/main/isl22/APKBUILD
+++ /dev/null
@@ -1,56 +0,0 @@
-# Contributor: Timo Teräs <timo.teras@iki.fi>
-# Maintainer: Timo Teräs <timo.teras@iki.fi>
-
-# this package needs special care since it is a part of the toolchain.
-# we need to be able to have the old version installed in parallel with
-# a new with ABI breaking change. That is why we have the version
-# as a part of the pkgname.
-
-pkgname=isl22
-pkgver=0.22
-pkgrel=0
-pkgdesc="An Integer Set Library for the Polyhedral Model"
-url="http://isl.gforge.inria.fr/"
-arch="all"
-license="MIT"
-depends_dev="gmp-dev"
-makedepends_host="$depends_dev"
-makedepends="$makedepends_host"
-subpackages="isl-dev:_dev"
-source="http://isl.gforge.inria.fr/isl-$pkgver.tar.bz2"
-
-builddir="$srcdir"/isl-$pkgver
-
-prepare() {
- default_prepare
- update_config_sub
-}
-
-build() {
- ./configure \
- --build=$CBUILD \
- --host=$CHOST \
- --prefix=/usr \
- --mandir=/usr/share/man \
- --infodir=/usr/share/info \
- --localstatedir=/var \
- --with-sysroot=${CBUILDROOT}
- make
-}
-
-check() {
- make check
-}
-
-package() {
- make DESTDIR="$pkgdir" INSTALL="install -D" install
-}
-
-_dev() {
- default_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="fc2c9796979610dd51143dcefe4f5c989c4354571cc5a1fcc6b932fd41f42a54f6b43adfd289af61be7bd06f3a523fa6a7d7ee56680e32d8036beb4c188fa668 isl-0.22.tar.bz2"