diff --git a/main/isl/APKBUILD b/main/isl/APKBUILD
index 9e6957b8539080e88fada4d309b10428a56f5ec1..ebff80b38b1cfd453ad232ab8968e70c5c4e1387 100644
--- a/main/isl/APKBUILD
+++ b/main/isl/APKBUILD
@@ -2,24 +2,21 @@
 # Maintainer: Timo Teräs <timo.teras@iki.fi>
 pkgname=isl
 pkgver=0.18
-pkgrel=0
+pkgrel=1
 pkgdesc="An Integer Set Library for the Polyhedral Model"
 url="http://isl.gforge.inria.fr/"
 arch="all"
 license="MIT"
-depends=""
 depends_dev="gmp-dev"
 makedepends_host="$depends_dev"
 makedepends="$makedepends_host"
 replaces="cloog"
-install=""
-subpackages="$pkgname-dev"
+subpackages=""
 source="http://isl.gforge.inria.fr/isl-$pkgver.tar.bz2"
 
 builddir="$srcdir"/$pkgname-$pkgver
 
 build() {
-	cd "$builddir"
 	./configure \
 		--build=$CBUILD \
 		--host=$CHOST \
@@ -32,21 +29,17 @@ build() {
 }
 
 check() {
-	cd "$builddir"
 	make check
 }
 
 package() {
-	cd "$builddir"
 	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/
+	# isl-dev is provided by isl22
+	rm -rf "$pkgdir"/usr/include \
+		"$pkgdir"/usr/lib/pkgconfig \
+		"$pkgdir"/usr/lib/*.a \
+		"$pkgdir"/usr/lib/*.so \
+		"$pkgdir"/usr/lib/*.py
 }
 
 sha512sums="85d0b40f4dbf14cb99d17aa07048cdcab2dc3eb527d2fbb1e84c41b2de5f351025370e57448b63b2b8a8cf8a0843a089c3263f9baee1542d5c2e1cb37ed39d94  isl-0.18.tar.bz2"