On Wednesday, May 2, 2018 at 6:45:35 PM UTC+6, gmhwxi wrote: > > > FYI. > > I learned recently that LGPLv3 does address the issue of code generated > from templates (C++ templates, Ada generics). So I reworded ATS license > as follows. The change is that ATS libraries are now covered under LGPLv3. > It is also stated explicitly that any C code generated by ATS compiler > using ATS > libraries is NOT considered to be licensed under GPL/LGPL by default. > > * The Compiler (ATS/Postiats): > [GPLv3]( > https://github.com/githwxi/ATS-Postiats/blob/master/COPYING-gpl-3.0.txt) > * The ATS source for the Libraries (ATSLIB/{prelude,libats}): > [LGPLv3]( > https://github.com/githwxi/ATS-Postiats/blob/master/COPYING-lgpl-3.0.txt). > * As a special exception, any C code generated by the Compiler based on > the Libraries > source is not considered by default to be licensed under GPLv3/LGPLv3. > If you use such > C code together with other code to create an executable, then the C code > by itself does > not cause the executable to be covered by GPLv3/LGPLv3. However, there > may be reasons > unrelated to using ATS that can result in the executable being covered > by GPLv3/LGPLv3. > * The contributed portion (ATS/Postiats/contrib) is released under the MIT > license. > * There is also a release under the MIT license for the C header files of > the Libraries, > which one can, for instance, freely insert into C code generated from > ATS source code. > > I guess this is a response to https://github.com/githwxi/ATS-Postiats/issues/190
-- You received this message because you are subscribed to the Google Groups "ats-lang-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang-users+unsubscr...@googlegroups.com. To post to this group, send email to ats-lang-users@googlegroups.com. Visit this group at https://groups.google.com/group/ats-lang-users. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/ee77a932-1b29-4733-83b3-8a3f0c0a83c9%40googlegroups.com.
