config/companion_libs/cloog.in
changeset 1873 4477403726db
parent 1615 50b25816f5bb
child 2157 715544fc2fe9
     1.1 --- a/config/companion_libs/cloog.in	Wed Oct 28 19:15:50 2009 +0100
     1.2 +++ b/config/companion_libs/cloog.in	Tue Mar 30 22:31:49 2010 +0200
     1.3 @@ -6,6 +6,14 @@
     1.4  # Don't remove next line
     1.5  # CT_INSERT_VERSION_BELOW
     1.6  
     1.7 +config CLOOG_V_0_15_9
     1.8 +    bool
     1.9 +    prompt "0.15.9"
    1.10 +
    1.11 +config CLOOG_V_0_15_8
    1.12 +    bool
    1.13 +    prompt "0.15.8"
    1.14 +
    1.15  config CLOOG_V_0_15_7
    1.16      bool
    1.17      prompt "0.15.7"
    1.18 @@ -35,6 +43,8 @@
    1.19      string
    1.20  # Don't remove next line
    1.21  # CT_INSERT_VERSION_STRING_BELOW
    1.22 +    default "0.15.9" if CLOOG_V_0_15_9
    1.23 +    default "0.15.8" if CLOOG_V_0_15_8
    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