1.1 --- a/config/companion_libs/mpfr.in Mon May 25 17:16:49 2009 +0000
1.2 +++ b/config/companion_libs/mpfr.in Sun Aug 30 01:00:19 2009 +0200
1.3 @@ -32,17 +32,3 @@
1.4 default "2.4.1" if MPFR_V_2_4_1
1.5 # CT_INSERT_VERSION_STRING_ABOVE
1.6 # Don't remove above line!
1.7 -
1.8 -config MPFR_CHECK
1.9 - bool
1.10 - prompt "Check MPFR (!!! README !!!)"
1.11 - default n
1.12 - help
1.13 - It is highly recommended to check the newly built MPFR library.
1.14 - Unfortunately, this is a very intensive task, and takes a loooong time.
1.15 -
1.16 - Checking MPFR is thus disabled by default.
1.17 -
1.18 - If you suspect that your MPFR library is the cause for incorrectly
1.19 - generated code, you should answer 'Y' here.
1.20 -