From a00b6f920ce904048da1bddf1c45e5ccde2c594a Mon Sep 17 00:00:00 2001
From: Andreas Kloeckner <inform@tiker.net>
Date: Thu, 28 Apr 2016 09:13:49 -0500
Subject: [PATCH] Upgrade to isl 0.17

---
 gen_wrap.py | 4 ++++
 isl         | 2 +-
 setup.py    | 4 ++++
 3 files changed, 9 insertions(+), 1 deletion(-)

diff --git a/gen_wrap.py b/gen_wrap.py
index 51bbbf4..b3b4946 100644
--- a/gen_wrap.py
+++ b/gen_wrap.py
@@ -790,6 +790,10 @@ class FunctionData:
             elif name.startswith("equality_") or name.startswith("inequality_"):
                 found_class = True
                 cls = "constraint"
+            elif name == "ast_op_type_set_print_name":
+                found_class = True
+                cls = "printer"
+                name = "ast_op_type_set_print_name"
 
         if name.startswith("2"):
             name = "two_"+name[1:]
diff --git a/isl b/isl
index d7409dc..660ac0a 160000
--- a/isl
+++ b/isl
@@ -1 +1 @@
-Subproject commit d7409dcb88f890b871f8dc5dd1fe01112588650b
+Subproject commit 660ac0ac9c02dac5cc80faa3fe136fd2ff3018cb
diff --git a/setup.py b/setup.py
index 8672c37..4075300 100644
--- a/setup.py
+++ b/setup.py
@@ -126,11 +126,15 @@ def main():
                 "isl_multi_intersect.c",
                 "isl_multi_floor.c",
                 "isl_multi_apply_union_set.c",
+                "isl_multi_cmp.c",
+                "isl_multi_hash.c",
                 "isl_union_templ.c",
                 "isl_union_multi.c",
                 "isl_union_eval.c",
                 "isl_union_neg.c",
                 "isl_union_single.c",
+                "isl_pw_hash.c",
+                "isl_pw_union_opt.c",
                 ]
 
         for fn in glob("isl/*.c"):
-- 
GitLab