Updated isl to 0.17.1.

Provided by Kai-Uwe Eckhardt in private mail.

version: 0.17.1
date: Fri May  6 12:02:48 CEST 2016
changes:
	- fix bug in coalescing treatment
---
version: 0.17
date: Tue May  3 14:26:43 CEST 2016
changes:
	- optionally combine SCCs incrementally in scheduler
	- optionally maximize coincidence in scheduler
	- optionally avoid loop coalescing in scheduler
	- fix handling of nested integer divisions
	- optionally detect min/max expressions during AST generation
	- minor AST generator improvements
	- simplify stride constraints
	- improve support for expansions in schedule trees
---
version: 0.16.1
date: Thu Jan 14 18:08:06 CET 2016
changes:
	- fix bug in simplification
---
version: 0.16
date: Tue Jan 12 09:56:16 CET 2016
changes:
	- add 32 bit integer optimization for IMath
	- minor AST generator improvements
	- add isl_union_flow_get_full_{may,must}_dependence
	- minor improvements to Python bindings
	- minor improvements to set and map printing
---
version: 0.15
date: Thu Jun 11 12:45:33 CEST 2015
changes:
	- improve coalescing
	- add isl_union_access_info_compute_flow
	- add mark nodes in AST
	- add isl_union_pw_aff and isl_multi_union_pw_aff
	- add schedule trees
	- deprecate band forests
	- deprecate separation_class AST generation option
	- introduce isl_bool and isl_stat types

5 files changed, 56 insertions, 14 deletions

diff --git a/math/isl/Makefile b/math/isl/Makefile
index 39b19496bc8..eab6c948956 100644
--- a/math/isl/Makefile
+++ b/math/isl/Makefile
@@ -1,6 +1,6 @@
-# $NetBSD: Makefile,v 1.7 2015/04/10 01:54:45 mef Exp $
+# $NetBSD: Makefile,v 1.8 2016/10/06 22:03:56 wiz Exp $
 
-DISTNAME=	isl-0.14.1
+DISTNAME=	isl-0.17.1
 CATEGORIES=	math
 MASTER_SITES=	http://isl.gforge.inria.fr/
 EXTRACT_SUFX=	.tar.bz2
diff --git a/math/isl/PLIST b/math/isl/PLIST
index 33ab569767b..c7c86f0e809 100644
--- a/math/isl/PLIST
+++ b/math/isl/PLIST
@@ -1,4 +1,4 @@
-@comment $NetBSD: PLIST,v 1.5 2015/01/23 01:18:53 mef Exp $
+@comment $NetBSD: PLIST,v 1.6 2016/10/06 22:03:56 wiz Exp $
 include/isl/aff.h
 include/isl/aff_type.h
 include/isl/arg.h
@@ -21,12 +21,13 @@ 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/dim.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
@@ -36,6 +37,12 @@ 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
@@ -43,7 +50,10 @@ 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
diff --git a/math/isl/distinfo b/math/isl/distinfo
index 5c573579814..2715701f454 100644
--- a/math/isl/distinfo
+++ b/math/isl/distinfo
@@ -1,7 +1,8 @@
-$NetBSD: distinfo,v 1.7 2015/11/03 23:33:35 agc Exp $
+$NetBSD: distinfo,v 1.8 2016/10/06 22:03:56 wiz Exp $
 
-SHA1 (isl-0.14.1.tar.bz2) = b653327b20e807d1df3a7e2f546ea924f1e030c0
-RMD160 (isl-0.14.1.tar.bz2) = e4e45a8b777f89108303c165b149404ef84fd190
-SHA512 (isl-0.14.1.tar.bz2) = 0d8e04e4a029a1c382357570d0e58b45cff0c89ef576084af3841dda112a1275575fb85f62e7c0ea6e89a4fccf90cae55cdd12c37b824ce5e8845ed6d31edb2d
-Size (isl-0.14.1.tar.bz2) = 1402630 bytes
-SHA1 (patch-Makefile.in) = 2fcae513a23e31d41a9a0c3e3d792f94c995f354
+SHA1 (isl-0.17.1.tar.bz2) = 10332b7f9bcbf3277f1013b2734e3bfbd5890e64
+RMD160 (isl-0.17.1.tar.bz2) = 6ce9f68af41883047f70b6b8105c24b59197cf4b
+SHA512 (isl-0.17.1.tar.bz2) = b84f6cab0d9fc7cb64f3afc35fc5f8c05db3456c569510788d65d402ebe8116eb49c327b8055eaebdfd0cac4764f279c1832d5440db6ffa0e52331ac52096058
+Size (isl-0.17.1.tar.bz2) = 1620364 bytes
+SHA1 (patch-Makefile.in) = 6808b5b7c2f6b2d9a09e302601dedfa5e94d1800
+SHA1 (patch-configure) = 3cd26066c247366231288cfcaeee203c930d1229
diff --git a/math/isl/patches/patch-Makefile.in b/math/isl/patches/patch-Makefile.in
index 7931f2f7281..b3b8d69320d 100644
--- a/math/isl/patches/patch-Makefile.in
+++ b/math/isl/patches/patch-Makefile.in
@@ -1,10 +1,10 @@
-$NetBSD: patch-Makefile.in,v 1.2 2014/02/25 09:18:25 adam Exp $
+$NetBSD: patch-Makefile.in,v 1.3 2016/10/06 22:03:56 wiz Exp $
 
 '$$libisl' differs between systems, so use 'libisl' instead.
 
---- Makefile.in.orig	2013-04-16 06:42:30.000000000 +0000
+--- Makefile.in.orig	2016-05-06 10:14:54.000000000 +0000
 +++ Makefile.in
-@@ -2331,9 +2331,9 @@ install-data-local: $(srcdir)/isl.py
+@@ -2194,15 +2194,15 @@ install-data-local: $(srcdir)/isl.py
  	case $$libisl in \
  	'') echo Cannot find isl library name. GDB bindings not installed.;; \
  	*) echo $(INSTALL_DATA) $(srcdir)/isl.py \
@@ -14,5 +14,12 @@ $NetBSD: patch-Makefile.in,v 1.2 2014/02/25 09:18:25 adam Exp $
 -	$(INSTALL_DATA) $(srcdir)/isl.py $(DESTDIR)$(libdir)/$$libisl-gdb.py; esac
 +	$(INSTALL_DATA) $(srcdir)/isl.py $(DESTDIR)$(libdir)/libisl-gdb.py; esac
  
+ uninstall-local:
+ 	@libisl=`sed -ne "/^library_names=/{s/.*='//;s/'$$//;s/ .*//;p;}" \
+ 		 $(builddir)/libisl.la`; \
+ 	if test -n "$${libisl}"; then \
+-		rm -f $(DESTDIR)$(libdir)/$$libisl-gdb.py; \
++		rm -f $(DESTDIR)$(libdir)/libisl-gdb.py; \
+ 	fi
+ 
  # Tell versions [3.59,3.63) of GNU make to not export all variables.
- # Otherwise a system limit (for SysV at least) may be exceeded.
diff --git a/math/isl/patches/patch-configure b/math/isl/patches/patch-configure
new file mode 100644
index 00000000000..b0564b5bc9c
--- /dev/null
+++ b/math/isl/patches/patch-configure
@@ -0,0 +1,24 @@
+$NetBSD: patch-configure,v 1.1 2016/10/06 22:03:56 wiz Exp $
+
+Fix == in configure script.
+
+--- configure.orig	2016-10-06 09:14:39.058506899 +0000
++++ configure
+@@ -17487,7 +17487,7 @@ else
+ fi
+ 
+ 
+- if test "x$with_int" == "ximath-32"; then
++ if test "x$with_int" = "ximath-32"; then
+   SMALL_INT_OPT_TRUE=
+   SMALL_INT_OPT_FALSE='#'
+ else
+@@ -17495,7 +17495,7 @@ else
+   SMALL_INT_OPT_FALSE=
+ fi
+ 
+-if test "x$with_int" == "ximath-32"; then :
++if test "x$with_int" = "ximath-32"; then :
+ 
+ 
+ $as_echo "#define USE_SMALL_INT_OPT /**/" >>confdefs.h