Gentoo Archives: gentoo-dev

From: Tom Wijsman <TomWij@g.o>
To: gentoo-dev@l.g.o
Cc: peter@×××××.se
Subject: Re: [gentoo-dev] Re: Banning modification of pkg-config files
Date: Mon, 12 May 2014 21:43:57
Message-Id: 20140512234334.6c8e4b1c@gentoo.org
In Reply to: Re: [gentoo-dev] Re: Banning modification of pkg-config files by Peter Stuge
1 On Mon, 12 May 2014 21:25:55 +0200
2 Peter Stuge <peter@×××××.se> wrote:
3
4 > Tom Wijsman wrote:
5 > > besides a temporary fix downstream it should go upstream;
6 >
7 > I think there is agreement that this is the ideal, and that the
8 > discussion is about what to do when that seems out of reach.
9
10 Yes, I think that's the case too; I think I wrote it for completeness.
11
12 > > If we all did that, I wonder how much would still work; not as much
13 > > as we have achieved now, so I like that we've made an "added value".
14 >
15 > Don't get me wrong - I'm wholeheartedly in favor of contributing
16 > fixes upstream, but not of building a support workload when upstream
17 > is uncooperative.
18
19 The "bug"load is there regardless of whether you want to support or it
20 or not when upstream is uncooperative; so, I think that the status quo
21 is currently that people whom can and want to fix it can do so.
22
23 But I don't think that forcing them to do or not do it is something
24 that the whole distribution can be convinced to do, at least from what
25 I read; I'm also not sure if you meant to suggest such force or not, ...
26
27 > > You can use INSTALL_MASK for this purpose I think.
28 >
29 > Mh but that'll also kill .pc files from upstream. The option I'd like
30 > is to mask only the ones added by Gentoo. I would be fine with them
31 > having gentoo- names. That makes it very clear that this interface is
32 > a Gentoo-specific thing. However, that throws off the autoconf
33 > pkg-config macros. :\
34
35 Yeah, it's tricky; this makes me think, can't we perhaps install them
36 in a separate directory that pkg-config could check?
37
38 That way, we don't need to change the name anymore; and they would
39 still be separate, allowing you to separately mask them.
40
41 --
42 With kind regards,
43
44 Tom Wijsman (TomWij)
45 Gentoo Developer
46
47 E-mail address : TomWij@g.o
48 GPG Public Key : 6D34E57D
49 GPG Fingerprint : C165 AF18 AB4C 400B C3D2 ABF0 95B2 1FCD 6D34 E57D

Attachments

File name MIME type
signature.asc application/pgp-signature

Replies

Subject Author
Re: [gentoo-dev] Re: Banning modification of pkg-config files Tom Wijsman <TomWij@g.o>