main/isl22: new aport for gcc dependency

we need to be able to have old version of isl installed in parallel with
new so we need separate pkgname. Keep isl-dev as a subpackage for the
most recent version.

main/isl22/APKBUILD

+# 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
+
+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"