webkitgtk: Allow toggling WebDriver support

Version 2.18.x includes support for remotely controlling WebKitGTK+
based browsers using the standard WebDriver API. Typically this is used
by Web developers, and in most cases it will be desirable to disable it
from builds.

Signed-off-by: Adrian Perez de Castro <aperez@igalia.com>
Signed-off-by: Arnout Vandecappelle (Essensium/Mind) <arnout@mind.be>
This commit is contained in:
Adrian Perez de Castro 2017-09-13 19:51:21 +03:00 committed by Arnout Vandecappelle (Essensium/Mind)
parent 905b1ab5c2
commit b5df60d219
2 changed files with 12 additions and 0 deletions

View File

@ -82,4 +82,10 @@ config BR2_PACKAGE_WEBKITGTK_MULTIMEDIA
This option pulls in all of the required dependencies
to enable multimedia (video/audio) support.
config BR2_PACKAGE_WEBKITGTK_WEBDRIVER
bool "WebDriver support"
help
Enable support for WebDriver. This will build and install the
WebKitWebDriver program in the target.
endif

View File

@ -49,6 +49,12 @@ WEBKITGTK_CONF_OPTS += \
-DENABLE_MEDIA_STREAM=OFF
endif
ifeq ($(BR2_PACKAGE_WEBKITGTK_WEBDRIVER),y)
WEBKITGTK_CONF_OPTS += -DENABLE_WEBDRIVER=ON
else
WEBKITGTK_CONF_OPTS += -DENABLE_WEBDRIVER=OFF
endif
# Only one target platform can be built, assume X11 > Wayland
# GTK3-X11 target gives OpenGL from newer libgtk3 versions