On 2014-03-19, Nathann Cohen <[email protected]> wrote: >> In the new git directory layout an optional package is a new subdirectory > build/pkgs/... and populated just like a standard package. The only > difference is that it is not built by default, i.e. not added to build/deps > and build/install. > > Oh ! Fantastic ! > > I guess it must be GPL-compatible though, shouldn't it ?... I mean, it's > okay in this case, but those build/spkg/ files are still distributed with > Sage, so their license matters ?
not all Sage optional packages are GPL-compatbly licenced. E.g. nauty isn't. build/pkg/ constists of Sage stuff (so it's under usual Sage licence, I guess) -- You received this message because you are subscribed to the Google Groups "sage-devel" 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 http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
