From 901b39259c6c056efad2a0bc78038cfd2779b2d5 Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Thu, 30 Jun 2016 11:10:08 +0200
Subject: [PATCH] lwip: use symbol.map to avoid clash with dns_init

Ref #2026
---
 repos/libports/lib/mk/lwip.mk          |  2 ++
 repos/libports/src/lib/lwip/symbol.map | 12 ++++++++++++
 2 files changed, 14 insertions(+)
 create mode 100644 repos/libports/src/lib/lwip/symbol.map

diff --git a/repos/libports/lib/mk/lwip.mk b/repos/libports/lib/mk/lwip.mk
index 6ed573d25..b4f2a86ad 100644
--- a/repos/libports/lib/mk/lwip.mk
+++ b/repos/libports/lib/mk/lwip.mk
@@ -30,6 +30,8 @@ D_OPTS   = ERRNO
 D_OPTS  := $(addprefix -D,$(D_OPTS))
 CC_DEF  += $(D_OPTS)
 
+LD_OPT  += --version-script=$(REP_DIR)/src/lib/lwip/symbol.map
+
 INC_DIR += $(REP_DIR)/include/lwip \
            $(LWIP_PORT_DIR)/include/lwip \
            $(LWIP_DIR)/src/include \
diff --git a/repos/libports/src/lib/lwip/symbol.map b/repos/libports/src/lib/lwip/symbol.map
new file mode 100644
index 000000000..e835b370b
--- /dev/null
+++ b/repos/libports/src/lib/lwip/symbol.map
@@ -0,0 +1,12 @@
+{
+	global:
+
+		lwip_*;
+		ipaddr_addr;
+		dns_getserver;
+		ipaddr_ntoa;
+
+	local:
+
+		*;
+};