summaryrefslogtreecommitdiff
path: root/config/cc
diff options
context:
space:
mode:
authorAlexey Neyman <stilor@att.net>2017-06-30 05:40:50 (GMT)
committerAlexey Neyman <stilor@att.net>2017-07-08 17:57:56 (GMT)
commitb155ce6ab804df56cdeb5b89bdf89f805ef4d853 (patch)
tree8c15f88f3a1b38689b5ffc2033187af0c9a6c884 /config/cc
parentc7a924a0732bd2aefe9af1411da629ccc3f34811 (diff)
Encode GCC/ISL/CLooG requirements
Signed-off-by: Alexey Neyman <stilor@att.net>
Diffstat (limited to 'config/cc')
-rw-r--r--config/cc/gcc.in11
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