Hello,
> Hm. This sounds like maybe you are building webkit and gtk with > different settings of the gtk3 flag. Can you check that both are built > with -f-gtk3 or both are built with -fgtk3? (Perhaps you are using an > installation of gtk that you already had, and which doesn't do GTK3, but > you're using webkit from darcs, which does.) Right, I had actually built gtk2hs-buildtools and gtk from hackage. Using darcs version for everything works solves the problem I described. > Well, to be fair, the very top of Types.chs *does* give you such a > hint. > > -- -------------------- automatically generated file - do not edit > ---------- Woops... :D > Yep, the gtk2hs build chain is super complicated. You can get some > details by passing -v3 to cabal when you invoke it. >From what I can see here, gtk2hsTypeGen is called with the following options: --hierarchy=hierarchy3.list --tag=webkit --tag=webkit-dom --modname=Graphics.UI.Gtk.WebKit.Types --forward=*Graphics.UI.GtkInternals --destructor=objectUnrefFromMainloop --hierarchy=hierarchy.list --tag=webkitgtk --tag=webkitgtk-2.0 Is it normal that both hierarchy* files are mentioned ? I would have expected only one of them. Besides, my webkitgtk-3.0 installation doesn't link well with the haskell binding: * the WebKitDOM*.h files are in a distinct 'webkitdom' directory; in cbits/events.h, I had to change the include path: -#include <webkit/WebKitDOMEventTarget.h> +#include <webkitdom/WebKitDOMEventTarget.h> * WebKitDOMWebKitAnimation* classes do not exist (anymore ?): - WebKitDOMWebKitAnimation as WebKitAnimation, webkit_dom_webkit_animation_get_type if webkit-dom - WebKitDOMWebKitAnimationList as WebKitAnimationList, webkit_dom_webkit_animation_list_get_type if webkit-dom + #WebKitDOMWebKitAnimation as WebKitAnimation, webkit_dom_webkit_animation_get_type if webkit-dom + #WebKitDOMWebKitAnimationList as WebKitAnimationList, webkit_dom_webkit_animation_list_get_type if webkit-dom * ... various other build problems due to unexisting classes from my webkitgtk installation. Is my webkitgtk3 installation too old/young, or is it something else ? In advance, thank you for your assistance :) . -- koral ------------------------------------------------------------------------------ Try New Relic Now & We'll Send You this Cool Shirt New Relic is the only SaaS-based application performance monitoring service that delivers powerful full stack analytics. Optimize and monitor your browser, app, & servers with just a few lines of code. Try New Relic and get this awesome Nerd Life shirt! http://p.sf.net/sfu/newrelic_d2d_apr _______________________________________________ Gtk2hs-devel mailing list Gtk2hs-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/gtk2hs-devel
