1.1 --- a/config/companion_libs/gmp.in Mon May 25 17:16:49 2009 +0000
1.2 +++ b/config/companion_libs/gmp.in Mon Jun 22 21:51:14 2009 +0200
1.3 @@ -22,16 +22,3 @@
1.4 default "4.2.4" if GMP_V_4_2_4
1.5 # CT_INSERT_VERSION_STRING_ABOVE
1.6 # Don't remove above line!
1.7 -
1.8 -config GMP_CHECK
1.9 - bool
1.10 - prompt "Check GMP (!!! README !!!)"
1.11 - default n
1.12 - help
1.13 - It is highly recommended to check the newly built GMP library.
1.14 - Unfortunately, this is a very intensive task, and takes a loooong time.
1.15 -
1.16 - Checking GMP is thus disabled by default.
1.17 -
1.18 - If you suspect that your GMP library is the cause for incorrectly
1.19 - generated code, you should answer 'Y' here.