r2075 - in trunk

dslinux_sonny_jim at dslinux.in-berlin.de dslinux_sonny_jim at dslinux.in-berlin.de
Wed Dec 12 20:16:19 CET 2007


Author: sonny_jim
Date: 2007-12-12 20:16:18 +0100 (Wed, 12 Dec 2007)
New Revision: 2075

Log:
Integrate playtzx into build system and enable in DLDI builds

Modified: trunk/config/Configure.help
===================================================================
--- trunk/config/Configure.help	2007-12-12 19:09:26 UTC (rev 2074)
+++ trunk/config/Configure.help	2007-12-12 19:16:18 UTC (rev 2075)
@@ -1238,6 +1238,9 @@
 CONFIG_USER_MADPLAY
   Play MP3 files
 
+CONFIG_USER_PLAYTZX_PLAYTZX
+  Software to replay .TZX files back to a ZX Spectrum
+
 CONFIG_USER_MP3PLAY_MP3PLAY
   Play MP3 files
 

Modified: trunk/config/config.in
===================================================================
--- trunk/config/config.in	2007-12-12 19:09:26 UTC (rev 2074)
+++ trunk/config/config.in	2007-12-12 19:16:18 UTC (rev 2075)
@@ -909,6 +909,7 @@
 bool 'vrec'			CONFIG_USER_VPLAY_VREC
 bool 'mixer'			CONFIG_USER_VPLAY_MIXER
 bool 'playrt'			CONFIG_USER_PLAYRT_PLAYRT
+bool 'playtzx'			CONFIG_USER_PLAYTZX_PLAYTZX
 
 comment 'Video tools'
 bool 'camserv'			CONFIG_USER_CAMSERV

Modified: trunk/user/Makefile
===================================================================
--- trunk/user/Makefile	2007-12-12 19:09:26 UTC (rev 2074)
+++ trunk/user/Makefile	2007-12-12 19:16:18 UTC (rev 2075)
@@ -256,6 +256,7 @@
 dir_$(CONFIG_USER_PLAY_PLAY)                += play
 dir_$(CONFIG_USER_PLAY_TONE)                += play
 dir_$(CONFIG_USER_PLAYRT_PLAYRT)            += playrt
+dir_$(CONFIG_USER_PLAYTZX_PLAYTZX)          += playtzx
 dir_$(CONFIG_USER_PLUG_PLUG)                += plug
 dir_$(CONFIG_USER_POP3PROXY_POP3PROXY)      += pop3proxy
 dir_$(CONFIG_USER_PORTMAP_PORTMAP)          += portmap

Modified: trunk/vendors/Nintendo/DLDI/config.vendor
===================================================================
--- trunk/vendors/Nintendo/DLDI/config.vendor	2007-12-12 19:09:26 UTC (rev 2074)
+++ trunk/vendors/Nintendo/DLDI/config.vendor	2007-12-12 19:16:18 UTC (rev 2075)
@@ -487,6 +487,7 @@
 CONFIG_USER_VPLAY_VREC=y
 # CONFIG_USER_VPLAY_MIXER is not set
 # CONFIG_USER_PLAYRT_PLAYRT is not set
+CONFIG_USER_PLAYTZX_PLAYTZX=y
 
 #
 # Video tools

Modified: trunk/vendors/Nintendo/DSGBA/config.vendor
===================================================================
--- trunk/vendors/Nintendo/DSGBA/config.vendor	2007-12-12 19:09:26 UTC (rev 2074)
+++ trunk/vendors/Nintendo/DSGBA/config.vendor	2007-12-12 19:16:18 UTC (rev 2075)
@@ -465,6 +465,7 @@
 # CONFIG_USER_VPLAY_VREC is not set
 # CONFIG_USER_VPLAY_MIXER is not set
 # CONFIG_USER_PLAYRT_PLAYRT is not set
+# CONFIG_USER_PLAYTZX_PLAYTZX is not set
 
 #
 # Video tools

Modified: trunk/vendors/Nintendo/DSMEM/config.vendor
===================================================================
--- trunk/vendors/Nintendo/DSMEM/config.vendor	2007-12-12 19:09:26 UTC (rev 2074)
+++ trunk/vendors/Nintendo/DSMEM/config.vendor	2007-12-12 19:16:18 UTC (rev 2075)
@@ -467,6 +467,7 @@
 CONFIG_USER_VPLAY_VREC=y
 # CONFIG_USER_VPLAY_MIXER is not set
 # CONFIG_USER_PLAYRT_PLAYRT is not set
+# CONFIG_USER_PLAYTZX_PLAYTZX is not set
 
 #
 # Video tools

Modified: trunk/vendors/Nintendo/GBAMP/config.vendor
===================================================================
--- trunk/vendors/Nintendo/GBAMP/config.vendor	2007-12-12 19:09:26 UTC (rev 2074)
+++ trunk/vendors/Nintendo/GBAMP/config.vendor	2007-12-12 19:16:18 UTC (rev 2075)
@@ -467,6 +467,7 @@
 CONFIG_USER_VPLAY_VREC=y
 # CONFIG_USER_VPLAY_MIXER is not set
 # CONFIG_USER_PLAYRT_PLAYRT is not set
+# CONFIG_USER_PLAYTZX_PLAYTZX is not set
 
 #
 # Video tools

Modified: trunk/vendors/Nintendo/NDS/config.vendor
===================================================================
--- trunk/vendors/Nintendo/NDS/config.vendor	2007-12-12 19:09:26 UTC (rev 2074)
+++ trunk/vendors/Nintendo/NDS/config.vendor	2007-12-12 19:16:18 UTC (rev 2075)
@@ -462,6 +462,7 @@
 # CONFIG_USER_VPLAY_VREC is not set
 # CONFIG_USER_VPLAY_MIXER is not set
 # CONFIG_USER_PLAYRT_PLAYRT is not set
+# CONFIG_USER_PLAYTZX_PLAYTZX is not set
 
 #
 # Video tools



More information about the dslinux-commit mailing list