summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--config/cc/gcc.in2
-rw-r--r--config/companion_libs/isl.in1
2 files changed, 2 insertions, 1 deletions
diff --git a/config/cc/gcc.in b/config/cc/gcc.in
index e0dfc7e..a91e143 100644
--- a/config/cc/gcc.in
+++ b/config/cc/gcc.in
@@ -454,7 +454,7 @@ config CC_GCC_USE_GRAPHITE
bool
default y
depends on CC_GCC_HAS_GRAPHITE
- select CLOOG_NEEDED
+ select CLOOG_NEEDED if !CC_GCC_5_1_or_later
select PPL_NEEDED if !CC_GCC_4_8_or_later
select ISL_NEEDED if CC_GCC_4_8_or_later
help
diff --git a/config/companion_libs/isl.in b/config/companion_libs/isl.in
index 92e659b..93babe7 100644
--- a/config/companion_libs/isl.in
+++ b/config/companion_libs/isl.in
@@ -17,6 +17,7 @@ config ISL_V_0_12_2
config ISL_V_0_11_1
bool
prompt "0.11.1"
+ depends on ! CC_GCC_5_1_or_later
endchoice