1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
From: Teus Benschop <teusjannette@gmail.com>
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",
|
