diff options
| -rw-r--r-- | package/webkitgtk/Config.in | 6 | ||||
| -rw-r--r-- | package/webkitgtk/webkitgtk.mk | 6 |
2 files changed, 12 insertions, 0 deletions
diff --git a/package/webkitgtk/Config.in b/package/webkitgtk/Config.in index e0b5947faa..65154db3fa 100644 --- a/package/webkitgtk/Config.in +++ b/package/webkitgtk/Config.in @@ -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 diff --git a/package/webkitgtk/webkitgtk.mk b/package/webkitgtk/webkitgtk.mk index bac1e715a5..7cdf28cd6f 100644 --- a/package/webkitgtk/webkitgtk.mk +++ b/package/webkitgtk/webkitgtk.mk @@ -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 |
