From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.migadu.com ([2001:41d0:306:2d92::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms9.migadu.com with LMTPS id eBXSCSfq+WTPXwAAG6o9tA:P1 (envelope-from ) for ; Thu, 07 Sep 2023 17:20:07 +0200 Received: from aspmx1.migadu.com ([2001:41d0:306:2d92::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id eBXSCSfq+WTPXwAAG6o9tA (envelope-from ) for ; Thu, 07 Sep 2023 17:20:07 +0200 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 EF766563D5 for ; Thu, 7 Sep 2023 17:20:06 +0200 (CEST) Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20221208 header.b=rLDuoNVq; 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"; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none) ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1694100007; 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=mQrGfRJDEOaj0RZO7CNjwG/UMQGCG1S2vLErrEszL/A=; b=bOynfgkOkFfe2otT78TmTHHbcGeIGPYJk3ZixC6s0VT85Hew7WePRDrsrIy8GmkrZdCYLv 8cOuK79jELmDFd7euZPlxp5swHARDwm/3uxaHMHqqFz31XQZw5CN1I+gUjmGqyLc/B9FY8 IOH40eC+iAZQ8Fs31q8KJ5kshVZiki27Pk8t5v2fYcSbfM0Ip7KKPuyZnBGWIokJ41L9Vm kkDzW6arLEiA283YQUu0uQV3CaPtb8W2GmkoOPmioj2wlqOoXjhlAQOIvRGhzGqVbQ3tsM qA8AS2piB6D22jUkRzpiVvbT7905J5AdTuO2U30YrxVjsVF/ML5uA79v1ZpoIg== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1694100007; a=rsa-sha256; cv=none; b=OoW9YBUcBVLjGNcKxMpLd4wblvnB00z8idyIIFCQ2KyBl0lUdvwiMSxSAfQr1G6mzBJV3O TQfChU/kzKN9ediPWjM2fx3WeTGPfJo1BLGGtwau/fWzMalsz1SZ1tX+Aj2hb3b8+bd30S 9XM3vOQkxCoqIw5/RUsPXW2Mp0BhhZ24+fVfSPWhzFb5XSGphLovEA6JHgE5FN8m8hsU7V mFmqzA/NCh1eUf5MsdU2dXJRLNUugZ0Q7FnDJ0n0ecre+yUdP1o2KvvsotY6zSL3lgLyFN WYcaZCOulXbAlgEzJsGcu5VsZXMSOGZ3XFAeNv15B4Rkapu/6ORW2N8pNEc5+g== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20221208 header.b=rLDuoNVq; 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"; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qeGnb-0008Jh-5o; Thu, 07 Sep 2023 11:20:03 -0400 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 1qeGnZ-0008I2-9U for guix-patches@gnu.org; Thu, 07 Sep 2023 11:20:01 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qeGnZ-0000Vm-0c for guix-patches@gnu.org; Thu, 07 Sep 2023 11:20:01 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qeGna-0002CW-Mf for guix-patches@gnu.org; Thu, 07 Sep 2023 11:20:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#64861] [PATCH] guix: Add lint check for guix as propagated-input Resent-From: Simon Tournier Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Thu, 07 Sep 2023 15:20:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 64861 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Ludovic =?UTF-8?Q?Court=C3=A8s?= , Christopher Baines Cc: Karl Hallsby , 64861@debbugs.gnu.org Received: via spool by 64861-submit@debbugs.gnu.org id=B64861.16940999528329 (code B ref 64861); Thu, 07 Sep 2023 15:20:02 +0000 Received: (at 64861) by debbugs.gnu.org; 7 Sep 2023 15:19:12 +0000 Received: from localhost ([127.0.0.1]:40977 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qeGml-0002AG-Ho for submit@debbugs.gnu.org; Thu, 07 Sep 2023 11:19:11 -0400 Received: from mail-wr1-x42c.google.com ([2a00:1450:4864:20::42c]:40318) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qeGmb-00028t-MV for 64861@debbugs.gnu.org; Thu, 07 Sep 2023 11:19:02 -0400 Received: by mail-wr1-x42c.google.com with SMTP id ffacd0b85a97d-31c3f574ef8so199197f8f.1 for <64861@debbugs.gnu.org>; Thu, 07 Sep 2023 08:18:59 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20221208; t=1694099934; x=1694704734; darn=debbugs.gnu.org; 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=mQrGfRJDEOaj0RZO7CNjwG/UMQGCG1S2vLErrEszL/A=; b=rLDuoNVq2w1q+uuCgRV1zbl0J7qf4PVarGo7qScroefeR/Uoe2505yEJDJXea1clhs HqvzZRc6a5RgfD2Wh0n/Te5TBsDEZqeNtcOnZRlkhOczBNKLqoXifBS0A4fX81sdeOPg 4SAy43AMyHCWTbt/WMxP54W+daqQ4zka2qBP/mV/6YKhJ6aiY7LnlRh/4gvHPw2oUEfn YoFQTAoPjtswHS7SCkwESohWLbHjiRs+ooZdvL8dxRiqpgu1w4HkNLb7NpBG1OBze6h2 ztHWD/29lZV2U/5UXgAnO8kHjDteNDWWj3z5oKD9bc54igYBaks+b2Sz2bvQgFdOPgQA wTOw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1694099934; x=1694704734; 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=mQrGfRJDEOaj0RZO7CNjwG/UMQGCG1S2vLErrEszL/A=; b=R42Hc5JHAFugcJPvkbQ7tiwhEqhniMw5IOnniAy2xKWYcGhYBKy3P5OKmc4F2RwpQK M6XJVPJhqfsrtbO4rqOBKHwq1O7I3cagqNd1fuz0EPecQFt97xNgyp1lmG3dAewLu9ME SpKF+1UAfZkxuqRlpsGanQ/r0us4rcpeuKKQjizpFZ+x0X331eVO1I5ragKo0+xU7gvZ N/GY7YD+tee9XSkUEzTlguIrrgtRYsV3kodUJODK5MyhUGjZ06f68ybw897d2d11F/Eh ve5lLQAO/Xu4nbaxmqbIPU+w8W8BZkYoNExBNilLeNpX/nJGGCLWLPqIJE+UrQ/YNoFu 1M0g== X-Gm-Message-State: AOJu0YzM7YPs24aOWl+6yU6KHZWEBuK2ss5ut3eoLZoDPL5u2jGT473b zygPy4lNmM6gJUGLRmUTv7ru1y5HcQo= X-Google-Smtp-Source: AGHT+IHwJeeEyBdHPbJxMjDtK2tKgCuba1/LnKeqRX6NoYLfx6SCO3xXBq3DJZVi/4KsvrvdAoOyCQ== X-Received: by 2002:adf:f291:0:b0:316:ef5f:7d8f with SMTP id k17-20020adff291000000b00316ef5f7d8fmr14578904wro.3.1694099934151; Thu, 07 Sep 2023 08:18:54 -0700 (PDT) Received: from pfiuh07 ([193.48.40.241]) by smtp.gmail.com with ESMTPSA id cc11-20020a5d5c0b000000b0031f34a395e7sm17301385wrb.45.2023.09.07.08.18.53 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 07 Sep 2023 08:18:53 -0700 (PDT) From: Simon Tournier In-Reply-To: <87fs4dqvml.fsf_-_@gnu.org> References: <388dc9bec6dabc97092eb2009fed304c3f84c6fc.1690308209.git.karl@hallsby.com> <87pm4f7skl.fsf@cbaines.net> <87fs4dqvml.fsf_-_@gnu.org> Date: Thu, 07 Sep 2023 16:22:14 +0200 Message-ID: <87bkeekqqx.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-Country: US X-Migadu-Flow: FLOW_IN X-Migadu-Scanner: mx2.migadu.com X-Spam-Score: -5.12 X-Migadu-Queue-Id: EF766563D5 X-Migadu-Spam-Score: -5.12 X-TUID: pOdDvwGxolp7 Hi, On Sun, 20 Aug 2023 at 22:58, Ludovic Court=C3=A8s wrote: > Maybe =E2=80=98guile-imanifest=E2=80=99 should be made a Guix extension, = which Guix > searches for in $GUIX_EXTENSIONS_PATH? And probably renamed =E2=80=99guix-imanifest=E2=80=99? Back to the submission, I think that the propagation of the package guix means something is wrong. From my point of view, there is two cases: 1. The package uses the stable library API and thus it makes sense to rely on the package =E2=80=99guix=E2=80=99. That=E2=80=99s the case fo= r =E2=80=99gwl=E2=80=99, =E2=80=99guix-data-service=E2=80=99 for example. 2. The aim of package is to collaborate with the current Guix and thus there is no point to have the package =E2=80=99guix=E2=80=99 as inputs.= Instead, the package must rely on GUIX_EXTENSIONS_PATH. That=E2=80=99s the case= for =E2=80=99guix-modules=E2=80=99 or =E2=80=99guile-imanifest=E2=80=99 (so= that needs a fix ;-)) Therefore, I think this new checker makes sense. WDYT? About #1, IMHO, this is expected: --8<---------------cut here---------------start------------->8--- $ guix shell -C gwl -- guix --version guix shell: error: guix: command not found (define-public gwl (inputs [...] (list guix --8<---------------cut here---------------end--------------->8--- and this is not expected: --8<---------------cut here---------------start------------->8--- $ guix shell -C guix-data-service -- guix --version guix (GNU Guix) 1.4.0-10.4dfdd82 Copyright (C) 2023 the Guix authors License GPLv3+: GNU GPL version 3 or later This is free software: you are free to change and redistribute it. There is NO WARRANTY, to the extent permitted by law. (define-public guix-data-service [...] (propagated-inputs (list guix --8<---------------cut here---------------end--------------->8--- Cheers, simon