diff -r 50b25816f5bb -r 4477403726db config/companion_libs/cloog.in --- a/config/companion_libs/cloog.in Wed Oct 28 19:15:50 2009 +0100 +++ b/config/companion_libs/cloog.in Tue Mar 30 22:31:49 2010 +0200 @@ -6,6 +6,14 @@ # Don't remove next line # CT_INSERT_VERSION_BELOW +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" @@ -35,6 +43,8 @@ string # Don't remove next line # CT_INSERT_VERSION_STRING_BELOW + 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 default "0.15.5" if CLOOG_V_0_15_5