[MPlayer-dev-eng] mplayer and installation

[Felix Buenemann]

On Friday, 21. December 2001 12:22, you wrote:
> There's a big problem about this installation. Let's imagine that user do
> 'make install' as root to be able to install mplayer into /usr/local/bin.
> Now, if from an older install codecs.conf already presents in user's
> $HOME/.mplayer, that's cannot be checked by installation script, it will
> only know that /usr/local/share/mplayer/codecs.conf exists or not. So it's
> almost impossible to produce a good solution for that problem ;-(
How about a version string in codecs.conf, so configure and mplayer could 
check if codecs.conf is valid (if codecs_version < 123 ...).
-- 
Best Regards,
	Atmos
____________________________________________
- MPlayer Developer - http://mplayerhq.hu/ -
____________________________________________