gdbreplay not installed

gdbreplay not installed

[Eli Zaretskii]

I noticed that gdbreplay is built, but not installed by "make
install".  Is that on purpose?

Re: gdbreplay not installed

[Pedro Alves]

On 02/06/2014 12:50 PM, Eli Zaretskii wrote:
> I noticed that gdbreplay is built, but not installed by "make
> install".  Is that on purpose?

Yeah, it's always been that way AFAIK.  That's because that's really
a maintainer tool, not a user tool.  I don't think gdbreplay is
even documented in the user manual?

-- 
Pedro Alves

Re: gdbreplay not installed

[Eli Zaretskii]

> Date: Thu, 06 Feb 2014 12:56:50 +0000
> From: Pedro Alves <palves@redhat.com>
> CC: gdb-patches@sourceware.org
> 
> On 02/06/2014 12:50 PM, Eli Zaretskii wrote:
> > I noticed that gdbreplay is built, but not installed by "make
> > install".  Is that on purpose?
> 
> Yeah, it's always been that way AFAIK.  That's because that's really
> a maintainer tool, not a user tool.  I don't think gdbreplay is
> even documented in the user manual?

It is mentioned in gdbserver/README.

If it is not for users, perhaps it shouldn't be built by the default
Make target?

Re: gdbreplay not installed

[Pedro Alves]

On 02/06/2014 01:06 PM, Eli Zaretskii wrote:
>> Date: Thu, 06 Feb 2014 12:56:50 +0000
>> From: Pedro Alves <palves@redhat.com>
>> CC: gdb-patches@sourceware.org
>>
>> On 02/06/2014 12:50 PM, Eli Zaretskii wrote:
>>> I noticed that gdbreplay is built, but not installed by "make
>>> install".  Is that on purpose?
>>
>> Yeah, it's always been that way AFAIK.  That's because that's really
>> a maintainer tool, not a user tool.  I don't think gdbreplay is
>> even documented in the user manual?
> 
> It is mentioned in gdbserver/README.
> 
> If it is not for users, perhaps it shouldn't be built by the default
> Make target?

Personally, from a maintenance perspective, I prefer that
it's always built.  The tool is quite small and quick to
build, and this way helps avoid potential bit rot.

-- 
Pedro Alves

Re: gdbreplay not installed

[Mike Frysinger]

[-- Attachment #1: Type: text/plain, Size: 363 bytes --]

On Thursday, February 06, 2014 14:50:36 Eli Zaretskii wrote:
> I noticed that gdbreplay is built, but not installed by "make
> install".  Is that on purpose?

previous discussion:
https://sourceware.org/ml/gdb-patches/2011-12/msg00915.html
https://sourceware.org/ml/gdb-patches/2012-01/msg00002.html

oh gawd, has it really been 2 years already ...
-mike

[-- Attachment #2: This is a digitally signed message part. --]
[-- Type: application/pgp-signature, Size: 836 bytes --]

Re: gdbreplay not installed

[Pedro Alves]

On 02/06/2014 01:34 PM, Mike Frysinger wrote:
> On Thursday, February 06, 2014 14:50:36 Eli Zaretskii wrote:
>> I noticed that gdbreplay is built, but not installed by "make
>> install".  Is that on purpose?
> 
> previous discussion:
> https://sourceware.org/ml/gdb-patches/2011-12/msg00915.html
> https://sourceware.org/ml/gdb-patches/2012-01/msg00002.html
> 
> oh gawd, has it really been 2 years already ...

I won't object to installing it if turns out multiple people
do want it installed, but I have to say I have trouble
figuring out _who_ but maintainers (and integrators doing
their own maintenance) would want it.

-- 
Pedro Alves

Re: gdbreplay not installed

[Mike Frysinger]

[-- Attachment #1: Type: text/plain, Size: 1123 bytes --]

On Thursday, February 06, 2014 18:04:32 Pedro Alves wrote:
> On 02/06/2014 01:34 PM, Mike Frysinger wrote:
> > On Thursday, February 06, 2014 14:50:36 Eli Zaretskii wrote:
> >> I noticed that gdbreplay is built, but not installed by "make
> >> install".  Is that on purpose?
> > 
> > previous discussion:
> > https://sourceware.org/ml/gdb-patches/2011-12/msg00915.html
> > https://sourceware.org/ml/gdb-patches/2012-01/msg00002.html
> > 
> > oh gawd, has it really been 2 years already ...
> 
> I won't object to installing it if turns out multiple people
> do want it installed, but I have to say I have trouble
> figuring out _who_ but maintainers (and integrators doing
> their own maintenance) would want it.

sorry, i meant "i can't believe i vividly recalled a conversation that 
happened 2 years ago" not "wtf haven't you merged a patch that's 2 years old".

i think your qualification is accurate as to the target audience.  i wanted it 
at the time for my own debug work and instinctively reached to have it 
installed.  i don't think there's a wider group of people clamouring for it.
-mike

[-- Attachment #2: This is a digitally signed message part. --]
[-- Type: application/pgp-signature, Size: 836 bytes --]

Re: gdbreplay not installed

[Pedro Alves]

On 02/06/2014 06:42 PM, Mike Frysinger wrote:

> sorry, i meant "i can't believe i vividly recalled a conversation that 
> happened 2 years ago" not "wtf haven't you merged a patch that's 2 years old".

No harm done.  ;-)

> i think your qualification is accurate as to the target audience.  i wanted it 
> at the time for my own debug work and instinctively reached to have it 
> installed.  i don't think there's a wider group of people clamouring for it.

Thanks for confirming.

-- 
Pedro Alves