diff options
Diffstat (limited to 'config/companion_libs/cloog.in')
-rw-r--r-- | config/companion_libs/cloog.in | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/config/companion_libs/cloog.in b/config/companion_libs/cloog.in index 5f50c07..8fe87c3 100644 --- a/config/companion_libs/cloog.in +++ b/config/companion_libs/cloog.in @@ -10,10 +10,12 @@ config CLOOG_V_0_15_11 bool prompt "0.15.11 (EXPERIMENTAL)" depends on EXPERIMENTAL + 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 @@ -46,3 +48,10 @@ config CLOOG_VERSION default "0.15.5" if CLOOG_V_0_15_5 default "0.15.4" if CLOOG_V_0_15_4 default "0.15.3" if CLOOG_V_0_15_3 + +config CLOOG_0_15_1x + bool + select CLOOG_NEEDS_AUTORECONF + +config CLOOG_NEEDS_AUTORECONF + bool |