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.in9
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