summaryrefslogtreecommitdiff
path: root/config/companion_libs/mpfr.in
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2009-05-25 17:16:49 (GMT)
committerYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2009-05-25 17:16:49 (GMT)
commit2c2dd2e5fe03f82542a6b81c66cea857cbaf973d (patch)
treee601bf48d4bcda653039eb875f5d9a624bf1f177 /config/companion_libs/mpfr.in
parent822fb9415e457383450c96d2432b76c8874ada49 (diff)
/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(-)
Diffstat (limited to 'config/companion_libs/mpfr.in')
-rw-r--r--config/companion_libs/mpfr.in14
1 files changed, 10 insertions, 4 deletions
diff --git a/config/companion_libs/mpfr.in b/config/companion_libs/mpfr.in
index dcea326..3917c9d 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.
+