config/companion_libs/gmp.in
changeset 1873 4477403726db
parent 1615 50b25816f5bb
child 1912 bcc0d5943bfa
     1.1 --- a/config/companion_libs/gmp.in	Wed Oct 28 19:15:50 2009 +0100
     1.2 +++ b/config/companion_libs/gmp.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 GMP_V_5_0_1
     1.8 +    bool
     1.9 +    prompt "5.0.1"
    1.10 +
    1.11 +config GMP_V_4_3_2
    1.12 +    bool
    1.13 +    prompt "4.3.2"
    1.14 +
    1.15  config GMP_V_4_3_1
    1.16      bool
    1.17      prompt "4.3.1"
    1.18 @@ -30,6 +38,8 @@
    1.19      string
    1.20  # Don't remove next line
    1.21  # CT_INSERT_VERSION_STRING_BELOW
    1.22 +    default "5.0.1" if GMP_V_5_0_1
    1.23 +    default "4.3.2" if GMP_V_4_3_2
    1.24      default "4.3.1" if GMP_V_4_3_1
    1.25      default "4.3.0" if GMP_V_4_3_0
    1.26      default "4.2.4" if GMP_V_4_2_4