23 # CT_INSERT_VERSION_ABOVE
24 # Don't remove above line!
29 default "2.3.1" if MPFR_V_2_3_1
30 default "2.3.2" if MPFR_V_2_3_2
31 default "2.4.0" if MPFR_V_2_4_0
32 default "2.4.1" if MPFR_V_2_4_1
33 # CT_INSERT_VERSION_STRING_ABOVE
34 # Don't remove above line!
38 prompt "Check MPFR (!!! README !!!)"
41 It is highly recommended to check the newly built MPFR library.
42 Unfortunately, this is a very intensive task, and takes a loooong time.
44 Checking MPFR is thus disabled by default.
46 If you suspect that your MPFR library is the cause for incorrectly
47 generated code, you should answer 'Y' here.