diff options
Diffstat (limited to 'config/cc')
| -rw-r--r-- | config/cc/gcc.in | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/config/cc/gcc.in b/config/cc/gcc.in index cdcda9d..96e0b28 100644 --- a/config/cc/gcc.in +++ b/config/cc/gcc.in @@ -8,6 +8,17 @@ ## select CC_SUPPORT_OBJC ## select CC_SUPPORT_OBJCXX ## select CC_SUPPORT_GOLANG +# GCC7 requires ISL 0.15+ +## 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) +## select ISL_REQUIRE_0_12_or_later if ISL_NEEDED && GCC_5_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 +## select ISL_REQUIRE_0_15_or_older if ISL_NEEDED && GCC_4_9_or_later && !GCC_5_or_later +## select ISL_REQUIRE_0_14_or_older if ISL_NEEDED && GCC_4_8_or_later && !GCC_4_9_or_later ## ## help gcc is the full-blown GNU compiler. This is what most people will choose. ## help |