From 00799b54747a6bbd4896e1f44fbeab60b3b923e0 Mon Sep 17 00:00:00 2001
From: Bryan Hundven <bryanhundven@gmail.com>
Date: Sat, 25 Apr 2015 13:11:32 -0700
Subject: config/isl: bump isl to 0.14 for >=gcc-5.1

Signed-off-by: Bryan Hundven <bryanhundven@gmail.com>

diff --git a/config/companion_libs/isl.in b/config/companion_libs/isl.in
index a6b53fb..92e659b 100644
--- a/config/companion_libs/isl.in
+++ b/config/companion_libs/isl.in
@@ -6,6 +6,10 @@ choice
 # Don't remove next line
 # CT_INSERT_VERSION_BELOW
 
+config ISL_V_0_14
+    bool
+    prompt "0.14"
+
 config ISL_V_0_12_2
     bool
     prompt "0.12.2"
@@ -20,5 +24,6 @@ config ISL_VERSION
     string
 # Don't remove next line
 # CT_INSERT_VERSION_STRING_BELOW
+    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
-- 
cgit v0.10.2-6-g49f6