diff options
Diffstat (limited to 'config')
-rw-r--r-- | config/companion_libs/isl.in | 3 |
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 |