[FFmpeg-devel] [Patch] Enable gpl if enabled nonfree

[Diego Biurrun]

On Sun, Jan 18, 2009 at 11:45:34PM +0100, Michael Niedermayer wrote:
> On Sun, Jan 18, 2009 at 05:17:35PM +0000, Robert Swain wrote:
> > 2009/1/18 Diego Biurrun <diego at biurrun.de>:
> > > On Sun, Jan 18, 2009 at 05:12:36PM +0000, Carl Eugen Hoyos wrote:
> > >> Diego Biurrun <diego <at> biurrun.de> writes:
> > >>
> > >> > Of course the nonfree option is incompatible with everything
> > >> > and the resulting binary is nonredistributable.
> > >>
> > >> "Of course" for us, but as I always expected and was shown to us
> > >> today, not for everybody.
> > >
> > > I still suspect PEBCAK because configure prints out:
> > >
> > > license: unredistributable
> > >
> > > at the end even when combining both options...
> > 
> > True. But maybe people do `./configure --OPTIONS && make && make
> > install` and don't notice the output from configure. If no other
> > license related options were allowed in conjunction with
> > --enable-nonfree, it may make the license status more apparent.
> 
> why dont you rename --enable-nonfree to --enable-nonredistributable ?

Do others agree that this will reduce the confusion?

Diego