1.1 --- a/config/companion_libs/mpfr.in	Sun May 03 21:10:15 2009 +0000
     1.2 +++ b/config/companion_libs/mpfr.in	Mon May 25 17:16:49 2009 +0000
     1.3 @@ -35,8 +35,14 @@
     1.4  
     1.5  config MPFR_CHECK
     1.6      bool
     1.7 -    prompt "Check MPFR"
     1.8 -    default y
     1.9 +    prompt "Check MPFR (!!! 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 -      MPFR library. See http://gmplib.org/
    1.14 +      It is highly recommended to check the newly built MPFR library.
    1.15 +      Unfortunately, this is a very intensive task, and takes a loooong time.
    1.16 +
    1.17 +      Checking MPFR is thus disabled by default.
    1.18 +
    1.19 +      If you suspect that your MPFR library is the cause for incorrectly
    1.20 +      generated code, you should answer 'Y' here.
    1.21 +