Re: --with-gmp and --with-libgmp-prefix

[Simon Sobisch <simonsobisch@gnu.org>]

On 3/11/22 10:06, Joel Brobecker wrote:
 >> I was talking to a colleague and we noticed the top-level binutils-
 >> gdbconfigure accepts --with-gmp, which looks like what gcc's
 >> configure uses to specify the gmp library installation path.
 >>
 >> But gdb's configure expects that information to be passed through the
 >> --with-libgmp-prefix switch. [...]
 >>
 >> When one is used to building gcc, it is a little odd to have to specify
 >> --with-libgmp-prefix instead of --with-gmp.
 >>
 >> The top-level configure lists this:
 >>
 >>   --with-gmp=PATH      specify prefix directory for the installed GMP
 >>                        package. Equivalent to
 >>                        --with-gmp-include=PATH/include plus
 >>                        --with-gmp-lib=PATH/lib
 >>
 >> And gdb's configure lists this:
 >>
 >>    --with-libgmp-prefix[=DIR]  search for libgmp in DIR/include and
 >>        DIR/lib
 >>
 >> I'm wondering if we can reuse the top-level configure's --with-gmp 
option.
 > The problem is that GDB has some shared configury that follows
 > a certain style, which is not the style that is used by the toplevel
 > configury. This triggered a number of discussions, but in the end
 > we found no good solution, unfortunately.

Hm, maybe in this case one can opt for the binutils style with keeping 
the GDB one "for compat"?
In theory this would add one additional "feature" - the possibility to 
specify the header and library path independently.

In this case the help for -with-libgmp-prefix could just say something 
like "alias for --with-gmp".

Just saying...

Simon