On Mon, May 7, 2018, 4:24 AM gmhwxi <[email protected]> wrote: > Yes. It prompted me to take a look at LGPLv3. > > GPL/LGPL is tailored for compiling C into object code. ATS is a bit > different. It is important to make sure that any C code generated by > ATS/Postiats (compiler + libraries) is, by default, not licensed under > GPL/LGPL. > > > On Thursday, May 3, 2018 at 11:32:58 PM UTC-4, Artyom Shalkhakov wrote: >> >> 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 [email protected]. > To post to this group, send email to [email protected]. > 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/b3a96e14-8857-43c2-b75d-01744a6631f1%40googlegroups.com > <https://groups.google.com/d/msgid/ats-lang-users/b3a96e14-8857-43c2-b75d-01744a6631f1%40googlegroups.com?utm_medium=email&utm_source=footer> > . >
-- 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 [email protected]. To post to this group, send email to [email protected]. 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/CADU9VHsA2puse75LtonGCM2kYb%2BZE0exr6hhRXjhubRpP0JetQ%40mail.gmail.com.
