summaryrefslogtreecommitdiff
path: root/config/companion_libs
diff options
context:
space:
mode:
authorJasmin Jessich <jasmin@anw.at>2015-09-13 20:57:17 (GMT)
committerJasmin Jessich <jasmin@anw.at>2015-09-13 21:10:00 (GMT)
commited647a79b0cc567e620bf32a82098705ba598087 (patch)
tree637f39236abd6143ab8da657ef9709ad75c4a6d4 /config/companion_libs
parentb6342809d005ea2b0d24406eff52b6bac4ec0eee (diff)
Fixed issue 173 and 174.
gcc 5.x -> isl 0.12.2, 0.14 0.15 gcc < 5.x -> cloog < 0.18.4 -> isl 0.12.2, 0.11.1 -> cloog >= 0.18.4 -> isl 0.14 Signed-off-by: Jasmin Jessich <jasmin@anw.at>
Diffstat (limited to 'config/companion_libs')
-rw-r--r--config/companion_libs/isl.in6
1 files changed, 3 insertions, 3 deletions
diff --git a/config/companion_libs/isl.in b/config/companion_libs/isl.in
index 4f6ee36..1db51b3 100644
--- a/config/companion_libs/isl.in
+++ b/config/companion_libs/isl.in
@@ -9,19 +9,19 @@ choice
config ISL_V_0_15
bool
prompt "0.15"
- depends on CLOOG_0_18_4_or_later
+ depends on CC_GCC_5_1_or_later
select ISL_V_0_15_or_later
config ISL_V_0_14
bool
prompt "0.14"
- depends on CLOOG_0_18_4_or_later
+ depends on CLOOG_0_18_4_or_later || CC_GCC_5_1_or_later
select ISL_V_0_14_or_later
config ISL_V_0_12_2
bool
prompt "0.12.2"
- depends on ! CLOOG_0_18_4_or_later
+ depends on ! CLOOG_0_18_4_or_later || CC_GCC_5_1_or_later
select ISL_V_0_12_or_later
config ISL_V_0_11_1