summaryrefslogtreecommitdiff
path: root/config/companion_libs/cloog.in
diff options
context:
space:
mode:
Diffstat (limited to 'config/companion_libs/cloog.in')
-rw-r--r--config/companion_libs/cloog.in10
1 files changed, 7 insertions, 3 deletions
diff --git a/config/companion_libs/cloog.in b/config/companion_libs/cloog.in
index d6e129d..f094fa3 100644
--- a/config/companion_libs/cloog.in
+++ b/config/companion_libs/cloog.in
@@ -1,4 +1,5 @@
# CLooG options
+## depends on OBSOLETE
# CLooG 0.18.4 requires ISL 0.12 or newer
# CLooG 0.18.1/0.18.0 frequires ISL 0.12 or older
@@ -11,20 +12,23 @@ choice
config CLOOG_V_0_18_4
bool
- prompt "0.18.4"
+ prompt "0.18.4 (OBSOLETE)"
depends on ISL_V_0_12_or_later
+ depends on OBSOLETE
select CLOOG_0_18_4_or_later
config CLOOG_V_0_18_1
bool
- prompt "0.18.1"
+ prompt "0.18.1 (OBSOLETE)"
depends on !ISL_V_0_14_or_later
+ depends on OBSOLETE
select CLOOG_0_18_or_later
config CLOOG_V_0_18_0
bool
- prompt "0.18.0"
+ prompt "0.18.0 (OBSOLETE)"
depends on !ISL_V_0_14_or_later
+ depends on OBSOLETE
select CLOOG_0_18_or_later
endchoice