r2087 - in trunk

[dslinux_sonny_jim at dslinux.in-berlin.de]

Author: sonny_jim
Date: 2007-12-12 23:51:45 +0100 (Wed, 12 Dec 2007)
New Revision: 2087

Log:
Integrate xmp into build system and enable in DLDI builds (phew)

Modified: trunk/config/Configure.help
===================================================================
--- trunk/config/Configure.help	2007-12-12 22:45:48 UTC (rev 2086)
+++ trunk/config/Configure.help	2007-12-12 22:51:45 UTC (rev 2087)
@@ -1257,6 +1257,10 @@
 CONFIG_USER_TINYSID_TINYSID
   TinySID is the smallest SID player for c64 SID music.
 
+CONFIG_USER_XMP_XMP
+  The Extended Module Player is a portable command-line module player
+  It supports over 81 different formats
+
 CONFIG_USER_NULL_NULL
   NULL
   

Modified: trunk/config/config.in
===================================================================
--- trunk/config/config.in	2007-12-12 22:45:48 UTC (rev 2086)
+++ trunk/config/config.in	2007-12-12 22:51:45 UTC (rev 2087)
@@ -910,6 +910,7 @@
 bool 'mixer'			CONFIG_USER_VPLAY_MIXER
 bool 'playrt'			CONFIG_USER_PLAYRT_PLAYRT
 bool 'playtzx'			CONFIG_USER_PLAYTZX_PLAYTZX
+bool 'xmp'			CONFIG_USER_XMP_XMP
 
 comment 'Video tools'
 bool 'camserv'			CONFIG_USER_CAMSERV

Modified: trunk/user/Makefile
===================================================================
--- trunk/user/Makefile	2007-12-12 22:45:48 UTC (rev 2086)
+++ trunk/user/Makefile	2007-12-12 22:51:45 UTC (rev 2087)
@@ -403,6 +403,7 @@
 dir_$(CONFIG_USER_WIRELESS_TOOLS)           += wireless_tools
 dir_$(CONFIG_USER_WLAN_NG)                  += wlan-ng
 dir_$(CONFIG_USER_WNC_WNC)                  += wnc
+dir_$(CONFIG_USER_XMP_XMP)                  += xmp
 dir_$(CONFIG_USER_ZEBRA_BGPD_BGPD)          += zebra
 dir_$(CONFIG_USER_ZEBRA_OSPFD_OSPFD)        += zebra
 dir_$(CONFIG_USER_ZEBRA_RIPD_RIPD)          += zebra

Modified: trunk/vendors/Nintendo/DLDI/config.vendor
===================================================================
--- trunk/vendors/Nintendo/DLDI/config.vendor	2007-12-12 22:45:48 UTC (rev 2086)
+++ trunk/vendors/Nintendo/DLDI/config.vendor	2007-12-12 22:51:45 UTC (rev 2087)
@@ -489,6 +489,7 @@
 # CONFIG_USER_VPLAY_MIXER is not set
 # CONFIG_USER_PLAYRT_PLAYRT is not set
 CONFIG_USER_PLAYTZX_PLAYTZX=y
+CONFIG_USER_XMP_XMP=y
 
 #
 # Video tools

Modified: trunk/vendors/Nintendo/DSGBA/config.vendor
===================================================================
--- trunk/vendors/Nintendo/DSGBA/config.vendor	2007-12-12 22:45:48 UTC (rev 2086)
+++ trunk/vendors/Nintendo/DSGBA/config.vendor	2007-12-12 22:51:45 UTC (rev 2087)
@@ -467,6 +467,7 @@
 # CONFIG_USER_VPLAY_MIXER is not set
 # CONFIG_USER_PLAYRT_PLAYRT is not set
 # CONFIG_USER_PLAYTZX_PLAYTZX is not set
+# CONFIG_USER_XMP_XMP is not set
 
 #
 # Video tools

Modified: trunk/vendors/Nintendo/DSMEM/config.vendor
===================================================================
--- trunk/vendors/Nintendo/DSMEM/config.vendor	2007-12-12 22:45:48 UTC (rev 2086)
+++ trunk/vendors/Nintendo/DSMEM/config.vendor	2007-12-12 22:51:45 UTC (rev 2087)
@@ -469,6 +469,7 @@
 # CONFIG_USER_VPLAY_MIXER is not set
 # CONFIG_USER_PLAYRT_PLAYRT is not set
 # CONFIG_USER_PLAYTZX_PLAYTZX is not set
+# CONFIG_USER_XMP_XMP is not set
 
 #
 # Video tools

Modified: trunk/vendors/Nintendo/GBAMP/config.vendor
===================================================================
--- trunk/vendors/Nintendo/GBAMP/config.vendor	2007-12-12 22:45:48 UTC (rev 2086)
+++ trunk/vendors/Nintendo/GBAMP/config.vendor	2007-12-12 22:51:45 UTC (rev 2087)
@@ -469,6 +469,7 @@
 # CONFIG_USER_VPLAY_MIXER is not set
 # CONFIG_USER_PLAYRT_PLAYRT is not set
 # CONFIG_USER_PLAYTZX_PLAYTZX is not set
+# CONFIG_USER_XMP_XMP is not set
 
 #
 # Video tools

Modified: trunk/vendors/Nintendo/NDS/config.vendor
===================================================================
--- trunk/vendors/Nintendo/NDS/config.vendor	2007-12-12 22:45:48 UTC (rev 2086)
+++ trunk/vendors/Nintendo/NDS/config.vendor	2007-12-12 22:51:45 UTC (rev 2087)
@@ -464,6 +464,7 @@
 # CONFIG_USER_VPLAY_MIXER is not set
 # CONFIG_USER_PLAYRT_PLAYRT is not set
 # CONFIG_USER_PLAYTZX_PLAYTZX is not set
+# CONFIG_USER_XMP_XMP is not set
 
 #
 # Video tools