Created attachment 124816 [details] config log WebKit was configured with the following options: Build configuration: Enable debugging (slow) : no Compile with debug symbols (slow) : no Enable debug features (slow) : no Enable GCC build optimization : yes Code coverage support : no Unicode backend : icu Font backend : freetype Optimized memory allocator : yes Features: 3D Rendering : no WebGL : no Blob support : yes DeviceOrientation support : no Directory upload : no Fast Mobile Scrolling : no JIT compilation : yes Filters support : yes Geolocation support : no Client-based geolocation support : no JavaScript debugger/profiler support : yes MathML support : no Media source : no Media statistics : no HTML5 offline web applications support : yes HTML5 channel messaging support : yes HTML5 meter element support : yes Page Visibility API support : no HTML5 progress element support : yes HTML5 client-side session and persistent storage support : yes SQL client-side database storage support : yes HTML5 datagrid support : no HTML5 data transfer items support : no HTML5 FileSystem API support : no Quota API support : no HTML5 sandboxed iframe support : yes HTML5 video element support : yes HTML5 track element support : yes Fullscreen API support : yes Media stream support : no Icon database support : yes Image resizer support : no Link prefetch support : no Opcode stats : no SharedWorkers support : yes Color input support : no Speech input support : no SVG support : yes SVG fonts support : yes WCSS support : no Web Audio support : no Web Sockets support : yes Web Timing support : no Web Workers support : yes XHTML-MP support : no XPATH support : yes XSLT support : yes Spellcheck support : yes Animation API : no Touch Icon Loading support : no Register Protocol Handler support : no WebKit2 support : no WebKit2 plugin process : no GTK+ configuration: GTK+ version : 3.0 GDK target : x11 Hildon UI extensions : no Introspection support : yes make: *** No rule to make target `Source/WebKit/gtk/webkit/webkitversion.h', needed by `DerivedSources/webkit/webkitenumtypes.cpp'. Stop.
*** This bug has been marked as a duplicate of bug 77524 ***