codec location (was: Re: [MPlayer-dev-eng] [PATCH] enable dll codec support for mingw32andcygwin)

[Diego Biurrun]

Dominik Mierzejewski writes:
 > On Monday, 05 May 2003, Alex Beregszaszi wrote:
 > > > > idea.  /usr/lib will be searched by ld, won't it?  Nasty.  It just
 > > > > doesn't seem right, they're not native libraries, they're DLLs that
 > > > > require a special loader.
 > > > 
 > > > I agree.
 > > I vote for /usr/share/codecs/ (or eventually /usr/local/share/codecs/)
 > > For compatibility the configure should check for the old /usr/lib/win32
 > > directory too.
 > 
 > Not /usr/share. It's for architecture-independent stuff. /usr/lib/codecs
 > (/usr/local/lib/codecs) is better, according to FHS guidelines (AFAIR).

Dominik is right, binary codecs are processor dependent, these files
do not belong in /usr/share, but rather in /usr/lib/, see the FHS:

http://www.pathname.com/fhs/2.2/

on /usr/share/:

http://www.pathname.com/fhs/2.2/fhs-4.11.html

and on /usr/lib/:

http://www.pathname.com/fhs/2.2/fhs-4.7.html


I believe we should go with

/usr/[local/]lib/codecs/

and put all of our codecs there.

I'll come up with a patch for configure later today or tomorrow.

Diego