Bug 156510 – webkitgtk-2.4.10 fails to build with --disable-video --disable-web-audio

• Status: NEW
• Component: WebKitGTK

[Pacho Ramos]

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!