I'm more content with the gmp check at the top level and don't plan to submit a change to that. Although I agree if this configure is shared between binutils, gdb and gcc, and you're not compiling gcc, then it shouldn't require gmp. So maybe something like your "test -d" fragment would be appropriate. Would you please submit that one line change for a configury maintainer to review?
If I have to do it, I'll prepare the patch to move the test instead.
Paolo
