config/companion_libs/gmp.in
changeset 1534 d4ddf19a1968
parent 1440 acee1a44d10d
child 1535 073d351bdcd3
     1.1 --- a/config/companion_libs/gmp.in	Sun Aug 02 23:33:37 2009 +0200
     1.2 +++ b/config/companion_libs/gmp.in	Sun Sep 13 17:51:33 2009 +0200
     1.3 @@ -4,21 +4,21 @@
     1.4      bool
     1.5      prompt "GMP version"
     1.6  
     1.7 -config GMP_V_4_2_2
     1.8 +config GMP_V_4_3_1
     1.9      bool
    1.10 -    prompt "4.2.2"
    1.11 +    prompt "4.3.1"
    1.12 +
    1.13 +config GMP_V_4_3_0
    1.14 +    bool
    1.15 +    prompt "4.3.0"
    1.16  
    1.17  config GMP_V_4_2_4
    1.18      bool
    1.19      prompt "4.2.4"
    1.20  
    1.21 -config GMP_V_4_3_0
    1.22 +config GMP_V_4_2_2
    1.23      bool
    1.24 -    prompt "4.3.0"
    1.25 -
    1.26 -config GMP_V_4_3_1
    1.27 -    bool
    1.28 -    prompt "4.3.1"
    1.29 +    prompt "4.2.2"
    1.30  
    1.31  # CT_INSERT_VERSION_ABOVE
    1.32  # Don't remove above line!
    1.33 @@ -26,9 +26,9 @@
    1.34  
    1.35  config GMP_VERSION
    1.36      string
    1.37 +    default "4.3.1" if GMP_V_4_3_1
    1.38 +    default "4.3.0" if GMP_V_4_3_0
    1.39 +    default "4.2.4" if GMP_V_4_2_4
    1.40      default "4.2.2" if GMP_V_4_2_2
    1.41 -    default "4.2.4" if GMP_V_4_2_4
    1.42 -    default "4.3.0" if GMP_V_4_3_0
    1.43 -    default "4.3.1" if GMP_V_4_3_1
    1.44  # CT_INSERT_VERSION_STRING_ABOVE
    1.45  # Don't remove above line!