#5659 NORM Never A: Pippy license should have a 'generated activities' exception.

[Zarro Boogs per Child]

#5659: Pippy license should have a 'generated activities' exception.
----------------------------+-----------------------------------------------
 Reporter:  cscott          |       Owner:  cjb           
     Type:  defect          |      Status:  new           
 Priority:  normal          |   Milestone:  Never Assigned
Component:  pippy-activity  |     Version:                
 Keywords:  update.1?       |    Verified:  0             
 Blocking:                  |   Blockedby:                
----------------------------+-----------------------------------------------
 Pippy is covered by the GPL, but generated activities should be covered by
 whatever licenses the kids want, even though generated activities contain
 some Pippy code (the library and activity.py, for example).

 Pippy's license probably needs an exception, similar to the libgcc or flex
 exceptions.  Flex's exception reads,

 "Note that the "flex.skl" scanner skeleton carries no copyright notice.
 You are free to do whatever you please with scanners generated using flex;
 for them, you are not even bound by the above copyright." (which is
 slightly modified BSD)

 The GCC tools have a long set of special exceptions for the various
 pieces.  Some of them:

 libstdc++-v3: (not very permissive)
 {{{
    As a special exception, you may use this file as part of a free
 software
    library without restriction.  Specifically, if other files instantiate
    templates or use macros or inline functions from this file, or you
 compile
    this file and link it with other files to produce an executable, this
    file does not by itself cause the resulting executable to be covered by
    the GNU General Public License.  This exception does not however
    invalidate any other reasons why the executable file might be covered
 by
    the GNU General Public License.
 }}}

 libgcj's exception:
 {{{
     Linking this library statically or dynamically with other modules
     is making a combined work based on this library.  Thus, the terms
     and conditions of the GNU General Public License cover the whole
     combination.

     As a special exception, the copyright holders of this library give
     you permission to link this library with independent modules to
     produce an executable, regardless of the license terms of these
     independent modules, and to copy and distribute the resulting
     executable under terms of your choice, provided that you also
     meet, for each linked independent module, the terms and conditions
     of the license of that module.  An independent module is a module
     which is not derived from or based on this library.  If you modify
     this library, you may extend this exception to your version of the
     library, but you are not obligated to do so.  If you do not wish
     to do so, delete this exception statement from your version.
 }}}

 gcc/libgcc2.c (a module linked with just about every executable compiled
 with gcc):
 {{{
     In addition to the permissions in the GNU General Public License,
     the Free Software Foundation gives you unlimited permission to
     link the compiled version of this file into combinations with
     other programs, and to distribute those combinations without any
     restriction coming from the use of this file.  (The General Public
     License restrictions do apply in other respects; for example, they
     cover modification of the file, and distribution when not linked
     into a combine executable.)
 }}}

 gcc/unwind-libunwind.c (similar to above, linked with most gcc-compiled
 executables):
 {{{
     As a special exception, if you link this library with other files,
     some of which are compiled with GCC, to produce an executable,
     this library does not by itself cause the resulting executable to
     be covered by the GNU General Public License.  This exception does
     not however invalidate any other reasons why the executable file
     might be covered by the GNU General Public License.
 }}}

 Lots of options!

-- 
Ticket URL: <http://dev.laptop.org/ticket/5659>
One Laptop Per Child <http://dev.laptop.org>
OLPC bug tracking system