yann@466: # GMP options
yann@466: 
yann@466: choice
yann@466:     bool
yann@466:     prompt "MPFR version"
yann@1535: # Don't remove next line
yann@1535: # CT_INSERT_VERSION_BELOW
yann@466: 
yann@3208: config MPFR_V_3_1_2
yann@3208:     bool
yann@3208:     prompt "3.1.2"
yann@3208: 
yann@2756: config MPFR_V_3_1_0
yann@2756:     bool
yann@2957:     prompt "3.1.0"
yann@2756: 
yann@2436: config MPFR_V_3_0_1
yann@2436:     bool
yann@2957:     prompt "3.0.1"
yann@2436: 
yann@1978: config MPFR_V_3_0_0
yann@1978:     bool
yann@1978:     prompt "3.0.0"
yann@1978: 
yann@1696: config MPFR_V_2_4_2
yann@1696:     bool
yann@1784:     prompt "2.4.2"
yann@1696: 
yann@1534: config MPFR_V_2_4_1
yann@466:     bool
yann@1534:     prompt "2.4.1"
yann@1534: 
yann@1534: config MPFR_V_2_4_0
yann@1534:     bool
yann@1534:     prompt "2.4.0"
yann@466: 
yann@466: endchoice
yann@466: 
yann@466: config MPFR_VERSION
yann@466:     string
yann@1535: # Don't remove next line
yann@1535: # CT_INSERT_VERSION_STRING_BELOW
yann@3208:     default "3.1.2" if MPFR_V_3_1_2
yann@2756:     default "3.1.0" if MPFR_V_3_1_0
yann@2436:     default "3.0.1" if MPFR_V_3_0_1
yann@1978:     default "3.0.0" if MPFR_V_3_0_0
yann@1696:     default "2.4.2" if MPFR_V_2_4_2
yann@1534:     default "2.4.1" if MPFR_V_2_4_1
yann@1534:     default "2.4.0" if MPFR_V_2_4_0