1.1 --- a/config/companion_libs/cloog.in	Sun Sep 13 17:51:33 2009 +0200
     1.2 +++ b/config/companion_libs/cloog.in	Sun Sep 13 18:38:06 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!