From 20e73c4f6278890f7dd2ce9299d926ec73e18307 Mon Sep 17 00:00:00 2001
From: Alastair D'Silva <alastair@d-silva.org>
Date: Sat, 24 Dec 2016 08:32:54 +1100
Subject: [PATCH] Bump ISL to 0.16.1

Signed-off-by: Alastair D'Silva <alastair@d-silva.org>
---
 config/companion_libs/isl.in | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/config/companion_libs/isl.in b/config/companion_libs/isl.in
index 1477212a..05847643 100644
--- a/config/companion_libs/isl.in
+++ b/config/companion_libs/isl.in
@@ -6,6 +6,12 @@ choice
 # Don't remove next line
 # CT_INSERT_VERSION_BELOW
 
+config ISL_V_0_16_1
+    bool
+    prompt "0.16.1"
+    depends on CLOOG_0_18_4_or_later || CC_GCC_5_or_later
+    select ISL_V_0_16_or_later
+
 config ISL_V_0_14
     bool
     prompt "0.14"
@@ -26,6 +32,10 @@ config ISL_V_0_11_1
 
 endchoice
 
+config ISL_V_0_16_or_later
+    bool
+    select ISL_V_0_14_or_later
+
 config ISL_V_0_14_or_later
     bool
     select ISL_V_0_12_or_later
@@ -37,6 +47,7 @@ config ISL_VERSION
     string
 # Don't remove next line
 # CT_INSERT_VERSION_STRING_BELOW
+    default "0.16.1" if ISL_V_0_16_1
     default "0.14" if ISL_V_0_14
     default "0.12.2" if ISL_V_0_12_2
     default "0.11.1" if ISL_V_0_11_1