New package: isl15-0.16.1

common/shlibs

@@ -1053,6 +1053,7 @@ libsratom-0.so.0 sratom-0.4.0_1
 libmongoose.so.0 libmongoose-3.1_1
 libpwquality.so.1 libpwquality-1.1.1_1
 libisl.so.10 isl-0.10_1
+libisl.so.15 isl15-0.16.1_1
 libcloog-isl.so.4 cloog-0.18.1_1
 librtmp.so.0 librtmp-2.4_1
 libORBit-2.so.0 libORBit2-2.14.19_1

srcpkgs/isl15-devel

@@ -0,0 +1 @@
+isl15

srcpkgs/isl15/template

@@ -0,0 +1,31 @@
+# Template file for 'isl15'
+pkgname=isl15
+version=0.16.1
+revision=1
+wrksrc="isl-${version}"
+bootstrap=yes
+build_style=gnu-configure
+makedepends="gmp-devel"
+short_desc="Integer Set Library"
+maintainer="Juan RP <xtraeme@voidlinux.eu>"
+homepage="http://freecode.com/projects/isl"
+license="LGPL-2.1"
+distfiles="http://isl.gforge.inria.fr/isl-${version}.tar.bz2"
+checksum=412538bb65c799ac98e17e8cfcdacbb257a57362acfaaff254b0fcae970126d2
+
+post_install() {
+	# Remove gdb python files.
+	rm -f ${DESTDIR}/usr/lib/*.py
+}
+
+isl15-devel_package() {
+	depends="${makedepends} ${sourcepkg}>=${version}_${revision}"
+	short_desc+=" - development files"
+	conflicts="isl-devel>=0"
+	pkg_install() {
+		vmove usr/include
+		vmove usr/lib/pkgconfig
+		vmove "usr/lib/*.a"
+		vmove "usr/lib/*.so"
+	}
+}