[gnome-builder] gui: make WebKit2 loading optional

[Christian Hergert <chergert src gnome org>]

commit 00eb15b38557560ef8b473f2dfb70d573ecf3d0f
Author: Christian Hergert <chergert redhat com>
Date:   Mon Nov 23 16:19:20 2020 -0800

    gui: make WebKit2 loading optional

 src/libide/gui/ide-application-plugins.c | 2 ++
 1 file changed, 2 insertions(+)
---
diff --git a/src/libide/gui/ide-application-plugins.c b/src/libide/gui/ide-application-plugins.c
index 83df3ff95..4a410fbeb 100644
--- a/src/libide/gui/ide-application-plugins.c
+++ b/src/libide/gui/ide-application-plugins.c
@@ -415,7 +415,9 @@ _ide_application_load_plugins (IdeApplication *self)
       !g_irepository_require (NULL, "Dazzle", "1.0", 0, &error) ||
       !g_irepository_require (NULL, "Jsonrpc", "1.0", 0, &error) ||
       !g_irepository_require (NULL, "Template", "1.0", 0, &error) ||
+#ifdef HAVE_WEBKIT
       !g_irepository_require (NULL, "WebKit2", "4.0", 0, &error) ||
+#endif
       !g_irepository_require (NULL, "Ide", PACKAGE_ABI_S, 0, &error))
     g_critical ("Cannot enable Python 3 plugins: %s", error->message);
   else