15 # CT_INSERT_VERSION_ABOVE
16 # Don't remove above line!
21 default "4.2.2" if GMP_V_4_2_2
22 default "4.2.4" if GMP_V_4_2_4
23 # CT_INSERT_VERSION_STRING_ABOVE
24 # Don't remove above line!
28 prompt "Check GMP (!!! README !!!)"
31 It is highly recommended to check the newly built GMP library.
32 Unfortunately, this is a very intensive task, and takes a loooong time.
34 Checking GMP is thus disabled by default.
36 If you suspect that your GMP library is the cause for incorrectly
37 generated code, you should answer 'Y' here.