make prefix with PREFIX_BINARY=0 fails due to missing libmpfr-dev
libmpfr-dev
was missing after bootstrap.sh
.
With PREFIX_BINARY=0, make prefix
fails with the following error:
configure: error: Building GDB requires GMP 4.2+, and MPFR 3.1.0+.
Try the --with-gmp and/or --with-mpfr options to specify
their locations. If you obtained GMP and/or MPFR from a vendor
distribution package, make sure that you have installed both the libraries
and the header files. They may be located in separate packages.