After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 734324 - Build against webkit2gtk-4.0
Build against webkit2gtk-4.0
Status: RESOLVED FIXED
Product: devhelp
Classification: Applications
Component: General
unspecified
Other All
: Normal normal
: ---
Assigned To: devhelp-maint
devhelp-maint
Depends on:
Blocks:
 
 
Reported: 2014-08-06 03:48 UTC by Michael Catanzaro
Modified: 2014-08-11 15:26 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
Build against webkit2gtk-4.0 (860 bytes, patch)
2014-08-06 03:48 UTC, Michael Catanzaro 		none Details | Review
Build against either webkit2gtk-3.0 or webkit2gtk-4.0 (1.14 KB, patch)
2014-08-11 15:26 UTC, Michael Catanzaro 		committed Details | Review

Description Michael Catanzaro 2014-08-06 03:48:54 UTC 
devhelp is broken in jhbuild due to the recent WebKit API bump. It builds fine with the new API, though, we just need to bump the pkgconfig name. Here's a quick patch to fix things for if you don't care about backwards compatability.
Comment 1 Michael Catanzaro 2014-08-06 03:48:56 UTC 
Created attachment 282624 [details] [review]
Build against webkit2gtk-4.0
Comment 2 Michael Catanzaro 2014-08-11 15:26:15 UTC 
The following fix has been pushed:
2dfa110 Build against either webkit2gtk-3.0 or webkit2gtk-4.0
Comment 3 Michael Catanzaro 2014-08-11 15:26:18 UTC 
Created attachment 283116 [details] [review]
Build against either webkit2gtk-3.0 or webkit2gtk-4.0

The API changes were minor and none affected devhelp.