From 493bcc80dfec5e984bf3f9b0d13e4377ada06a11 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Thu, 7 May 2015 12:39:33 +0200
Subject: [PATCH] dde_rump: don't build non-Genode shared libraries

Fixes #1512
---
 repos/dde_rump/patches/no_shared_libs.patch | 13 +++++++++++++
 repos/dde_rump/ports/dde_rump.hash          |  2 +-
 2 files changed, 14 insertions(+), 1 deletion(-)
 create mode 100644 repos/dde_rump/patches/no_shared_libs.patch

diff --git a/repos/dde_rump/patches/no_shared_libs.patch b/repos/dde_rump/patches/no_shared_libs.patch
new file mode 100644
index 000000000..71e436433
--- /dev/null
+++ b/repos/dde_rump/patches/no_shared_libs.patch
@@ -0,0 +1,13 @@
+diff --git a/src/share/mk/bsd.lib.mk b/src/share/mk/bsd.lib.mk
+index ab658e7..85575bb 100644
+--- a/src/share/mk/bsd.lib.mk
++++ b/src/share/mk/bsd.lib.mk
+@@ -402,7 +402,7 @@ _LIB_g.a:=${_LIB}_g.a
+ _LIB_pic.a:=${_LIB}_pic.a
+ _LIB.ln:=llib-l${LIB}.ln
+ 
+-.if ${MKPIC} != "no" && defined(SHLIB_FULLVERSION)
++.if ${MKPIC} != "no" && defined(SHLIB_FULLVERSION) && 0
+ _LIB.so:=${_LIB}.so
+ _LIB.so.major:=${_LIB}.so.${SHLIB_MAJOR}
+ _LIB.so.full:=${_LIB}.so.${SHLIB_FULLVERSION}
diff --git a/repos/dde_rump/ports/dde_rump.hash b/repos/dde_rump/ports/dde_rump.hash
index a7a5c52f6..78c3bef6f 100644
--- a/repos/dde_rump/ports/dde_rump.hash
+++ b/repos/dde_rump/ports/dde_rump.hash
@@ -1 +1 @@
-fe90aa7ca739eb69c0e0e422756f1d36f3d744ec
+8719ed349bf425eb570d0ee7f16acf980b44adb4