1.1 --- a/config/companion_libs/gmp.in	Sun May 24 22:04:14 2009 +0000
     1.2 +++ b/config/companion_libs/gmp.in	Mon May 25 17:16:49 2009 +0000
     1.3 @@ -25,8 +25,13 @@
     1.4  
     1.5  config GMP_CHECK
     1.6      bool
     1.7 -    prompt "Check GMP"
     1.8 -    default y
     1.9 +    prompt "Check GMP (!!! README !!!)"
    1.10 +    default n
    1.11      help
    1.12 -      It is highly recommended that 'make check' is run against the newly built
    1.13 -      GMP library. See http://gmplib.org/
    1.14 +      It is highly recommended to check the newly built GMP library.
    1.15 +      Unfortunately, this is a very intensive task, and takes a loooong time.
    1.16 +
    1.17 +      Checking GMP is thus disabled by default.
    1.18 +
    1.19 +      If you suspect that your GMP library is the cause for incorrectly
    1.20 +      generated code, you should answer 'Y' here.

     2.1 --- a/config/companion_libs/mpfr.in	Sun May 24 22:04:14 2009 +0000
     2.2 +++ b/config/companion_libs/mpfr.in	Mon May 25 17:16:49 2009 +0000
     2.3 @@ -35,8 +35,14 @@
     2.4  
     2.5  config MPFR_CHECK
     2.6      bool
     2.7 -    prompt "Check MPFR"
     2.8 -    default y
     2.9 +    prompt "Check MPFR (!!! README !!!)"
    2.10 +    default n
    2.11      help
    2.12 -      It is highly recommended that 'make check' is run against the newly built
    2.13 -      MPFR library. See http://gmplib.org/
    2.14 +      It is highly recommended to check the newly built MPFR library.
    2.15 +      Unfortunately, this is a very intensive task, and takes a loooong time.
    2.16 +
    2.17 +      Checking MPFR is thus disabled by default.
    2.18 +
    2.19 +      If you suspect that your MPFR library is the cause for incorrectly
    2.20 +      generated code, you should answer 'Y' here.
    2.21 +