diff options
-rw-r--r-- | wscript | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -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", |