config/companion_libs/cloog.in
changeset 1522 aab8f20f3795
parent 1386 7995942261f2
child 1534 d4ddf19a1968
     1.1 --- a/config/companion_libs/cloog.in	Mon May 25 19:46:58 2009 +0000
     1.2 +++ b/config/companion_libs/cloog.in	Mon Sep 07 22:03:06 2009 +0200
     1.3 @@ -8,6 +8,22 @@
     1.4      bool
     1.5      prompt "0.15.3"
     1.6  
     1.7 +config CLOOG_V_0_15_4
     1.8 +    bool
     1.9 +    prompt "0.15.4"
    1.10 +
    1.11 +config CLOOG_V_0_15_5
    1.12 +    bool
    1.13 +    prompt "0.15.5"
    1.14 +
    1.15 +config CLOOG_V_0_15_6
    1.16 +    bool
    1.17 +    prompt "0.15.6"
    1.18 +
    1.19 +config CLOOG_V_0_15_7
    1.20 +    bool
    1.21 +    prompt "0.15.7"
    1.22 +
    1.23  # CT_INSERT_VERSION_ABOVE
    1.24  # Don't remove above line!
    1.25  endchoice
    1.26 @@ -15,5 +31,9 @@
    1.27  config CLOOG_VERSION
    1.28      string
    1.29      default "0.15.3" if CLOOG_V_0_15_3
    1.30 +    default "0.15.4" if CLOOG_V_0_15_4
    1.31 +    default "0.15.5" if CLOOG_V_0_15_5
    1.32 +    default "0.15.6" if CLOOG_V_0_15_6
    1.33 +    default "0.15.7" if CLOOG_V_0_15_7
    1.34  # CT_INSERT_VERSION_STRING_ABOVE
    1.35  # Don't remove above line!