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: 
danielrubiob@3283: config GMP_V_5_1_3
danielrubiob@3283:     bool
danielrubiob@3283:     prompt "5.1.3"
danielrubiob@3283: 
yann@3207: config GMP_V_5_1_1
yann@3207:     bool
yann@3207:     prompt "5.1.1"
yann@3207: 
yann@2651: config GMP_V_5_0_2
yann@2651:     bool
yann@2957:     prompt "5.0.2"
yann@2651: 
yann@1873: config GMP_V_5_0_1
yann@1873:     bool
yann@2957:     prompt "5.0.1"
yann@1873: 
yann@1873: config GMP_V_4_3_2
yann@1873:     bool
yann@1873:     prompt "4.3.2"
yann@1873: 
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@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
danielrubiob@3283:     default "5.1.3" if GMP_V_5_1_3
yann@3207:     default "5.1.1" if GMP_V_5_1_1
yann@2651:     default "5.0.2" if GMP_V_5_0_2
yann@1873:     default "5.0.1" if GMP_V_5_0_1
yann@1873:     default "4.3.2" if GMP_V_4_3_2
yann@1534:     default "4.3.1" if GMP_V_4_3_1
yann@1534:     default "4.3.0" if GMP_V_4_3_0