diff options
Diffstat (limited to 'config/companion_libs/mpfr.in')
| -rw-r--r-- | config/companion_libs/mpfr.in | 14 |
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. + |