From 793a66787243741ba589baeee7eef28bc3ef0dbc Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Mon, 13 Dec 2021 15:30:55 +0100
Subject: [PATCH] gmp: silent warnings

Ref #4344
---
 repos/libports/lib/mk/gmp.inc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/repos/libports/lib/mk/gmp.inc b/repos/libports/lib/mk/gmp.inc
index 3a45577edf..9d5c7e7d37 100644
--- a/repos/libports/lib/mk/gmp.inc
+++ b/repos/libports/lib/mk/gmp.inc
@@ -5,5 +5,8 @@ include $(REP_DIR)/lib/import/import-gmp.mk
 LIBS += libc
 
 CC_OPT += -DHAVE_CONFIG_H -D__GMP_WITHIN_GMP
+CC_OPT += -Wno-unused-variable -Wno-unused-but-set-variable
+CC_OPT += -Wno-implicit-function-declaration -Wno-unused-function
+CC_OPT += -Wno-unused-value
 
 INC_DIR += $(GMP_DIR)