yann@466: # GMP options
yann@466: 
yann@466: choice
yann@466:     bool
yann@466:     prompt "MPFR version"
yann@466: 
yann@466: config MPFR_V_2_3_1
yann@466:     bool
yann@466:     prompt "2.3.1"
yann@466: 
yann@902: config MPFR_V_2_3_2
yann@902:     bool
yann@902:     prompt "2.3.2"
yann@902: 
yann@1199: config MPFR_V_2_4_0
yann@1199:     bool
yann@1249:     prompt "2.4.0"
yann@1249: 
yann@1249: config MPFR_V_2_4_1
yann@1249:     bool
yann@1249:     prompt "2.4.1"
yann@1199: 
yann@466: # CT_INSERT_VERSION_ABOVE
yann@466: # Don't remove above line!
yann@466: endchoice
yann@466: 
yann@466: config MPFR_VERSION
yann@466:     string
yann@466:     default "2.3.1" if MPFR_V_2_3_1
yann@902:     default "2.3.2" if MPFR_V_2_3_2
yann@1199:     default "2.4.0" if MPFR_V_2_4_0
yann@1249:     default "2.4.1" if MPFR_V_2_4_1
yann@466: # CT_INSERT_VERSION_STRING_ABOVE
yann@466: # Don't remove above line!
yann@466: 
yann@466: config MPFR_CHECK
yann@466:     bool
yann@466:     prompt "Check MPFR"
yann@466:     default y
yann@466:     help
yann@466:       It is highly recommended that 'make check' is run against the newly built
yann@466:       MPFR library. See http://gmplib.org/