Hi,

In src/backend/parser/parse.h there is a copyright that reads as below.
Note the bottom section that says that the GPL is only excepted for
files generated by Bison *from* this file. This implies to me that this
file is GPL'd, and therefore shouldn't be in the tarball (or pgAdmin
where Andreas wants to use it) - or have I missed something?

Regards, Dave.

/* A Bison parser, made by GNU Bison 1.875.  */

/* Skeleton parser for Yacc-like parsing with Bison,
   Copyright (C) 1984, 1989, 1990, 2000, 2001, 2002 Free Software
Foundation, Inc.

   This program is free software; you can redistribute it and/or modify
   it under the terms of the GNU General Public License as published by
   the Free Software Foundation; either version 2, or (at your option)
   any later version.

   This program is distributed in the hope that it will be useful,
   but WITHOUT ANY WARRANTY; without even the implied warranty of
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
   GNU General Public License for more details.

   You should have received a copy of the GNU General Public License
   along with this program; if not, write to the Free Software
   Foundation, Inc., 59 Temple Place - Suite 330,
   Boston, MA 02111-1307, USA.  */

/* As a special exception, when this file is copied by Bison into a
   Bison output file, you may use that output file without restriction.
   This special exception was added by the Free Software Foundation
   in version 1.24 of Bison.  */

Tue, 30 Sep 2003 16:13:14 +0100
"Dave Page" <dpage@vale-housing.co.uk>
GPL code issue?
Dave Page wrote:

>Hi,
>
>In src/backend/parser/parse.h there is a copyright that reads as below.
>Note the bottom section that says that the GPL is only excepted for
>files generated by Bison *from* this file. This implies to me that this
>file is GPL'd, and therefore shouldn't be in the tarball (or pgAdmin
>where Andreas wants to use it) - or have I missed something?
>
>
>/* As a special exception, when this file is copied by Bison into a
>   Bison output file, you may use that output file without restriction.
>   This special exception was added by the Free Software Foundation
>   in version 1.24 of Bison.  */
>  
>

IMHO, parse.h and gram.c *are* bison output files, so the term 'this 
file' is misleading.

Regards,
Andreas


Tue, 30 Sep 2003 18:01:28 +0200
Andreas Pflug <pgadmin@pse-consulting.de>
Re: GPL code issue?
"Dave Page" <dpage@vale-housing.co.uk> writes:
> In src/backend/parser/parse.h there is a copyright that reads as below.
> Note the bottom section that says that the GPL is only excepted for
> files generated by Bison *from* this file. This implies to me that this
> file is GPL'd,

No.  The text in question is copied verbatim from some Bison component
file that supplies a lot of fixed boilerplate for Bison output files.
It's not very well phrased, perhaps, but their intent is clearly to
exempt Bison output files from the GPL, and this *is* a Bison output
file.

			regards, tom lane

Tue, 30 Sep 2003 23:39:15 -0400
Tom Lane <tgl@sss.pgh.pa.us>
Re: [HACKERS] GPL code issue? 
Dave Page wrote:

>/* A Bison parser, made by GNU Bison 1.875.  */
>
Given that this file appears to be produced *by* Bison, and given this 
exception:

>/* As a special exception, when this file is copied by Bison into a
>   Bison output file, you may use that output file without restriction.
>   This special exception was added by the Free Software Foundation
>   in version 1.24 of Bison.  */
>
it would appear that the file can be used without restriction.  Any 
output from bison or flex is non-GPL, AIUI.  Any input *into* bison, 
which is GPL'd before processing, *is* restricted.  Given that bison 
doesn't take .h files as input, doesn't it make sense that this was 
produced *by* bison, and thus unrestricted?

ahp


Wed, 01 Oct 2003 09:53:24 -0400
"Adam H. Pendleton" <fmonkey@fmonkey.net>
Re: GPL code issue?