/devel/gcc-4.4:

- GMP & MPFR: do not check the libraries by
  default, update the help entries accordingly

 -------- diffstat follows --------
 /devel/gcc-4.4/config/companion_libs/gmp.in  |   13     9     4     0 +++++++++----
 /devel/gcc-4.4/config/companion_libs/mpfr.in |   14    10     4     0 ++++++++++----
 2 files changed, 19 insertions(+), 8 deletions(-)

2 files changed, 19 insertions, 8 deletions

diff --git a/config/companion_libs/gmp.in b/config/companion_libs/gmp.in
index 0ac2b2c0..3690c97f 100644
--- a/config/companion_libs/gmp.in
+++ b/config/companion_libs/gmp.in
@@ -25,8 +25,13 @@ config GMP_VERSION
 
 config GMP_CHECK
     bool
-    prompt "Check GMP"
-    default y
+    prompt "Check GMP (!!! README !!!)"
+    default n
     help
-      It is highly recommended that 'make check' is run against the newly built
-      GMP library. See http://gmplib.org/
+      It is highly recommended to check the newly built GMP library.
+      Unfortunately, this is a very intensive task, and takes a loooong time.
+
+      Checking GMP is thus disabled by default.
+
+      If you suspect that your GMP library is the cause for incorrectly
+      generated code, you should answer 'Y' here.
diff --git a/config/companion_libs/mpfr.in b/config/companion_libs/mpfr.in
index dcea3264..3917c9dd 100644
--- a/config/companion_libs/mpfr.in
+++ b/config/companion_libs/mpfr.in
@@ -35,8 +35,14 @@ config MPFR_VERSION
 
 config MPFR_CHECK
     bool
-    prompt "Check MPFR"
-    default y
+    prompt "Check MPFR (!!! README !!!)"
+    default n
     help
-      It is highly recommended that 'make check' is run against the newly built
-      MPFR library. See http://gmplib.org/
+      It is highly recommended to check the newly built MPFR library.
+      Unfortunately, this is a very intensive task, and takes a loooong time.
+
+      Checking MPFR is thus disabled by default.
+
+      If you suspect that your MPFR library is the cause for incorrectly
+      generated code, you should answer 'Y' here.
+