From: Jens P. <ju...@co...> - 2013-12-23 05:30:21
|
I tried to build webkit and webkitgtk3 0.12.5 on Fedora 20 (just released) and ran into: $ cabal install webkitgtk3 : Configuring webkitgtk3-0.12.5... Building webkitgtk3-0.12.5... Preprocessing library webkitgtk3-0.12.5... gtk2hsC2hs: Errors during expansion of binding hooks: ./Graphics/UI/Gtk/WebKit/Types.chs:1100: (column 12) [ERROR] >>> Unknown identifier! Cannot find a definition for `WebKitDOMBarInfo' in the header file. ./Graphics/UI/Gtk/WebKit/Types.chs:1865: (column 12) [ERROR] >>> Unknown identifier! Cannot find a definition for `WebKitDOMMemoryInfo' in the header file. Failed to install webkitgtk3-0.12.5 : Same error occurs for "cabal install webkit". This is with upstream webkitgtk3-2.2.3 (and webkitgtk 2.2.3). Anyone else seen this or know how to deal with it? Thanks, Jens |
From: Hamish M. <ham...@gm...> - 2013-12-28 11:20:04
|
Looks like some interfaces were removed. I have regenerated the DOM interface files from newer webkit IDL files and uploaded a 0.12.5.1 version. Please try again. On 23 Dec 2013, at 18:30, Jens Petersen <ju...@co...> wrote: > I tried to build webkit and webkitgtk3 0.12.5 on Fedora 20 (just released) and ran into: > > $ cabal install webkitgtk3 > : > Configuring webkitgtk3-0.12.5... > Building webkitgtk3-0.12.5... > Preprocessing library webkitgtk3-0.12.5... > gtk2hsC2hs: Errors during expansion of binding hooks: > > ./Graphics/UI/Gtk/WebKit/Types.chs:1100: (column 12) [ERROR] > >>> Unknown identifier! > Cannot find a definition for `WebKitDOMBarInfo' in the header file. > ./Graphics/UI/Gtk/WebKit/Types.chs:1865: (column 12) [ERROR] > >>> Unknown identifier! > Cannot find a definition for `WebKitDOMMemoryInfo' in the header file. > > Failed to install webkitgtk3-0.12.5 > : > > Same error occurs for "cabal install webkit". > > This is with upstream webkitgtk3-2.2.3 (and webkitgtk 2.2.3). > Anyone else seen this or know how to deal with it? > > Thanks, Jens > > ------------------------------------------------------------------------------ > Rapidly troubleshoot problems before they affect your business. Most IT > organizations don't have a clear picture of how application performance > affects their revenue. With AppDynamics, you get 100% visibility into your > Java,.NET, & PHP application. Start your 15-day FREE TRIAL of AppDynamics Pro! > http://pubads.g.doubleclick.net/gampad/clk?id=84349831&iu=/4140/ostg.clktrk_______________________________________________ > Gtk2hs-users mailing list > Gtk...@li... > https://lists.sourceforge.net/lists/listinfo/gtk2hs-users |
From: Jens P. <ju...@co...> - 2013-12-30 15:13:03
|
On 28 December 2013 20:19, Hamish Mackenzie <ham...@gm...>wrote: > Looks like some interfaces were removed. I have regenerated the DOM > interface files > from newer webkit IDL files and uploaded a 0.12.5.1 version. Please try > again. Thanks Hamish! Both webkit-0.12.5.1 and webkitgtk3-0.12.5.1 build for me fine on Fedora 20. :-) Cheers, Jens > I tried to build webkit and webkitgtk3 0.12.5 on Fedora 20 (just > released) and ran into: > : > > Cannot find a definition for `WebKitDOMBarInfo' in the header file. > : > > This is with upstream webkitgtk3-2.2.3 (and webkitgtk 2.2.3). > |