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 |