Bug 156510

Summary:	webkitgtk-2.4.10 fails to build with --disable-video --disable-web-audio
Product:	WebKit	Reporter:	Pacho Ramos <pachoramos1>
Component:	WebKitGTK	Assignee:	Nobody <webkit-unassigned>
Status:	NEW ---
Severity:	Normal	CC:	bugs-noreply, gnome
Priority:	P2
Version:	WebKit Nightly Build
Hardware:	Unspecified
OS:	Unspecified

Description Pacho Ramos 2016-04-12 11:50:24 PDT

As reported downstream, 
https://bugs.gentoo.org/show_bug.cgi?id=579350

it fails with:
Source/WebCore/platform/gtk/RenderThemeGtk2.cpp:567:60: error: 'toRenderBox' was not declared in this scope

error. You have the full log at:
https://bugs.gentoo.org/attachment.cgi?id=429928

A reporter in downstream report has provided a patch that could probably be upstreamed :)

diff -purN a/Source/WebCore/platform/gtk/RenderThemeGtk2.cpp b/Source/WebCore/platform/gtk/RenderThemeGtk2.cpp
--- a/Source/WebCore/platform/gtk/RenderThemeGtk2.cpp	2016-03-14 08:09:01.000000000 +0100
+++ b/Source/WebCore/platform/gtk/RenderThemeGtk2.cpp	2016-04-10 19:43:00.215345381 +0200
@@ -40,6 +40,7 @@
 #include "PaintInfo.h"
 #include "PlatformContextCairo.h"
 #include "RenderElement.h"
+#include "RenderBox.h"
 #include "TextDirection.h"
 #include "UserAgentStyleSheets.h"
 #include "WidgetRenderingContext.h"


Thanks!