change webkitgtk-3.0 to webkit2gtk-4.0 in configure

Gbp-Pq: Name 0015-change-webkitgtk-3.0-to-webkit2gtk-4.0-in-configure.patch

1 files changed, 4 insertions, 4 deletions

diff --git a/wscript b/wscript
index 9db93a8..0254af3 100644
--- a/wscript
+++ b/wscript
@@ -336,7 +336,7 @@ def configure(conf):
         if opt.webkit_editor:
             conf.define('USE_WEBKIT_EDITOR', 1)
             env['ENABLE_WEBKIT_EDITOR'] = True
-            common_libs += ' "webkitgtk-3.0" '
+            common_libs += ' "webkit2gtk-4.0" '
         else:
             if conf.check_cfg(modversion='libgtkhtml-4.0',
                               msg='Checking for libgtkhtml4',
@@ -355,11 +355,11 @@ def configure(conf):
                               errmsg='fail'):
                 common_libs += ' "webkit2gtk-4.0" '
                 conf.define('USE_WEBKIT2', 1)
-            elif conf.check_cfg(modversion='webkitgtk-3.0',
-                                msg='Checking for WebKit',
+            elif conf.check_cfg(modversion='webkit2gtk-4.0',
+                                msg='Checking for WebKit2',
                                 okmsg='ok',
                                 errmsg='fail'):
-                common_libs += ' "webkitgtk-3.0" '
+                common_libs += ' "webkit2gtk-4.0" '
     
     conf.check_cfg(atleast_pkgconfig_version='0.9.0')
     conf.check_cfg(msg="Checking for GNOME related libs",