[kaffe] kaffe.util.SupportDisabled: GNU gmp was not found by Kaffe configure script

[Jim Pick]

Hi,

I've encountered this a few times.  It happens the first time I run
Kaffe when I've been installing Kaffe on a new system:

kaffe.util.SupportDisabled: GNU gmp was not found by Kaffe configure script

It's because the gmp development package wasn't configured.

I'd prefer it if Kaffe bailed out at configure time when it can't find
gmp, unless I specifically override looking for gmp.

Cheers,

 - Jim