From 5b232df503a21b5a67b038ca7dd733ba385cf547 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Mon, 6 May 2019 14:28:35 +0200
Subject: [PATCH] libports: fix 'solo5' compile error with GCC 8.3.0

Fixes #3344
---
 repos/libports/lib/mk/solo5.mk | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/repos/libports/lib/mk/solo5.mk b/repos/libports/lib/mk/solo5.mk
index 20da4ab8f..92fadf36b 100644
--- a/repos/libports/lib/mk/solo5.mk
+++ b/repos/libports/lib/mk/solo5.mk
@@ -4,6 +4,11 @@ SHARED_LIB = yes
 
 CC_OPT += -D__SOLO5_BINDINGS__ -Drestrict=__restrict__
 
+# GCC 8 complains about a mismatch of the 'log()' function declaration.
+# Since the solo5 'log()' function is unrelated to the builtin function,
+# we disable the error message.
+CC_OPT += -Wno-builtin-declaration-mismatch
+
 SRC_CC = bindings.cc
 
 SOLO5_PORT_DIR := $(call select_from_ports,solo5)