diff options
Diffstat (limited to 'config/companion_libs/isl.in')
-rw-r--r-- | config/companion_libs/isl.in | 83 |
1 files changed, 7 insertions, 76 deletions
diff --git a/config/companion_libs/isl.in b/config/companion_libs/isl.in index bb2766f..cf0fea8 100644 --- a/config/companion_libs/isl.in +++ b/config/companion_libs/isl.in @@ -1,92 +1,23 @@ # ISL options +# TBD need to encode this with new framework # GCC 4.8 supports ISL 0.10 to 0.14 # GCC 4.9 supports ISL 0.10 to 0.15 # GCC 5 supports ISL 0.12 to 0.16 # GCC 6 supports ISL 0.14 to 0.16 +# GCC 7 supports ISL 0.15 and up # Starting with GCC 5, GCC's configure no longer checks the ISL version explicitly, # despite what the configure's message says ("checking for isl 0.15 or 0.16"). # Instead, it verifies that certain interfaces are available, so it accepts 0.17.1 # or 0.18 under that check. Include them as experimental just in case anyone needs # the bugfixes in these releases. -choice - bool - prompt "ISL version" -# Don't remove next line -# CT_INSERT_VERSION_BELOW - -config ISL_V_0_18 - bool - prompt "0.18" - depends on EXPERIMENTAL # Not officially recommended by GCC - depends on CC_GCC_5_or_later - select ISL_V_0_16_or_later - -config ISL_V_0_17_1 - bool - prompt "0.17.1" - depends on EXPERIMENTAL # Not officially recommended by GCC - depends on CC_GCC_5_or_later - select ISL_V_0_16_or_later - -config ISL_V_0_16_1 - bool - prompt "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 - select ISL_V_0_15_or_later - -config ISL_V_0_14 - bool - prompt "0.14 (OBSOLETE)" - select ISL_V_0_14_or_later - depends on OBSOLETE - -config ISL_V_0_12_2 - bool - prompt "0.12.2 (OBSOLETE)" - depends on !CC_GCC_6_or_later - select ISL_V_0_12_or_later - depends on OBSOLETE - -config ISL_V_0_11_1 - bool - prompt "0.11.1 (OBSOLETE)" - depends on !CC_GCC_4_9_or_later - depends on OBSOLETE -endchoice +source "config/versions/isl.in" -config ISL_V_0_16_or_later +config ISL_NEEDS_WITH_GMP bool - select ISL_V_0_15_or_later + default y if !ISL_0_12_or_later -config ISL_V_0_15_or_later +config ISL_HAS_WITH_PIPLIB bool - select ISL_V_0_14_or_later - -config ISL_V_0_14_or_later - bool - select ISL_V_0_12_or_later - -config ISL_V_0_12_or_later - bool - -config ISL_VERSION - string -# Don't remove next line -# CT_INSERT_VERSION_STRING_BELOW - default "0.18" if ISL_V_0_18 - default "0.17.1" if ISL_V_0_17_1 - default "0.16.1" if ISL_V_0_16_1 - default "0.15" if ISL_V_0_15 - 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 + default y if !ISL_0_14_or_later |