gdb 11.1: configure doesn't check for gmp existence

Andrea Monaco via Gdb
2021-11-01T15:59:05Z

Hello,

gdb 11.1 depends on the gmp library, as docs also confirm. But
./configure completes with success on my GNU/Hurd system even if the
library is not present, and then make aborts. I think that configure
should fail if a strict dependency is missing.

Andrea Monaco