isl: update to 0.23 (with soname; fixing license and homepage)

common/shlibs

@@ -1100,7 +1100,7 @@ libfltk_images.so.1.3 fltk-1.3.0_1
 libspectre.so.1 libspectre-0.2.6_1
 libsratom-0.so.0 sratom-0.4.0_1
 libpwquality.so.1 libpwquality-1.1.1_1
-libisl.so.10 isl-0.10_1
+libisl.so.23 isl-0.23_1
 libisl.so.19 isl15-0.19_1
 libcloog-isl.so.4 cloog-0.18.1_1
 librtmp.so.1 librtmp-2.4.20161210_9

srcpkgs/isl/template

@@ -1,16 +1,16 @@
 # Template file for 'isl'
 pkgname=isl
-version=0.12.2
-revision=2
+version=0.23
+revision=1
 bootstrap=yes
 build_style=gnu-configure
 makedepends="gmp-devel"
 short_desc="Integer Set Library"
 maintainer="Orphaned <orphan@voidlinux.org>"
-homepage="http://freecode.com/projects/isl"
-license="LGPL-2.1"
+license="MIT"
+homepage="http://isl.gforge.inria.fr"
 distfiles="http://isl.gforge.inria.fr/isl-${version}.tar.bz2"
-checksum=f4b3dbee9712850006e44f0db2103441ab3d13b406f77996d1df19ee89d11fb4
+checksum=c58922c14ae7d0791a77932f377840890f19bc486b653fa64eba7f1026fb214d
 
 if [ -z "$CHROOT_READY" ]; then
 	CFLAGS="-I${XBPS_MASTERDIR}/usr/include"
@@ -18,12 +18,13 @@ if [ -z "$CHROOT_READY" ]; then
 fi
 
 post_install() {
+	vlicense LICENSE
 	# Remove gdb python files.
 	rm -f ${DESTDIR}/usr/lib/*.py
 }
 
 isl-devel_package() {
-	depends="gmp-devel isl>=${version}_${revision}"
+	depends="${makedepends} ${sourcepkg}>=${version}_${revision}"
 	short_desc+=" - development files"
 	pkg_install() {
 		vmove usr/include