diff options
Diffstat (limited to 'config/companion_libs/cloog.in')
| -rw-r--r-- | config/companion_libs/cloog.in | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/config/companion_libs/cloog.in b/config/companion_libs/cloog.in index 75ddb14..1786d81 100644 --- a/config/companion_libs/cloog.in +++ b/config/companion_libs/cloog.in @@ -16,15 +16,18 @@ config CLOOG_V_0_15_6 config CLOOG_V_0_15_5 bool - prompt "0.15.5" + prompt "0.15.5 (OBSOLETE)" + depends on OBSOLETE config CLOOG_V_0_15_4 bool - prompt "0.15.4" + prompt "0.15.4 (OBSOLETE)" + depends on OBSOLETE config CLOOG_V_0_15_3 bool - prompt "0.15.3" + prompt "0.15.3 (OBSOLETE)" + depends on OBSOLETE endchoice |