[MPlayer-dev-eng] [PATCH] configure accepting multiple --with-extra{inc, lib}dir

Attila Kinali attila at kinali.ch
Sun Aug 22 03:03:08 CEST 2004


On Thu, Aug 19, 2004 at 05:46:52PM +0200, Torinthiel wrote:
> On Thu, Aug 19, 2004 at 04:58:02PM +0200, Diego Biurrun wrote:
> > 
> > Torinthiel writes:
> > > This patch makes configure accept (properly) multiple --with-extralibdir
> > > and --with-extraincdir options. It was taken form PLD linux patchset.
> > > Ok to apply? It looks interesting.
> > 
> > I don't see why this would be useful.  Currently you can override the
> > --with-extra* options if they come from e.g. a script, with this patch
> > applied that would no longer be possible.  OK, there are scenarios
> > where this might be the more convenient behavior, but which ones would
> > that be exactly?
> 
> And what if you need more than one extraincdir?

Read the specific line again. It accepts a : separated list of
direcotries. Maybe this should be documented in the --help output :)


			Attila Kinali




More information about the MPlayer-dev-eng mailing list