File mGUI-install.patch of Package rub-l4-secserv

---
 tcb/src/libraries/mGUI/include/Makefile.am |   12 ++++++++----
 tcb/src/libraries/mGUI/src/Makefile.am     |    4 ++--
 2 files changed, 10 insertions(+), 6 deletions(-)

--- tcb/src/libraries/mGUI/src/Makefile.am.orig
+++ tcb/src/libraries/mGUI/src/Makefile.am
@@ -14,7 +14,7 @@
 
 include $(top_builddir)/Makeconf.perseus
 
-noinst_LIBRARIES = libmGUIClient.a
+lib_LIBRARIES = libmGUIClient.a
 
 libmGUIClient_a_SOURCES = mgui-input-server.c mgui-client.c \
 			  mGUIClient.cpp \
@@ -38,4 +38,4 @@ clean-local:
 
 # link library into lib dir
 all-local:
-	$(LINKFILES) $(tcblibdir) $(noinst_LIBRARIES)
+	$(LINKFILES) $(tcblibdir) $(lib_LIBRARIES)
--- tcb/src/libraries/mGUI/include/Makefile.am.orig
+++ tcb/src/libraries/mGUI/include/Makefile.am
@@ -13,18 +13,22 @@
 #
 include $(top_builddir)/Makeconf.perseus
 
-module_HEADERS = mGUIClient.hh Input.hh \
+mguidir=$(includedir)/mgui
+
+mgui_HEADERS = mGUIClient.hh Input.hh \
 	PasswordDialog.hh \
 	Draw.hh \
 	color.hh \
 	mgui-input-sys.h \
-	mgui-sys.h
+	mgui-sys.h \
+	mgui-input-server.h \
+	mgui-client.h
 
-mgui-input-sys.h: $(tcbinterfacedir)/mgui-input.idl
+mgui-input-sys.h mgui-input-server.h: $(tcbinterfacedir)/mgui-input.idl
 	$(DICE_C) -c -s $(tcbinterfacedir)/mgui-input.idl
 	rm -f mgui-input-client.c mgui-input-server.c
 
-mgui-sys.h: $(tcbinterfacedir)/mgui.idl
+mgui-sys.h mgui-client.h: $(tcbinterfacedir)/mgui.idl
 	$(DICE_C) -c $(tcbinterfacedir)/mgui.idl
 	rm -f mgui-client.c