On 3 July 2015 at 11:24, Simon King <[email protected]> wrote: > 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. >
I have installed database_gap many times on many machines, since it is a dependency for the lmfdb project (see https://github.com/LMFDB/lmfdb/blob/master/GettingStarted.md). I have always done this using sage -i database_gap which certainly does not issue any warnings about licenses *before*, it just does it. Near the end of the process ones sees the following: ******************************************************************** Installing optional GAP databases, which may not be open source. Installing GAP packages to /home/john/sagegit/local/lib/gap-4.7.7/... Please see SPKG.txt for license details. ******************************************************************** but this is not interactive and no confirmation is requested. Should it? John > > 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. > -- 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.
