[MPlayer-dev-eng] [PATCH] use /usr/lib/codecs as default codec location

[Diego Biurrun]

As discussed recently I think we should use

/usr/lib/codecs/

as default codec directory instead of /usr/lib/win32/.  Here is a
patch that accomplishes that.  Comments?

Diego


--- configure	3 May 2003 14:54:08 -0000	1.701
+++ configure	6 May 2003 23:19:50 -0000
@@ -4123,7 +4123,7 @@
 if test "$_win32" != no ; then
   echocheck "Win32 codec DLL files path"
     if test -z "$_win32libdir" ; then
-      for I in "$_libdir/win32" /usr/local/lib/win32 /usr/lib/win32 ; do
+      for I in "$_libdir/codecs" /usr/local/lib/win32 /usr/lib/win32 ; do
         if test -d "$I" ; then
           _win32libdir="$I"
           break;
@@ -4224,7 +4224,7 @@
   _xanim=no
   if test "$_dl" = yes ; then
     if test -z "$_xanimlibdir" ; then
-	for I in /usr/local/lib/xanim/mods /usr/lib/xanim/mods /usr/lib/xanim $XANIM_MOD_DIR ; do
+	for I in $_libdir/codecs /usr/local/lib/xanim/mods /usr/lib/xanim/mods /usr/lib/xanim $XANIM_MOD_DIR ; do
           if test -d "$I" ; then
             _xanimlibdir="$I"
             break;
@@ -4265,7 +4265,7 @@
     fi
     if test "$_real" = yes ; then
       if test -z "$_reallibdir" ; then
-	for I in $_libdir/real /usr/lib/real /usr/lib/RealPlayer*/Codecs \
+	for I in $_libdir/codecs $_libdir/real /usr/lib/real /usr/lib/RealPlayer*/Codecs \
           /usr/local/RealPlayer*/Codecs /usr/local/lib/RealPlayer*/Codecs \
           /opt/RealPlayer*/Codecs; do
           if test -d "$I" ; then