From e646076edfc6957e82f94f2c9014c78294d7764a Mon Sep 17 00:00:00 2001
From: Riccardo Mori <patacca@autistici.org>
Date: Wed, 7 Jul 2021 16:20:38 +0200
Subject: [PATCH] add isl_set_list_read_from_str

This is needed for properly exporting isl_set_list
to the Python bindings in the next commit.

Signed-off-by: Riccardo Mori <patacca@autistici.org>
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
---
 doc/user.pod           | 6 +++++-
 include/isl/map_type.h | 1 +
 isl_set_list.c         | 1 +
 3 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/doc/user.pod b/doc/user.pod
index 743e8815..1e8d6a92 100644
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -9411,7 +9411,7 @@ in isl format.
 An C<isl_val_list>, C<isl_id_list>,
 C<isl_aff_list>, C<isl_pw_aff_list>, C<isl_pw_multi_aff_list>,
 C<isl_union_pw_aff_list>,
-C<isl_map_list> or C<isl_union_set_list> object
+C<isl_set_list>, C<isl_map_list> or C<isl_union_set_list> object
 can also be read from input using the following functions.
 
 	#include <isl/val.h>
@@ -9436,6 +9436,10 @@ can also be read from input using the following functions.
 	isl_union_pw_aff_list_read_from_str(isl_ctx *ctx,
 		const char *str);
 
+	#include <isl/set.h>
+	__isl_give isl_set_list *isl_set_list_read_from_str(
+		isl_ctx *ctx, const char *str);
+
 	#include <isl/map.h>
 	__isl_give isl_map_list *isl_map_list_read_from_str(
 		isl_ctx *ctx, const char *str);
diff --git a/include/isl/map_type.h b/include/isl/map_type.h
index 88025846..4fae0ed5 100644
--- a/include/isl/map_type.h
+++ b/include/isl/map_type.h
@@ -29,6 +29,7 @@ ISL_DECLARE_LIST_TYPE(set)
 
 ISL_DECLARE_LIST_FN(basic_set)
 ISL_DECLARE_LIST_FN(set)
+ISL_DECLARE_LIST_FN_READ(set)
 
 #if defined(__cplusplus)
 }
diff --git a/isl_set_list.c b/isl_set_list.c
index e505552e..e1bbcaf5 100644
--- a/isl_set_list.c
+++ b/isl_set_list.c
@@ -25,6 +25,7 @@
 #define EL_BASE set
 
 #include <isl_list_templ.c>
+#include <isl_list_read_templ.c>
 
 #undef EL_BASE
 #define EL_BASE union_set
-- 
2.11.4.GIT