summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--config/companion_libs/isl.in3
1 files changed, 3 insertions, 0 deletions
diff --git a/config/companion_libs/isl.in b/config/companion_libs/isl.in
index f1af3a0..66db376 100644
--- a/config/companion_libs/isl.in
+++ b/config/companion_libs/isl.in
@@ -35,9 +35,12 @@ config ISL_V_0_16_1
depends on CC_GCC_5_or_later
select ISL_V_0_16_or_later
+# Linaro version of 4.9 does not support ISL 0.15, but most recent
+# mainline 4.9 release (4.9.4) does.
config ISL_V_0_15
bool
prompt "0.15"
+ depends on CC_GCC_4_9_or_later && !CC_GCC_V_linaro_4_9
select ISL_V_0_15_or_later
config ISL_V_0_14