yann@466: # GMP options
yann@466: 
yann@466: choice
yann@466:     bool
yann@466:     prompt "GMP version"
yann@466: 
yann@466: config GMP_V_4_2_2
yann@466:     bool
yann@466:     prompt "4.2.2"
yann@466: 
yann@902: config GMP_V_4_2_4
yann@902:     bool
yann@902:     prompt "4.2.4"
yann@902: 
yann@466: # CT_INSERT_VERSION_ABOVE
yann@466: # Don't remove above line!
yann@466: endchoice
yann@466: 
yann@466: config GMP_VERSION
yann@466:     string
yann@466:     default "4.2.2" if GMP_V_4_2_2
yann@902:     default "4.2.4" if GMP_V_4_2_4
yann@466: # CT_INSERT_VERSION_STRING_ABOVE
yann@466: # Don't remove above line!
yann@466: 
yann@466: config GMP_CHECK
yann@466:     bool
yann@1381:     prompt "Check GMP (!!! README !!!)"
yann@1381:     default n
yann@466:     help
yann@1381:       It is highly recommended to check the newly built GMP library.
yann@1381:       Unfortunately, this is a very intensive task, and takes a loooong time.
yann@1381: 
yann@1381:       Checking GMP is thus disabled by default.
yann@1381: 
yann@1381:       If you suspect that your GMP library is the cause for incorrectly
yann@1381:       generated code, you should answer 'Y' here.