[gdb 7.6.1] configure --with-gmp - is it useful?

[Sergio Durigan Junior]

On Tuesday, October 08 2013, Frédéric Bron wrote:

> configure --help says that we can add --with-{gmp,mpfr,mpc,isl,cloog}
> like we can do when building gcc.
> However, I do not see anything related to gmp in the build log. Are
> these options really useful to build gdb?

These are options from the top configure (i.e., src/configure).  If you
look at GDB's configure (i.e., src/gdb/configure), you will see that
those options don't exit there.

OTOH, I'm not sure if those options are there because GCC used to be on
src/ as well, or because they are really needed to build some other
package on src/.

-- 
Sergio