1.1 --- a/config/companion_libs/cloog.in Sun Sep 13 17:51:33 2009 +0200
1.2 +++ b/config/companion_libs/cloog.in Sat Sep 26 12:46:41 2009 +0200
1.3 @@ -3,6 +3,8 @@
1.4 choice
1.5 bool
1.6 prompt "CLooG/ppl version"
1.7 +# Don't remove next line
1.8 +# CT_INSERT_VERSION_BELOW
1.9
1.10 config CLOOG_V_0_15_7
1.11 bool
1.12 @@ -24,16 +26,14 @@
1.13 bool
1.14 prompt "0.15.3"
1.15
1.16 -# CT_INSERT_VERSION_ABOVE
1.17 -# Don't remove above line!
1.18 endchoice
1.19
1.20 config CLOOG_VERSION
1.21 string
1.22 +# Don't remove next line
1.23 +# CT_INSERT_VERSION_STRING_BELOW
1.24 default "0.15.7" if CLOOG_V_0_15_7
1.25 default "0.15.6" if CLOOG_V_0_15_6
1.26 default "0.15.5" if CLOOG_V_0_15_5
1.27 default "0.15.4" if CLOOG_V_0_15_4
1.28 default "0.15.3" if CLOOG_V_0_15_3
1.29 -# CT_INSERT_VERSION_STRING_ABOVE
1.30 -# Don't remove above line!