New package: isl16 (temp. for cross-arm-none-eabi)

Signed-off-by: Jürgen Buchmüller <pullmoll@t-online.de>

common/shlibs

@@ -1085,6 +1085,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 isl16-0.16_1
 libisl.so.19 isl15-0.19_1
 libcloog-isl.so.4 cloog-0.18.1_1
 librtmp.so.1 librtmp-2.4.20161210_1

srcpkgs/isl16-devel

@@ -0,0 +1 @@
+isl16

srcpkgs/isl16/template

@@ -0,0 +1,31 @@
+# Template file for 'isl16'.
+pkgname=isl16
+version=0.16
+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=3899e68047d0a18db5a7d73bdabcbe9246865e73e86efbd95387817d342fd554
+
+post_install() {
+	# Remove gdb python files.
+	rm -f ${DESTDIR}/usr/lib/*.py
+}
+
+isl16-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"
+	}
+}