1.1 --- a/config/companion_libs/cloog.in Sun Feb 09 22:24:56 2014 +0100
1.2 +++ b/config/companion_libs/cloog.in Tue Feb 11 21:34:48 2014 +0100
1.3 @@ -9,6 +9,11 @@
1.4 # Don't remove next line
1.5 # CT_INSERT_VERSION_BELOW
1.6
1.7 +config CLOOG_V_0_18_1
1.8 + bool
1.9 + prompt "0.18.1"
1.10 + select CLOOG_0_18_or_later
1.11 +
1.12 config CLOOG_V_0_18_0
1.13 bool
1.14 prompt "0.18.0"
1.15 @@ -52,6 +57,7 @@
1.16 string
1.17 # Don't remove next line
1.18 # CT_INSERT_VERSION_STRING_BELOW
1.19 + default "0.18.1" if CLOOG_V_0_18_1
1.20 default "0.18.0" if CLOOG_V_0_18_0
1.21 default "0.15.11" if CLOOG_V_0_15_11
1.22 default "0.15.10" if CLOOG_V_0_15_10