From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id 8Ko8BWeoc2NM8AAAbAwnHQ (envelope-from ) for ; Tue, 15 Nov 2022 15:55:35 +0100 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id EKVQBGeoc2PHlAAAG6o9tA (envelope-from ) for ; Tue, 15 Nov 2022 15:55:35 +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 CA1F2301FD for ; Tue, 15 Nov 2022 15:55:34 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ouxL5-0002rF-EK; Tue, 15 Nov 2022 09:55:03 -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 1ouxL4-0002oo-BR for guix-patches@gnu.org; Tue, 15 Nov 2022 09:55:02 -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 1ouxL4-0000xe-27 for guix-patches@gnu.org; Tue, 15 Nov 2022 09:55:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1ouxL3-0004kC-R9 for guix-patches@gnu.org; Tue, 15 Nov 2022 09:55:01 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#59078] [PATCH] lint: Split the derivation lint checker by system. Resent-From: zimoun Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 15 Nov 2022 14:55:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 59078 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Ludovic =?UTF-8?Q?Court=C3=A8s?= , Christopher Baines Cc: 59078@debbugs.gnu.org Received: via spool by 59078-submit@debbugs.gnu.org id=B59078.166852409718218 (code B ref 59078); Tue, 15 Nov 2022 14:55:01 +0000 Received: (at 59078) by debbugs.gnu.org; 15 Nov 2022 14:54:57 +0000 Received: from localhost ([127.0.0.1]:53647 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ouxKz-0004jh-82 for submit@debbugs.gnu.org; Tue, 15 Nov 2022 09:54:57 -0500 Received: from mail-wr1-f48.google.com ([209.85.221.48]:35829) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ouxKu-0004iv-Ks for 59078@debbugs.gnu.org; Tue, 15 Nov 2022 09:54:52 -0500 Received: by mail-wr1-f48.google.com with SMTP id l14so24703654wrw.2 for <59078@debbugs.gnu.org>; Tue, 15 Nov 2022 06:54:52 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=content-transfer-encoding:mime-version:message-id:date:references :in-reply-to:subject:cc:to:from:from:to:cc:subject:date:message-id :reply-to; bh=VJc3yY62OvqpdFMSCWmq7uKfyuwRl4ujz8tlaKQO8eo=; b=IfDIQMoakdJvv8zv4hzwPgcaAtuVwVAC/+moaYFnFlrXAF1jz68tCMepfwxB+DtgD/ 2aYGArDRPKX5seiT+k50gpBoEKNBJPVJgOtEEWqwPtWHnC68zhD/ziskslCLxF+EK3Um +iuct2xpdxEEL5SmPLL6a7qIqGCgi8fSXSgPlc4wbdva6u0dkdeC08rcEeY5uA5rYo1i je6rDCXqkwj2ikTWfCtOIh93oOF9LP9MQB45J6Zm1F79PD94TAoGmj6B1ICd4kDZq9jW RM26/Pgz1VpHkkKjF7Jmq72FhTzV7HJzCS9LTiJMWKuNE5VhVxj11ipMBitNN7Pd4Eaq JE8A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=content-transfer-encoding:mime-version:message-id:date:references :in-reply-to:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=VJc3yY62OvqpdFMSCWmq7uKfyuwRl4ujz8tlaKQO8eo=; b=dVo7+/eGdPbGaGjw3lclnIpyjkMOdOBGaGixZI77ZFXCv0ObMP71loZzFpRsUmSMKq Ur8Ps0BQ+gcAuaroIQIwqLnRhlD7dP5igw4+NINY76dpO2JGgJpEdXs3mq2IhsrYERzw a0NOfNHYoK+Fgm0Pr5ih3CoBwv8pkLkhM9nyjXO7pPIABqLwEaIdZMlnJ6uUagf+4CKu rI0kUkdcF3y+VDKtEwGTMypJv5JArEWP1XsKgAJ6lb8XsUFH0WbOv7AMxMk9PdaVgVGO OK6pMW0mQF76+yBsW4WSov+UOgN3HgeJm1SJfcjLoG46lPwQgQ5XXY8bPdHA90VjqUtF Qpvw== X-Gm-Message-State: ANoB5pmnIh/c3FhEIGnFVfcPNDWcPqZ5Fh1lwq7BiAqbkI4jS/DHMD4F W1iBFBKNU+WzrQKhtvo7SmwJqgtjQPY= X-Google-Smtp-Source: AA0mqf6uPwkKLWVhgMW6MCBY2ceNxZf9YYJGH+lKthvA0GIKqfP4MDFCXP4L0psy1nEYB3XVeJTgow== X-Received: by 2002:a5d:52c6:0:b0:236:754e:f8b4 with SMTP id r6-20020a5d52c6000000b00236754ef8b4mr10992895wrv.478.1668524087104; Tue, 15 Nov 2022 06:54:47 -0800 (PST) Received: from lili (roam-nat-fw-prg-194-254-61-46.net.univ-paris-diderot.fr. [194.254.61.46]) by smtp.gmail.com with ESMTPSA id bp11-20020a5d5a8b000000b002366eb01e07sm12717059wrb.114.2022.11.15.06.54.46 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 15 Nov 2022 06:54:46 -0800 (PST) From: zimoun In-Reply-To: <87h6z1puli.fsf@gnu.org> References: <20221106135532.5724-1-mail@cbaines.net> <87k041dui7.fsf@gnu.org> <87bkpau4kl.fsf@cbaines.net> <87h6z1puli.fsf@gnu.org> Date: Tue, 15 Nov 2022 10:03:37 +0100 Message-ID: <86r0y4io7q.fsf@gmail.com> 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-Migadu-Flow: FLOW_IN X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1668524134; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding:resent-cc: resent-from:resent-sender:resent-message-id:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=VJc3yY62OvqpdFMSCWmq7uKfyuwRl4ujz8tlaKQO8eo=; b=GFzG8nm45O8iWt+H2CO7yzR36bBXkJI4K7GsUJpY+3IcLC+UluvczsP8j1Np7P+xsFN/xp 3BozV6OGKHMcMm+Ejm/1n+Vf3d8EMmb5+fvHogO9Sin9E8BONj9Xs7+tOZjq3+9NgwZdqh FgFv9Q/m1j1h0d05rM21nkAYDnYRppFibhlUvHMTYxda9tJsfiynCk9p/ubkkvgT46Psxy ijW6Ma5r7fu6eOJXOCyKbX6NsX4reZlYsmwU5oSHo8KajLhbupOtPpF9q2MjZ2fQ4OzmzF nfGvU6RB46hWQ7lwn3uleZ7BXzv2gXWzK9vyY/Sd39mYYPdwsXRswsoOGc6T4w== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1668524134; a=rsa-sha256; cv=none; b=MFZ0PDRc3n3G6refCsFdvCPVZm+slP64ECiLh/4PzS1teuMYqDG/Bub2rhzyp+MC2W78BX FLTznOZ65NVo1AvrtJoD31oxa+cN82lVOewN952nab+IXyfTq2Arf6MCZvEqdpiCYk7jnr lhnK0YryJXviycXMGEBi3nwASTdTKZhcbM9pT/Y2cP4q25HeXPpqLSlh+i0jTV8w/LkMYp AAWU0DMJIfXGS+hZMVJQz6676IJQGkBaH9MqohdK7PBTlrIk8q4CjKqPpe3yUR00zaFWuu bp2aOlGY2i0CXScLsGaesF4BR6tClrcXcW9Ne6jBqidseECm+tWNWIxz7WpHHQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20210112 header.b=IfDIQMoa; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none); spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" X-Migadu-Spam-Score: 4.66 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20210112 header.b=IfDIQMoa; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none); spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" X-Migadu-Queue-Id: CA1F2301FD X-Spam-Score: 4.66 X-Migadu-Scanner: scn0.migadu.com X-TUID: OaT4p9xafaos Hi, On Mon, 14 Nov 2022 at 13:51, Ludovic Court=C3=A8s wrote: > I meant that it=E2=80=99s important to have a single =E2=80=98derivation= =E2=80=99 checker that > checks derivations for all the supported systems. Packagers should be > able to run =E2=80=98guix lint -c derivation PKG=E2=80=99 and be confiden= t that it=E2=80=99s > fine for all systems. The CLI invokation is unrelated to the invoked checkers, no? As Chris is proposing, it seems being worth to group some checkers. For instance, we already have the option =E2=80=99-n, --no-network=E2=80=99 whi= ch does that but probably at the wrong level. Maybe we could have another command line option, guix lint --group=3Dno-network guix lint --group=3Dderivation guix lint --group=3Dno-network,derivation I do not know=E2=80=A6 Cheers, simon