[Buildroot] [PATCH 1/1] webkitgtk: add an option to control USE_GSTREAMER_GL
Thomas Petazzoni
thomas.petazzoni at bootlin.com
Wed Oct 31 09:57:04 UTC 2018
Hello,
On Thu, 25 Oct 2018 03:27:38 +0300, Adrian Perez de Castro wrote:
> This covers the case where GL/GLES is available (so -DENABLE_OPENGL=ON
> gets passed), which makes the webkitgtk build system assume GStreamer-GL
> is available, while actually it is not.
>
> Also, providing an option to manually disable usage of GStremer-GL can
> help with certain target configurations in which using OpenGL for video
> handling might result in incorrect rendering.
>
> This fixes some autobuilder failures like the following:
>
> http://autobuild.buildroot.net/results/187796535af53ece426641ff7d88aabada281674
> http://autobuild.buildroot.net/results/00c1a8ea23a99728a4f3f4478705f2383414ae41
>
> Signed-off-by: Adrian Perez de Castro <aperez at igalia.com>
> ---
> package/webkitgtk/Config.in | 15 +++++++++++++++
> package/webkitgtk/webkitgtk.mk | 7 +++++++
> 2 files changed, 22 insertions(+)
Applied to master, thanks.
Thomas
--
Thomas Petazzoni, CTO, Bootlin
Embedded Linux and Kernel engineering
https://bootlin.com
More information about the buildroot
mailing list