build failure, GMP not available

[Gabriel Dos Reis]

Joe Buck <Joe.Buck@synopsys.COM> writes:

[...]

| We do want to make it as easy as we can make it to allow non-gurus to
| build from source, because we'll get a lot more testing that way.  That
| said, I agree that an automatic download is inappropriate.
| 
| However, if we detect at configure time that GMP isn't present, it
| would be good if the error message printed out enough information
| to tell the user where s/he can download a working version.  We'll
| save everyone time that way.

Fully agreed.

-- Gaby