[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Re: etags name collision.
From: |
Alfred M. Szmidt |
Subject: |
Re: [PATCH] Re: etags name collision. |
Date: |
Tue, 12 Apr 2022 03:16:04 -0400 |
> >> + fi])
> >> +if test "$with_ctags" = no; then
> >> + with_ctags=
> >> +fi
> >
> >I still think that any test for an installed binary is a bad idea, from
> >a distro point of view. Note that distros typically build packages in an
> >environment that is different from the one of the final target system.
> >
> Here I agree
How else to test whether this is needed? I'm okay with having
"--without-ctags" with no test, but then the default will have to be
to install our ctags. With the test, we could refrain from installing
it if the test says so.
I think that is a good idea. The ones suggesting to "DWIM" magic are
prone for error and confusion, if you _really_ need to install ctags
(or etags) as something else, ./configure already supports the means
for that.
- Re: [PATCH] Re: etags name collision., (continued)
- Re: [PATCH] Re: etags name collision., Alfred M. Szmidt, 2022/04/12
- Re: [PATCH] Re: etags name collision., Ulrich Mueller, 2022/04/12
- Re: [PATCH] Re: etags name collision., Ergus, 2022/04/12
- Re: [PATCH] Re: etags name collision., Eli Zaretskii, 2022/04/11
- Re: [PATCH] Re: etags name collision., Po Lu, 2022/04/11
- Re: [PATCH] Re: etags name collision., Ulrich Mueller, 2022/04/12
- Re: [PATCH] Re: etags name collision., Ergus, 2022/04/12
- Re: [PATCH] Re: etags name collision., Eli Zaretskii, 2022/04/12
- Re: [PATCH] Re: etags name collision., Eli Zaretskii, 2022/04/12
- Re: [PATCH] Re: etags name collision., Ulrich Mueller, 2022/04/12
- Re: [PATCH] Re: etags name collision.,
Alfred M. Szmidt <=
- Re: [PATCH] Re: etags name collision., Eli Zaretskii, 2022/04/12
- Re: etags name collision., Stefan Monnier, 2022/04/11
- Re: etags name collision., Eli Zaretskii, 2022/04/11
- Re: etags name collision., Stefan Monnier, 2022/04/11
- Re: etags name collision., Eli Zaretskii, 2022/04/11
- Re: etags name collision., Ulrich Mueller, 2022/04/11
- Re: etags name collision., Thierry Volpiatto, 2022/04/12
- Re: etags name collision., Ergus, 2022/04/11
- Re: etags name collision., Ergus, 2022/04/11
- Re: etags name collision., Andreas Schwab, 2022/04/11