1.1 --- a/config/companion_libs/gmp.in Sun May 03 21:10:15 2009 +0000
1.2 +++ b/config/companion_libs/gmp.in Mon May 25 18:23:38 2009 +0000
1.3 @@ -25,8 +25,13 @@
1.4
1.5 config GMP_CHECK
1.6 bool
1.7 - prompt "Check GMP"
1.8 - default y
1.9 + prompt "Check GMP (!!! README !!!)"
1.10 + default n
1.11 help
1.12 - It is highly recommended that 'make check' is run against the newly built
1.13 - GMP library. See http://gmplib.org/
1.14 + It is highly recommended to check the newly built GMP library.
1.15 + Unfortunately, this is a very intensive task, and takes a loooong time.
1.16 +
1.17 + Checking GMP is thus disabled by default.
1.18 +
1.19 + If you suspect that your GMP library is the cause for incorrectly
1.20 + generated code, you should answer 'Y' here.