1.1 --- a/config/companion_libs/cloog.in	Mon Sep 07 22:03:06 2009 +0200
     1.2 +++ b/config/companion_libs/cloog.in	Sun Sep 13 17:51:33 2009 +0200
     1.3 @@ -4,25 +4,25 @@
     1.4      bool
     1.5      prompt "CLooG/ppl version"
     1.6  
     1.7 -config CLOOG_V_0_15_3
     1.8 +config CLOOG_V_0_15_7
     1.9      bool
    1.10 -    prompt "0.15.3"
    1.11 +    prompt "0.15.7"
    1.12 +
    1.13 +config CLOOG_V_0_15_6
    1.14 +    bool
    1.15 +    prompt "0.15.6"
    1.16 +
    1.17 +config CLOOG_V_0_15_5
    1.18 +    bool
    1.19 +    prompt "0.15.5"
    1.20  
    1.21  config CLOOG_V_0_15_4
    1.22      bool
    1.23      prompt "0.15.4"
    1.24  
    1.25 -config CLOOG_V_0_15_5
    1.26 +config CLOOG_V_0_15_3
    1.27      bool
    1.28 -    prompt "0.15.5"
    1.29 -
    1.30 -config CLOOG_V_0_15_6
    1.31 -    bool
    1.32 -    prompt "0.15.6"
    1.33 -
    1.34 -config CLOOG_V_0_15_7
    1.35 -    bool
    1.36 -    prompt "0.15.7"
    1.37 +    prompt "0.15.3"
    1.38  
    1.39  # CT_INSERT_VERSION_ABOVE
    1.40  # Don't remove above line!
    1.41 @@ -30,10 +30,10 @@
    1.42  
    1.43  config CLOOG_VERSION
    1.44      string
    1.45 +    default "0.15.7" if CLOOG_V_0_15_7
    1.46 +    default "0.15.6" if CLOOG_V_0_15_6
    1.47 +    default "0.15.5" if CLOOG_V_0_15_5
    1.48 +    default "0.15.4" if CLOOG_V_0_15_4
    1.49      default "0.15.3" if CLOOG_V_0_15_3
    1.50 -    default "0.15.4" if CLOOG_V_0_15_4
    1.51 -    default "0.15.5" if CLOOG_V_0_15_5
    1.52 -    default "0.15.6" if CLOOG_V_0_15_6
    1.53 -    default "0.15.7" if CLOOG_V_0_15_7
    1.54  # CT_INSERT_VERSION_STRING_ABOVE
    1.55  # Don't remove above line!