Index: head/devel/isl/Makefile
===================================================================
--- head/devel/isl/Makefile	(revision 416686)
+++ head/devel/isl/Makefile	(revision 416687)
@@ -1,26 +1,26 @@
 # Created by: Gea-Suan Lin <gslin@gslin.org>
 # $FreeBSD$
 
 PORTNAME=	isl
-PORTVERSION=	0.16.1
+PORTVERSION=	0.17.1
 CATEGORIES=	devel
 MASTER_SITES=	http://isl.gforge.inria.fr/
 
 MAINTAINER=	danilo@FreeBSD.org
 COMMENT=	Integer Set Library
 
 LICENSE=	MIT
 LICENSE_FILE=	${WRKSRC}/LICENSE
 
 LIB_DEPENDS=	libgmp.so:math/gmp
 
 CONFIGURE_ARGS=	--with-gmp-prefix=${LOCALBASE}
 GNU_CONFIGURE=	yes
 INSTALL_TARGET=	install-strip
 USES=		libtool tar:xz
 USE_LDCONFIG=	yes
 
 post-patch:
 	@${REINPLACE_CMD} -e 's@pkgconfig_libdir=.*@pkgconfig_libdir=$${prefix}/libdata/pkgconfig@' ${WRKSRC}/configure
 
 .include <bsd.port.mk>
Index: head/devel/isl/distinfo
===================================================================
--- head/devel/isl/distinfo	(revision 416686)
+++ head/devel/isl/distinfo	(revision 416687)
@@ -1,2 +1,3 @@
-SHA256 (isl-0.16.1.tar.xz) = 45292f30b3cb8b9c03009804024df72a79e9b5ab89e41c94752d6ea58a1e4b02
-SIZE (isl-0.16.1.tar.xz) = 1449164
+TIMESTAMP = 1465584301
+SHA256 (isl-0.17.1.tar.xz) = be152e5c816b477594f4c6194b5666d8129f3a27702756ae9ff60346a8731647
+SIZE (isl-0.17.1.tar.xz) = 1440564
Index: head/devel/isl/pkg-plist
===================================================================
--- head/devel/isl/pkg-plist	(revision 416686)
+++ head/devel/isl/pkg-plist	(revision 416687)
@@ -1,66 +1,75 @@
 include/isl/aff.h
 include/isl/aff_type.h
 include/isl/arg.h
 include/isl/ast.h
 include/isl/ast_build.h
 include/isl/ast_type.h
 include/isl/band.h
 include/isl/constraint.h
 include/isl/ctx.h
 include/isl/deprecated/aff_int.h
 include/isl/deprecated/ast_int.h
 include/isl/deprecated/constraint_int.h
 include/isl/deprecated/ilp_int.h
 include/isl/deprecated/int.h
 include/isl/deprecated/map_int.h
 include/isl/deprecated/mat_int.h
 include/isl/deprecated/point_int.h
 include/isl/deprecated/polynomial_int.h
 include/isl/deprecated/set_int.h
 include/isl/deprecated/union_map_int.h
 include/isl/deprecated/val_int.h
 include/isl/deprecated/vec_int.h
 include/isl/flow.h
 include/isl/hash.h
 include/isl/hmap.h
+include/isl/hmap_templ.c
 include/isl/id.h
 include/isl/id_to_ast_expr.h
+include/isl/id_to_id.h
 include/isl/id_to_pw_aff.h
 include/isl/ilp.h
 include/isl/list.h
 include/isl/local_space.h
 include/isl/lp.h
 include/isl/map.h
 include/isl/map_to_basic_set.h
 include/isl/map_type.h
 include/isl/mat.h
+include/isl/maybe.h
+include/isl/maybe_ast_expr.h
+include/isl/maybe_basic_set.h
+include/isl/maybe_id.h
+include/isl/maybe_pw_aff.h
+include/isl/maybe_templ.h
 include/isl/multi.h
 include/isl/obj.h
 include/isl/options.h
 include/isl/point.h
 include/isl/polynomial.h
 include/isl/polynomial_type.h
 include/isl/printer.h
+include/isl/printer_type.h
 include/isl/schedule.h
 include/isl/schedule_node.h
 include/isl/schedule_type.h
 include/isl/set.h
 include/isl/set_type.h
 include/isl/space.h
 include/isl/stdint.h
 include/isl/stream.h
 include/isl/union_map.h
 include/isl/union_map_type.h
 include/isl/union_set.h
 include/isl/union_set_type.h
 include/isl/val.h
 include/isl/val_gmp.h
 include/isl/vec.h
 include/isl/version.h
 include/isl/vertices.h
 lib/libisl.a
 lib/libisl.so
 lib/libisl.so.15
-lib/libisl.so.15.1.1
-lib/libisl.so.15.1.1-gdb.py
+lib/libisl.so.15.2.1
+lib/libisl.so.15.2.1-gdb.py
 libdata/pkgconfig/isl.pc