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

[Diego Biurrun]

Torinthiel writes:
> 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?

You separate them by ":".  This is not really documented outside of
the source, though.

So how about adding a note to the 'configure --help' output instead?

Diego