diff options
Diffstat (limited to 'config')
-rw-r--r-- | config/companion_libs/cloog.in | 32 |
1 files changed, 1 insertions, 31 deletions
diff --git a/config/companion_libs/cloog.in b/config/companion_libs/cloog.in index 6f6a776..c42d7df 100644 --- a/config/companion_libs/cloog.in +++ b/config/companion_libs/cloog.in @@ -26,28 +26,7 @@ if PPL config CLOOG_V_0_15_11 bool prompt "0.15.11" - select CLOOG_0_15_1x - -config CLOOG_V_0_15_10 - bool - prompt "0.15.10" - select CLOOG_0_15_1x - -config CLOOG_V_0_15_9 - bool - prompt "0.15.9" - -config CLOOG_V_0_15_8 - bool - prompt "0.15.8" - -config CLOOG_V_0_15_7 - bool - prompt "0.15.7" - -config CLOOG_V_0_15_6 - bool - prompt "0.15.6" + select CLOOG_NEEDS_AUTORECONF endif # PPL @@ -60,18 +39,9 @@ config CLOOG_VERSION default "0.18.1" if CLOOG_V_0_18_1 default "0.18.0" if CLOOG_V_0_18_0 default "0.15.11" if CLOOG_V_0_15_11 - default "0.15.10" if CLOOG_V_0_15_10 - default "0.15.9" if CLOOG_V_0_15_9 - default "0.15.8" if CLOOG_V_0_15_8 - default "0.15.7" if CLOOG_V_0_15_7 - default "0.15.6" if CLOOG_V_0_15_6 config CLOOG_0_18_or_later bool -config CLOOG_0_15_1x - bool - select CLOOG_NEEDS_AUTORECONF - config CLOOG_NEEDS_AUTORECONF bool |