Bug#807148: glx-diversions: ffmpeg looks for libGL.so.1 while glx-diversions offers only libGL.so

[Xinyue Lu]

I spend some time investigating this issues.

It turns out glx-alternative-{...} is not installed. That's why when I
remove glx-diversions the file went back.

Reproduce by -

$ sudo aptitude install glx-diversions --without-recommends

$ LANG=C ll /usr/lib/x86_64-linux-gnu/libGL.*
zsh: no matches found: /usr/lib/x86_64-linux-gnu/libGL.*

$ sudo aptitude remove glx-diversions

$ LANG=C ll /usr/lib/x86_64-linux-gnu/libGL.*
lrwxrwxrwx 1 root root   14 Nov 27 04:55
/usr/lib/x86_64-linux-gnu/libGL.so.1 -> libGL.so.1.2.0
-rw-r--r-- 1 root root 605K Nov 27 04:56
/usr/lib/x86_64-linux-gnu/libGL.so.1.2.0

--

Thanks.



2015-12-07 15:50 GMT-05:00 Andreas Beckmann <anbe at debian.org>:
> Control: tag -1 moreinfo unreproducible
>
> On 2015-12-07 20:07, Luca Boccassi wrote:
>> On Sat, 2015-12-05 at 22:17 -0500, Xinyue Lu wrote:
>>> I've noticed that my ffmpeg doesn't work and reporting missing shared
>>> library libGL.so.1.
>
>> I had a look but cannot reproduce this on either of my systems.
>> libGL.so.1 is correctly installed by update-alternatives when
>> mesa-diverted is configured.
>
> I cannot reproduce this either.
>
> I could only think of one case: glx-diversions is installed but not any
> of the glx-alternative-{mesa,nvidia,fglrx} packages. But that must have
> been a manual install since anything depending on glx-diversions (some
> bits of a non-free graphics driver) will depend on (at least) one of
> glx-alternative-*, too.
> And glx-diversions also Recommends: glx-alternative-mesa, so if you end
> up without any alternatives, this must have been done conciously.
>
>
> Andreas