package/webkitgtk: make gst-gl depend on _HAS_PLATFORM

The GStreamer-GL usage in WebKitGTK is usable as long as GStreamer
is configured with a valid platform API (GLX+OpenGL, EGL+OpenGL,
EGL+GLES, etc.), which is exactly what the symbol
BR2_PACKAGE_GST1_PLUGINS_BASE_LIB_OPENGL_HAS_PLATFORM represents.

Signed-off-by: Adrian Perez de Castro <aperez@igalia.com>
Signed-off-by: Yann E. MORIN <yann.morin.1998@free.fr>

diff --git a/package/webkitgtk/Config.in b/package/webkitgtk/Config.in
index 2ba8d4766040f34a0e602ca9eeacb8c7178ad806..a05161d052bf519874e28c966992de3a2565c789 100644 (file)
--- a/package/webkitgtk/Config.in
+++ b/package/webkitgtk/Config.in
@@ -113,7 +113,7 @@ if BR2_PACKAGE_WEBKITGTK_MULTIMEDIA
 config BR2_PACKAGE_WEBKITGTK_USE_GSTREAMER_GL
        bool "use gstreamer-gl"
        default y
-       depends on BR2_PACKAGE_GST1_PLUGINS_BASE_LIB_OPENGL_OPENGL
+       depends on BR2_PACKAGE_GST1_PLUGINS_BASE_LIB_OPENGL_HAS_PLATFORM
        help
          Use the GStreamer GL elements for handling video content.
          This is recommended as it improves performance of video