diff -r da167ec304be -r 47199f966983 config/companion_libs/cloog.in
--- a/config/companion_libs/cloog.in	Sat Apr 30 14:36:34 2011 +0200
+++ b/config/companion_libs/cloog.in	Sun Oct 16 15:10:29 2011 +0200
@@ -10,10 +10,12 @@
     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 @@
     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