[Geary] Build fails / WebKit-3.0.gir not found

[Rafael Fontenelle <rafaelff gnome org>]

Hello!

I'm trying to build geary using JHBuild, but it fails displaying the following error message:

[ 78%] Generating webkitgtk-3.0.vapi

error: /home/rffontenelle/jhbuild/install/share/gir-1.0/WebKit-3.0.gir not found

Generation failed: 1 error(s), 0 warning(s)

make[2]: *** [src/CMakeFiles/geary.dir/build.make:1277: src/webkitgtk-3.0.vapi] Error 1

make[1]: *** [CMakeFiles/Makefile2:798: src/CMakeFiles/geary.dir/all] Error 2

See full output here:  https://gist.github.com/josephgbr/549488f5cec7bed05b9471975c183ebf

Yesterday and today I built (almost) all modules from JHBuild's gnome-world moduleset, including WebKit, and my "share/gir-1.0/" directory contains "WebKit2-4.0.gir", but no "WebKit-3.0.gir".

Any idea of what went wrong and how can I workaround this issue?