From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp11.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms9.migadu.com with LMTPS id gOfyDrEMBmTRbgAASxT56A (envelope-from ) for ; Mon, 06 Mar 2023 16:54:25 +0100 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp11.migadu.com with LMTPS id WHfqDrEMBmRW9AAA9RJhRA (envelope-from ) for ; Mon, 06 Mar 2023 16:54:25 +0100 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 0E37B3E549 for ; Mon, 6 Mar 2023 16:54:24 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pZDA4-0006bn-Ff; Mon, 06 Mar 2023 10:54:04 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pZDA3-0006bd-1Y for guix-patches@gnu.org; Mon, 06 Mar 2023 10:54:03 -0500 Received: from debbugs.gnu.org ([209.51.188.43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1pZDA2-0005my-Pc for guix-patches@gnu.org; Mon, 06 Mar 2023 10:54:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1pZDA2-0004Fm-DY for guix-patches@gnu.org; Mon, 06 Mar 2023 10:54:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#61950] [PATCH] lint: Add 'copyleft' checker. Resent-From: Ludovic =?UTF-8?Q?Court=C3=A8s?= Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 06 Mar 2023 15:54:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 61950 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Antero Mejr Cc: 61950@debbugs.gnu.org Received: via spool by 61950-submit@debbugs.gnu.org id=B61950.167811803116328 (code B ref 61950); Mon, 06 Mar 2023 15:54:02 +0000 Received: (at 61950) by debbugs.gnu.org; 6 Mar 2023 15:53:51 +0000 Received: from localhost ([127.0.0.1]:43393 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pZD9q-0004FI-K6 for submit@debbugs.gnu.org; Mon, 06 Mar 2023 10:53:50 -0500 Received: from eggs.gnu.org ([209.51.188.92]:37068) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pZD9p-0004Ey-0r for 61950@debbugs.gnu.org; Mon, 06 Mar 2023 10:53:49 -0500 Received: from fencepost.gnu.org ([2001:470:142:3::e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pZD9j-0005m5-Bl; Mon, 06 Mar 2023 10:53:43 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-Version:In-Reply-To:Date:References:Subject:To: From; bh=lUg8MZ6NoU4zGKhXtS2IKycT3SHFfbHolMIsX/tGwIE=; b=o4wFkTDkeXTsmaHVfkPa 16mIRGUd7aOcqDXAjzT1NS5deXIMFFSOV4s6rLmmU3cJ79wCo/R+A4SWYw1vww82RxsAVJL3yvjeo OAsNuXmZjhsU+J44G1dArhFA+hmv56AIeX2vT2DhMXNL4vcQWORve1RUkn5L6xPQWLlSkW5iPMDHS 8deCRXhdy+lO48P9iUcUXvtCYM8cpuFMk/D3DbGs3RXZNZUlxyXla4omXUi8uZy+tuGln1jBuODpk iIyKxDTnp+abefvjP08eqZOFfR2OWL3W2EwM9ZIpfPkLznsYYFkoEOf2r5m4b90vcO7qU0vJgA4o/ u1pw2euKJd6wHg==; Received: from [2001:660:6102:320:e120:2c8f:8909:cdfe] (helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pZD9i-0002lw-Rh; Mon, 06 Mar 2023 10:53:43 -0500 From: Ludovic =?UTF-8?Q?Court=C3=A8s?= References: <20230304041458.32761-1-antero@mailbox.org> X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: Sextidi 16 =?UTF-8?Q?Vent=C3=B4se?= an 231 de la =?UTF-8?Q?R=C3=A9volution,?= jour de =?UTF-8?Q?l'=C3=89pinard?= X-PGP-Key-ID: 0x090B11993D9AEBB5 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 X-OS: x86_64-pc-linux-gnu Date: Mon, 06 Mar 2023 16:53:40 +0100 In-Reply-To: <20230304041458.32761-1-antero@mailbox.org> (Antero Mejr's message of "Sat, 4 Mar 2023 04:14:58 +0000") Message-ID: <87lek9anaz.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: guix-patches-bounces+larch=yhetil.org@gnu.org X-TUID: MEJTiqXbQ8V0 Hello! Antero Mejr skribis: > * guix/lint.scm (check-copyleft, input->package, report-copyleft-violatio= n, > linking-exception?, copyleft?): New procedures. > (%local-checkers): Add 'copyleft' checker. > * tests/lint.scm ("copyleft: incompatible copyleft input"): New tests. > * doc/guix.texi (Invoking guix lint): Mention it. > --- > This new linter checks for copyleft license violations, where a copylefted > package is linked by a package with an incompatible license. > It found 2818 incompatible packages. > For example, GNU readline (GPL) is being linked by 71 permissively > licensed packages. I=E2=80=99m skeptical for a couple of reasons: 1. It=E2=80=99s entirely fine for, say, a BSD-3 package to link against Readline (GPLv3+). The combination is effectively GPLv3+, but that=E2=80=99s perfectly valid legally speaking. 2. It=E2=80=99s tempting to view devise a =E2=80=9Clicensing calculus=E2= =80=9D of sorts and automate assessments of licensing compatibility. However, I think it=E2=80=99s overestimating both law and our own licensing annotations= : how law applies in a specific case isn=E2=80=99t entirely clear until one = goes to court, and our =E2=80=98license=E2=80=99 fields fail to represent a= ll the relevant nuances anyway (subcomponents having different licenses, dual/multiple licensing, etc.). But really, #1 is the main point here. WDYT? Ludo=E2=80=99.