From: Teus Benschop Date: Sun, 28 Oct 2018 07:10:12 +0100 Subject: change webkitgtk-3.0 to webkit2gtk-4.0 in configure --- wscript | 8 ++++---- 1 file 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",