From 039a85100391472033ca0ad3d3b23a4878a43889 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Tue, 9 Apr 2024 09:15:42 +0200
Subject: [PATCH] gdb: prevent use of host libgmp in configure test

Fixes #5173
---
 repos/ports/src/noux-pkg/gdb/target.inc | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/repos/ports/src/noux-pkg/gdb/target.inc b/repos/ports/src/noux-pkg/gdb/target.inc
index 93d1985db3..d0ef6b8330 100644
--- a/repos/ports/src/noux-pkg/gdb/target.inc
+++ b/repos/ports/src/noux-pkg/gdb/target.inc
@@ -7,6 +7,10 @@ CONFIGURE_ARGS += --program-prefix=$(PROGRAM_PREFIX) \
 # the configure script calls the linker with "-lexpat", which fails
 CONFIGURE_ARGS += --without-expat
 CPPFLAGS += -DHAVE_LIBEXPAT=1
+
+# prevent use of host libgmp in configure test
+CONFIGURE_ARGS += --without-libgmp-prefix
+
 CFLAGS += -Wno-error=sizeof-pointer-memaccess \
           -Wno-error=unused-value \
           -Wno-error=overflow