diff options
Diffstat (limited to 'config/cc/gcc.in')
| -rw-r--r-- | config/cc/gcc.in | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/config/cc/gcc.in b/config/cc/gcc.in index 48ec5562..74fbb70a 100644 --- a/config/cc/gcc.in +++ b/config/cc/gcc.in @@ -11,8 +11,10 @@ ## select ISL_REQUIRE_0_15_or_later if ISL_NEEDED && GCC_7_or_later # GCC6 requires ISL 0.14+ (it says 0.14-0.16, but accepts newer ISL as well) ## select ISL_REQUIRE_0_14_or_later if ISL_NEEDED && GCC_6_or_later -# GCC5 requires ISL 0.12+ (again, it says 0.12-0.16, but also accepts newer ISL) +# GCC5 requires ISL 0.12+ (again, it says 0.12-0.16, but also accepts newer ISL up to 0.18; +# fails to compile with 0.19+) ## select ISL_REQUIRE_0_12_or_later if ISL_NEEDED && GCC_5_or_later +## select ISL_REQUIRE_0_18_or_older if ISL_NEEDED && GCC_5_or_later && !GCC_6_or_later # GCC4.9 requires ISL 0.10..0.15 # GCC4.8 requires ISL 0.10..0.14 ## select ISL_REQUIRE_0_10_or_later if ISL_NEEDED && GCC_4_8_or_later |