gdb 11.1: configure doesn't check for gmp existence

[Andrea Monaco]

  > Can you show the error you get?  Normally, when you type "make" at
  > the top-level that will run the configure script in the gdb
  > directory, and that's when it should fail.

Upon check, yes, that's what happens.  But it's an unusual build system:
it's common to have Makefiles in subdirectories, while multiple
configures are less common.

Anyway, if gmp is an essential dependency, why does the top-level
configure complete without it?



Andrea Monaco