Hi, On 2015-07-03, Nathann Cohen <[email protected]> wrote: >> * New-style packages can now be installed with dependency checking by >> running "make pkgname". This applies to all types (standard, optional, >> experimental). >> > > About this, Volker raised an important point: > > Technically, an optional GPL-compatible package can have a GPL-incompatible > package as a dependency, but this *must never happen*. > > If it did, one could "silently" install a non-GPL package without knowing, > and that the GPL does not allow that.
Exactly. And so I wonder what I should do in the case of my group cohomology package. The package itself is GPL. It is not linked against anything non-GPL, but the package can only work if the non-GPL SmallGroups library is installed in GAP. If I understand correctly, this is fine, as long as it is the user who decides to install, say, the database_gap spkg and then installs my package. However, it must not be the case that my package installs database_gap without asking the user. Or did I misunderstand? Best regards, Simon -- 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.
