From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: Re: [PATCH] gnu: Add sparse. Date: Tue, 26 Feb 2013 23:16:07 +0100 Message-ID: <87k3pu202g.fsf@gnu.org> References: <1361845011-18228-1-git-send-email-tipecaml@gmail.com> <87621fv6gc.fsf@gnu.org> <512D2A87.5000008@gmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([208.118.235.92]:59573) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1UATIy-0003C3-3J for bug-guix@gnu.org; Tue, 26 Feb 2013 17:47:25 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1UATIw-0003lc-PX for bug-guix@gnu.org; Tue, 26 Feb 2013 17:47:23 -0500 Received: from [2a01:e0b:1:123:ca0a:a9ff:fe03:271e] (port=47387 helo=xanadu.aquilenet.fr) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1UASos-0007ob-CK for bug-guix@gnu.org; Tue, 26 Feb 2013 17:16:18 -0500 In-Reply-To: <512D2A87.5000008@gmail.com> (Cyril Roelandt's message of "Tue, 26 Feb 2013 22:35:03 +0100") List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org Sender: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org To: Cyril Roelandt Cc: bug-guix@gnu.org Cyril Roelandt skribis: > On 02/26/2013 09:13 AM, Ludovic Court=C3=A8s wrote: >> Cyril Roelandt skribis: >> >>> This patch adds sparse. >> >> Thanks! Would it make sense to put it in linux.scm? >> > > It's not really Linux-specific, even though it is mainly used by Linux > hackers. I think it's used by smatch, a static analysis tool developed > by Dan Carpenter, that can be used on any piece of C code, for > instance. It's also used in the test-suite of git. Yeah, that still sounds Linuxish despite the intent, but I=E2=80=99m fine w= ith sparse.scm. >>> I had to add the Open Software License to guix/licenses.scm. Debian >>> does not think of it as a Free Software license, but I think it's OK >>> with GNU. >> >> The page at >> contains says it=E2=80=99s free but mentions worrisome details: >> >> Recent versions of the Open Software License have a term which >> requires distributors to try to obtain explicit assent to the >> license. This means that distributing OSL software on ordinary FTP >> sites, sending patches to ordinary mailing lists, or storing the >> software in an ordinary version control system, is arguably a >> violation of the license and would subject you to possible >> termination of the license. [...] >> >> We=E2=80=99re not distributing it, just distributing the build recipes. >> However, would it be a violation to distribute pre-built binaries on >> Hydra? Could you check that? > > Indeed, this is the ninth clause. Maybe I should email the current > sparse maintainer and ask him ? Maybe rather licensing@gnu.org, since they wrote the above page. Interestingly, the ninth clause [0] refers to the =E2=80=9COriginal Work=E2= =80=9D, which is only vaguely defined and could be interpreted as referring to the source code, which we won=E2=80=99t distribute anyway. IANAL, though... BTW, license.scm would have to distinguish between versions of the OSL. Thanks, Ludo=E2=80=99. [0] http://opensource.org/licenses/OSL-3.0