1.1 --- a/config/cc/gmp.in	Mon Jun 30 11:33:52 2008 +0000
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,27 +0,0 @@
     1.4 -# GMP options
     1.5 -
     1.6 -choice
     1.7 -    bool
     1.8 -    prompt "GMP version"
     1.9 -
    1.10 -config GMP_V_4_2_2
    1.11 -    bool
    1.12 -    prompt "4.2.2"
    1.13 -
    1.14 -# CT_INSERT_VERSION_ABOVE
    1.15 -# Don't remove above line!
    1.16 -endchoice
    1.17 -
    1.18 -config GMP_VERSION
    1.19 -    string
    1.20 -    default "4.2.2" if GMP_V_4_2_2
    1.21 -# CT_INSERT_VERSION_STRING_ABOVE
    1.22 -# Don't remove above line!
    1.23 -
    1.24 -config GMP_CHECK
    1.25 -    bool
    1.26 -    prompt "Check GMP"
    1.27 -    default y
    1.28 -    help
    1.29 -      It is highly recommended that 'make check' is run against the newly built
    1.30 -      GMP library. See http://gmplib.org/

     2.1 --- a/config/cc/mpfr.in	Mon Jun 30 11:33:52 2008 +0000
     2.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     2.3 @@ -1,27 +0,0 @@
     2.4 -# GMP options
     2.5 -
     2.6 -choice
     2.7 -    bool
     2.8 -    prompt "MPFR version"
     2.9 -
    2.10 -config MPFR_V_2_3_1
    2.11 -    bool
    2.12 -    prompt "2.3.1"
    2.13 -
    2.14 -# CT_INSERT_VERSION_ABOVE
    2.15 -# Don't remove above line!
    2.16 -endchoice
    2.17 -
    2.18 -config MPFR_VERSION
    2.19 -    string
    2.20 -    default "2.3.1" if MPFR_V_2_3_1
    2.21 -# CT_INSERT_VERSION_STRING_ABOVE
    2.22 -# Don't remove above line!
    2.23 -
    2.24 -config MPFR_CHECK
    2.25 -    bool
    2.26 -    prompt "Check MPFR"
    2.27 -    default y
    2.28 -    help
    2.29 -      It is highly recommended that 'make check' is run against the newly built
    2.30 -      MPFR library. See http://gmplib.org/

     3.1 --- a/config/gmp_mpfr.in	Mon Jun 30 11:33:52 2008 +0000
     3.2 +++ b/config/gmp_mpfr.in	Mon Jun 30 11:58:58 2008 +0000
     3.3 @@ -27,8 +27,8 @@
     3.4        to run gdb natively on the target.
     3.5  
     3.6  if GMP_MPFR
     3.7 -source config/cc/gmp.in
     3.8 -source config/cc/mpfr.in
     3.9 +source config/gmp_mpfr/gmp.in
    3.10 +source config/gmp_mpfr/mpfr.in
    3.11  endif
    3.12  
    3.13  endmenu

     4.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     4.2 +++ b/config/gmp_mpfr/gmp.in	Mon Jun 30 11:58:58 2008 +0000
     4.3 @@ -0,0 +1,27 @@
     4.4 +# GMP options
     4.5 +
     4.6 +choice
     4.7 +    bool
     4.8 +    prompt "GMP version"
     4.9 +
    4.10 +config GMP_V_4_2_2
    4.11 +    bool
    4.12 +    prompt "4.2.2"
    4.13 +
    4.14 +# CT_INSERT_VERSION_ABOVE
    4.15 +# Don't remove above line!
    4.16 +endchoice
    4.17 +
    4.18 +config GMP_VERSION
    4.19 +    string
    4.20 +    default "4.2.2" if GMP_V_4_2_2
    4.21 +# CT_INSERT_VERSION_STRING_ABOVE
    4.22 +# Don't remove above line!
    4.23 +
    4.24 +config GMP_CHECK
    4.25 +    bool
    4.26 +    prompt "Check GMP"
    4.27 +    default y
    4.28 +    help
    4.29 +      It is highly recommended that 'make check' is run against the newly built
    4.30 +      GMP library. See http://gmplib.org/

     5.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     5.2 +++ b/config/gmp_mpfr/mpfr.in	Mon Jun 30 11:58:58 2008 +0000
     5.3 @@ -0,0 +1,27 @@
     5.4 +# GMP options
     5.5 +
     5.6 +choice
     5.7 +    bool
     5.8 +    prompt "MPFR version"
     5.9 +
    5.10 +config MPFR_V_2_3_1
    5.11 +    bool
    5.12 +    prompt "2.3.1"
    5.13 +
    5.14 +# CT_INSERT_VERSION_ABOVE
    5.15 +# Don't remove above line!
    5.16 +endchoice
    5.17 +
    5.18 +config MPFR_VERSION
    5.19 +    string
    5.20 +    default "2.3.1" if MPFR_V_2_3_1
    5.21 +# CT_INSERT_VERSION_STRING_ABOVE
    5.22 +# Don't remove above line!
    5.23 +
    5.24 +config MPFR_CHECK
    5.25 +    bool
    5.26 +    prompt "Check MPFR"
    5.27 +    default y
    5.28 +    help
    5.29 +      It is highly recommended that 'make check' is run against the newly built
    5.30 +      MPFR library. See http://gmplib.org/