Re: [PATCH] gdb, configure: Add disable-formats option for configure

[Eli Zaretskii <eliz@gnu.org>]

> Date: Thu, 26 Sep 2024 18:03:05 -0300
> Cc: gdb-patches@sourceware.org
> From: Guinevere Larsen <guinevere@redhat.com>
> 
> > My point was that the manual doesn't clarify these issues.  It left me
> > confused.
> >
> >>> Maybe I'm confused, but if I am, it means we lack some important
> >>> information in the manual which would clarify this.
> >> Maybe more clarity would be helpful, but I don't think these issues have
> >> to do with my patch itself, so I think this should be further
> >> improvement for documentation rather than having to fix it in this patch.
> > You may be right, but without clarifying this whole issue I cannot
> > decide whether your additions about this are okay or not.  So I think
> > we have no choice but to clarify those other aspects together with
> > this review, even if just in principle.
> I hope I clarified enough in this email to allow you to judge my changes 
> on their own, and a later unrelated patch can fill in the missing 
> information, since the changes really aren't related to enable-targets 
> and it was my mistake to parse them there instead of just seeing which 
> tdep files are compiled in and need a file format.

Unfortunately, I'm still in the dark here.  I'd appreciate if you or
someone else who understands the way we deal with targets in all the 3
scenarios -- native debugging, cross-debugging, remote debugging --
could explain how this stuff works (and perhaps how it should work
ideally, if what we have is not ideal/correct), and then we could take
it from there.

We could, of course, just go with your changes disregarding these
larger issues, but I think clarifying them will also help us
understand better this new feature and make sure it is designed and
implemented correctly.

OTOH, if I'm the only one who doesn't fully understand this stuff, and
everyone else agrees with the suggested changes as they are, feel free
to ignore me.