From 407c821e31119f0851fb343437ecb78da1808f22 Mon Sep 17 00:00:00 2001
From: Nikos Mavrogiannopoulos <nmav@gnutls.org>
Date: Tue, 21 Apr 2015 19:31:06 +0200
Subject: [PATCH] gnutls: install libgnutls.so

Resolves #1162

Signed-off-by: Nikos Mavrogiannopoulos <nmav@gnutls.org>
---
 libs/gnutls/Makefile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/libs/gnutls/Makefile b/libs/gnutls/Makefile
index 070ea719b..6d5c3524a 100644
--- a/libs/gnutls/Makefile
+++ b/libs/gnutls/Makefile
@@ -180,6 +180,9 @@ TARGET_CFLAGS += $(FPIC)
 
 define Build/InstallDev
 	$(INSTALL_DIR) $(1)/usr/include $(1)/usr/lib/pkgconfig
+	$(CP) \
+		$(PKG_INSTALL_DIR)/usr/lib/libgnutls.so* \
+		$(1)/usr/lib/
 	$(CP) \
 		$(PKG_INSTALL_DIR)/usr/include/gnutls \
 		$(1)/usr/include/