config/companion_libs/gmp.in
changeset 1499 ff1f40a8f9c1
parent 1386 7995942261f2
child 1534 d4ddf19a1968
     1.1 --- a/config/companion_libs/gmp.in	Mon May 25 19:46:58 2009 +0000
     1.2 +++ b/config/companion_libs/gmp.in	Sun Aug 30 16:44:59 2009 +0200
     1.3 @@ -12,6 +12,14 @@
     1.4      bool
     1.5      prompt "4.2.4"
     1.6  
     1.7 +config GMP_V_4_3_0
     1.8 +    bool
     1.9 +    prompt "4.3.0"
    1.10 +
    1.11 +config GMP_V_4_3_1
    1.12 +    bool
    1.13 +    prompt "4.3.1"
    1.14 +
    1.15  # CT_INSERT_VERSION_ABOVE
    1.16  # Don't remove above line!
    1.17  endchoice
    1.18 @@ -20,5 +28,7 @@
    1.19      string
    1.20      default "4.2.2" if GMP_V_4_2_2
    1.21      default "4.2.4" if GMP_V_4_2_4
    1.22 +    default "4.3.0" if GMP_V_4_3_0
    1.23 +    default "4.3.1" if GMP_V_4_3_1
    1.24  # CT_INSERT_VERSION_STRING_ABOVE
    1.25  # Don't remove above line!