[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Bison GPL exception in the manual
From: |
tys lefering |
Subject: |
Re: Bison GPL exception in the manual |
Date: |
Sun, 10 Oct 2010 17:22:08 +0200 |
User-agent: |
SquirrelMail/1.4.18 |
On Sun, October 10, 2010 04:15, Paul Eggert wrote:
> I'm not sure that we want to encourage the use of that
> exception in other projects
Maybe a idea for a Bison commandline option
--with-gpl-exception=yes/no
to let Bison generate a output parser
with or without a GPL exception statement,
and default it to no GPL exception.
A feature request for the TODO file.