yann@466: # GMP options
yann@466: 
yann@466: choice
yann@466:     bool
yann@466:     prompt "GMP version"
yann@1535: # Don't remove next line
yann@1535: # CT_INSERT_VERSION_BELOW
yann@466: 
yann@1534: config GMP_V_4_3_1
yann@466:     bool
yann@1534:     prompt "4.3.1"
yann@1534: 
yann@1534: config GMP_V_4_3_0
yann@1534:     bool
yann@1534:     prompt "4.3.0"
yann@466: 
yann@902: config GMP_V_4_2_4
yann@902:     bool
yann@1615:     prompt "4.2.4 (OBSOLETE)"
yann@1615:     depends on OBSOLETE
yann@902: 
yann@1534: config GMP_V_4_2_2
yann@1440:     bool
yann@1615:     prompt "4.2.2 (OBSOLETE)"
yann@1615:     depends on OBSOLETE
yann@1440: 
yann@466: endchoice
yann@466: 
yann@466: config GMP_VERSION
yann@466:     string
yann@1535: # Don't remove next line
yann@1535: # CT_INSERT_VERSION_STRING_BELOW
yann@1534:     default "4.3.1" if GMP_V_4_3_1
yann@1534:     default "4.3.0" if GMP_V_4_3_0
yann@1534:     default "4.2.4" if GMP_V_4_2_4
yann@466:     default "4.2.2" if GMP_V_4_2_2