Paolo Giarrusso (Oct 11 2022 at 19:05): Paolo Giarrusso (Oct 11 2022 at 19:05):It seems https://github.com/LPCIC/coq-elpi/tree/master/apps and https://github.com/LPCIC/coq-elpi/tree/master/examples are also covered by the LGPL license — meaning that following the examples under a different license is a copyright violation.
This is of course the authors' right, but I was wondering if this was intentional (and apologies if this is rude), or whether more liberal licenses would be sensible for either of those folders, especially examples.
Enrico Tassi (Oct 11 2022 at 19:12):It is weird question, since these examples are simple, I guess you rewrote most of them for doing anything real.
Enrico Tassi (Oct 11 2022 at 19:13):I'm open to relicensing, but we shall talk for it yo happen
Paolo Giarrusso (Oct 11 2022 at 22:07):... and if I rewrite them after looking at them, must I talk to a lawyer to determine if this is a license violation?
Paolo Giarrusso (Oct 11 2022 at 22:15):the question, BTW, is from me personally (I have not consulted my colleagues on this suggestion)
Enrico Tassi (Oct 12 2022 at 08:24):I think it boils down to energy (hence money) investment. If you rewrite it bu running "elpiformat" (which does not exist) or sed, then your effort is little. If you rewrite it as in make something clearly larger out of it, then it is OK. Or at least this is my understanding of copyright, it is to cover monetary interests, I don't think I can claim you did steal because your started from a "hello world!" and turned it into an operating system.
Anyway, if you have a better (legally supported) reason for relicensing the POC/examples, I'm positive. After all I put them there so that people could start from something and grow it to their needs.
Enrico Tassi (Oct 12 2022 at 08:27):To make a joke out of my understanding of law: if you use printf you are not making a derivative work of hello world ;-)
Last updated: Oct 13 2024 at 01:02 UTC