isl: updated to 0.23

version: 0.23
date: Sun 01 Nov 2020 02:41:20 PM CET
changes:
        - minor improvements to coalescing
        - use build compiler to build extract_interface
        - add some convenience functions
        - ignore parameters in isl_union_* hash tables
---
version: 0.22.1
date: Sun Jan 12 10:48:18 CET 2020
changes:
        - fix error handling
---
version: 0.22
date: Fri Nov  1 18:39:30 CET 2019
changes:
        - require C++11 to generate bindings
        - improved bindings
        - scheduler fix involving fixed dimensions
        - accept ranges in tuples during parsing
        - add some convenience functions
---
version: 0.21
date: Sat Mar  9 15:25:29 CET 2019
changes:
        - preliminary C++ bindings
        - use incremental scheduler by default
        - introduce isl_size type
        - rename isl_ast_op_type to isl_ast_expr_op_type
        - fix coalescing bugs
        - use isl_bool to return extra boolean argument
---
version: 0.20
date: Sat Jul 21 18:10:08 CEST 2018
changes:
        - keep track of domain in 0D isl_multi_pw_aff and isl_multi_union_pw_aff
        - add isl_aff_eval and isl_pw_aff_eval
        - add fixed-size rectangular box hull
---
version: 0.19
date: Sat Mar  3 10:44:49 CET 2018
changes:
        - minor improvements to coalescing
        - minor improvement to parametric integer programming
        - try harder to avoid large coefficients in scheduler
        - support kill accesses in dependence analysis
        - drop deprecated isl_int
        - drop deprecated band forests
        - drop deprecated functions
---
version: 0.18
date: Sun Dec 18 11:01:58 CET 2016
changes:
        - improve elimination of redundant existentially quantified variables
        - improve coalescing
        - improve parametric integer programming
        - preserve isolate option in isl_schedule_node_band_split
        - print AST nodes in YAML format
        - minor improvements to Python bindings

5 files changed, 33 insertions, 48 deletions

diff --git a/math/isl/Makefile b/math/isl/Makefile
index eab6c948956..3641983188b 100644
--- a/math/isl/Makefile
+++ b/math/isl/Makefile
@@ -1,19 +1,18 @@
-# $NetBSD: Makefile,v 1.8 2016/10/06 22:03:56 wiz Exp $
+# $NetBSD: Makefile,v 1.9 2021/04/22 12:03:39 adam Exp $
 
-DISTNAME=	isl-0.17.1
+DISTNAME=	isl-0.23
 CATEGORIES=	math
 MASTER_SITES=	http://isl.gforge.inria.fr/
-EXTRACT_SUFX=	.tar.bz2
+EXTRACT_SUFX=	.tar.xz
 
 MAINTAINER=	pkgsrc-users@NetBSD.org
 HOMEPAGE=	http://isl.gforge.inria.fr/
 COMMENT=	Integer set library required by gcc graphite
 LICENSE=	mit
 
-USE_LANGUAGES=		c c++
-USE_LIBTOOL=		yes
-GNU_CONFIGURE=		yes
-
+USE_LANGUAGES=	c c++
+USE_LIBTOOL=	yes
+GNU_CONFIGURE=	yes
 TEST_TARGET=	check
 
 .include "../../devel/gmp/buildlink3.mk"
diff --git a/math/isl/PLIST b/math/isl/PLIST
index c7c86f0e809..f25c18c40bd 100644
--- a/math/isl/PLIST
+++ b/math/isl/PLIST
@@ -1,26 +1,14 @@
-@comment $NetBSD: PLIST,v 1.6 2016/10/06 22:03:56 wiz Exp $
+@comment $NetBSD: PLIST,v 1.7 2021/04/22 12:03:39 adam Exp $
 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/cpp.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/fixed_box.h
 include/isl/flow.h
 include/isl/hash.h
 include/isl/hmap.h
@@ -29,6 +17,7 @@ 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/id_type.h
 include/isl/ilp.h
 include/isl/list.h
 include/isl/local_space.h
@@ -57,14 +46,17 @@ include/isl/schedule_type.h
 include/isl/set.h
 include/isl/set_type.h
 include/isl/space.h
+include/isl/space_type.h
 include/isl/stdint.h
 include/isl/stream.h
+include/isl/stride_info.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/val_type.h
 include/isl/vec.h
 include/isl/version.h
 include/isl/vertices.h
diff --git a/math/isl/distinfo b/math/isl/distinfo
index 2715701f454..b0931eff20d 100644
--- a/math/isl/distinfo
+++ b/math/isl/distinfo
@@ -1,8 +1,8 @@
-$NetBSD: distinfo,v 1.8 2016/10/06 22:03:56 wiz Exp $
+$NetBSD: distinfo,v 1.9 2021/04/22 12:03:39 adam Exp $
 
-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
+SHA1 (isl-0.23.tar.xz) = b5f8eeb0780495e97d8e398a068253ee13ed13cb
+RMD160 (isl-0.23.tar.xz) = 041348bb58f69da2bb13db8449fa70fce7520811
+SHA512 (isl-0.23.tar.xz) = da4e7cbd5045d074581d4e1c212acb074a8b2345a96515151b0543cbe2601db6ac2bbd93f9ad6643e98f845b68f438f3882c05b8b90969ae542802a3c78fea20
+Size (isl-0.23.tar.xz) = 1729656 bytes
+SHA1 (patch-Makefile.in) = f0678b31eda3ff02efee7379e5b9a4c395e00473
+SHA1 (patch-configure) = 0dd22aac1da76a59ec3b671b2d12e56b8fd9aa55
diff --git a/math/isl/patches/patch-Makefile.in b/math/isl/patches/patch-Makefile.in
index b3b8d69320d..3f91e9df651 100644
--- a/math/isl/patches/patch-Makefile.in
+++ b/math/isl/patches/patch-Makefile.in
@@ -1,25 +1,19 @@
-$NetBSD: patch-Makefile.in,v 1.3 2016/10/06 22:03:56 wiz Exp $
+$NetBSD: patch-Makefile.in,v 1.4 2021/04/22 12:03:39 adam Exp $
 
 '$$libisl' differs between systems, so use 'libisl' instead.
 
---- Makefile.in.orig	2016-05-06 10:14:54.000000000 +0000
+--- Makefile.in.orig	2020-11-01 13:53:55.000000000 +0000
 +++ Makefile.in
-@@ -2194,15 +2194,15 @@ install-data-local: $(srcdir)/isl.py
+@@ -2889,10 +2889,10 @@ install-data-local: $(srcdir)/libisl-gdb
  	case $$libisl in \
  	'') echo Cannot find isl library name. GDB bindings not installed.;; \
- 	*) echo $(INSTALL_DATA) $(srcdir)/isl.py \
+ 	*) echo $(INSTALL_DATA) $(srcdir)/libisl-gdb.py \
 -		$(DESTDIR)$(libdir)/$$libisl-gdb.py; \
 +		$(DESTDIR)$(libdir)/libisl-gdb.py; \
  	test -z "$(libdir)" || $(MKDIR_P) "$(DESTDIR)$(libdir)"; \
--	$(INSTALL_DATA) $(srcdir)/isl.py $(DESTDIR)$(libdir)/$$libisl-gdb.py; esac
-+	$(INSTALL_DATA) $(srcdir)/isl.py $(DESTDIR)$(libdir)/libisl-gdb.py; esac
+ 	$(INSTALL_DATA) $(srcdir)/libisl-gdb.py \
+-	    $(DESTDIR)$(libdir)/$$libisl-gdb.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.
diff --git a/math/isl/patches/patch-configure b/math/isl/patches/patch-configure
index b0564b5bc9c..1fe483889e7 100644
--- a/math/isl/patches/patch-configure
+++ b/math/isl/patches/patch-configure
@@ -1,19 +1,19 @@
-$NetBSD: patch-configure,v 1.1 2016/10/06 22:03:56 wiz Exp $
+$NetBSD: patch-configure,v 1.2 2021/04/22 12:03:39 adam Exp $
 
 Fix == in configure script.
 
---- configure.orig	2016-10-06 09:14:39.058506899 +0000
+--- configure.orig	2020-11-01 13:53:55.000000000 +0000
 +++ configure
-@@ -17487,7 +17487,7 @@ else
+@@ -20654,7 +20654,7 @@ else
+   HAVE_CXX11_FALSE=
  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
+@@ -20662,7 +20662,7 @@ else
    SMALL_INT_OPT_FALSE=
  fi