On Tuesday 08 October 2013 14:07:46 Sergio Durigan Junior wrote:
> 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/.

the top level files are synced with gcc.  the MAINTAINERS file describes it 
nicely.  iow, these flags are to be expected, and no, they do not impact gdb.
-mike