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 cNcZNQYFbmTmzAAASxT56A (envelope-from ) for ; Wed, 24 May 2023 14:37:26 +0200 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 EFryNAYFbmRL1wAA9RJhRA (envelope-from ) for ; Wed, 24 May 2023 14:37:26 +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 952D02377C for ; Wed, 24 May 2023 14:37:26 +0200 (CEST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1q1njn-0000b4-Vc; Wed, 24 May 2023 08:37:08 -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 1q1njl-0000ZP-M1 for guix-patches@gnu.org; Wed, 24 May 2023 08:37:05 -0400 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 1q1nji-00041Q-1d for guix-patches@gnu.org; Wed, 24 May 2023 08:37:05 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1q1njh-0003NB-St for guix-patches@gnu.org; Wed, 24 May 2023 08:37:01 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#63517] Fixing lcov usage? Resent-From: Luca Cirrottola Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 24 May 2023 12:37:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 63517 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: To: Ludovic =?UTF-8?Q?Court=C3=A8s?= Cc: 63517-done@debbugs.gnu.org Received: via spool by 63517-done@debbugs.gnu.org id=D63517.168493177912894 (code D ref 63517); Wed, 24 May 2023 12:37:01 +0000 Received: (at 63517-done) by debbugs.gnu.org; 24 May 2023 12:36:19 +0000 Received: from localhost ([127.0.0.1]:42677 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q1nj1-0003Lt-Ac for submit@debbugs.gnu.org; Wed, 24 May 2023 08:36:19 -0400 Received: from mail2-relais-roc.national.inria.fr ([192.134.164.83]:28269) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q1niz-0003Ld-8b for 63517-done@debbugs.gnu.org; Wed, 24 May 2023 08:36:18 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=date:from:to:cc:message-id:in-reply-to:references: subject:mime-version:content-transfer-encoding; bh=FpiFn7kZTau+uRpYb19+JMboTd6i7X+6lUAr4tWkwd8=; b=upU2NLuFp3Ek1se1D6WcVHlazIiFJFW8OuSqtm5uOXwQ+AuAKiFM8s/e 9cgjT/a50cUayi3Ji1MpDT4B/GqiWqPvIXk3g/6WJjzZetewAqbsWOcK9 PVuSQcIuMKDSMa1qBQZsBIcCZHXIDLcJL29V1rpMcDtPlFAglWuwLLHHh 4=; Received-SPF: Pass (mail2-relais-roc.national.inria.fr: domain of luca.cirrottola@inria.fr designates 128.93.142.28 as permitted sender) identity=mailfrom; client-ip=128.93.142.28; receiver=mail2-relais-roc.national.inria.fr; envelope-from="luca.cirrottola@inria.fr"; x-sender="luca.cirrottola@inria.fr"; x-conformance=spf_only; x-record-type="v=spf1"; x-record-text="v=spf1 ip4:128.93.142.0/24 ip4:192.134.164.0/24 ip4:128.93.162.160 ip4:89.107.174.7 mx ~all" Received-SPF: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@zcs-store1.inria.fr) identity=helo; client-ip=128.93.142.28; receiver=mail2-relais-roc.national.inria.fr; envelope-from="luca.cirrottola@inria.fr"; x-sender="postmaster@zcs-store1.inria.fr"; x-conformance=spf_only X-IronPort-AV: E=Sophos;i="6.00,189,1681164000"; d="scan'208";a="109450265" X-MGA-submission: MDFPdTb/TAAOQoF7ptTZ5vqIJU7Vdhg7NSfCB3/GogW8qUH8qf9oxjRJXZsgO0eJr9tIAXEWx9xDtyjBRIsV5+U7khT9hbmAQDnLcP0uoay+O4Unw36iCquRM6g3P0nevQkxSlh3xocGKXSPK1IISgUIkLnU5nbRXtPHSCH3Cu5H1Q== Received: from zcs-store1.inria.fr ([128.93.142.28]) by mail2-relais-roc.national.inria.fr with ESMTP; 24 May 2023 14:36:10 +0200 Date: Wed, 24 May 2023 14:36:09 +0200 (CEST) From: Luca Cirrottola Message-ID: <598756657.4941155.1684931769842.JavaMail.zimbra@inria.fr> In-Reply-To: <874jo4wfjk.fsf@gnu.org> References: <840693491.43189747.1684152641380.JavaMail.zimbra@inria.fr> <874jo4wfjk.fsf@gnu.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Originating-IP: [81.65.155.8] X-Mailer: Zimbra 8.8.15_GA_4522 (ZimbraWebClient - FF113 (Linux)/8.8.15_GA_4527) Thread-Topic: bug#63517: Fixing lcov usage? Thread-Index: gLer1jtoVnWCdftvQJ/SbMyVOP0z0w== 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-Seal: i=1; s=key1; d=yhetil.org; t=1684931846; a=rsa-sha256; cv=none; b=FAnkUEZTGrF5QsPL5nhLIs1acIiXuUJRGvr5CCnp1I82EH7NB2W4A16iChycccj1wkM7v5 tNfS4ZS7TwiWPAM6Zp7N2rYT6Na435zztDJBzU1r9bZq6dpPSzm/qvFexOGtBtbY7GKV8M 5/riaJN3zOxZzTf92aUBR35Iqq8DDtYg5+sioiKTMKWrWF6+Cu+108zJFGRjBhKNNzAVoI 8MM3777nFHJliJdbplxuZqM2h4Wu9m+LDBdMUOM7Mwu9NsoKJNtu5lMKVNa3y450BFDxn+ ew18D2esejVZus6FF8vG9hqwKpN/LirtVmPN8elC/Y+sLTYzVGFpvvMNdnRTLA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=inria.fr header.s=dc header.b=upU2NLuF; dmarc=fail reason="SPF not aligned (relaxed)" header.from=inria.fr (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" ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1684931846; 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=FpiFn7kZTau+uRpYb19+JMboTd6i7X+6lUAr4tWkwd8=; b=m7u+ci9uScvV+kzXXgk8Fw8P6HUo9z6UXD6rWZTYwstFYGQUoqdNNVjyztv+hVEhr1KRAl ikNr7eo4i4fMaWWF6C8xDAQBwPWBBEtJstWNV1vctNYIMheu/6sj2YNFq7bSitgLEImGDV WH7+UkV01ObYmF8rRuSJXAjhAXp0qAWS2d3UylSAWojeH/oXD1gl85+rQ8faZJnAti1dU7 pW2D+q+oQbvVDnl7WWSbasFaMLkncOSx0Uu0KxrNYFML/aWnjSDpgiI1jzvJkpD/VewTTp Y/1rqHylQxAK+7e1yN1THM4PI9q5OdGQm7VJwtaosG4UaG8o/wkvxMprYdnusA== X-Migadu-Scanner: scn1.migadu.com Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=inria.fr header.s=dc header.b=upU2NLuF; dmarc=fail reason="SPF not aligned (relaxed)" header.from=inria.fr (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: 6.63 X-Spam-Score: 6.63 X-Migadu-Queue-Id: 952D02377C X-TUID: 9YVYbOLfo+Wm Hello Ludo', I could have bet there was a more elegant solution :-) It works like a charm, thanks! Luca ----- Mail original ----- > De: "Ludovic Court=C3=A8s" > =C3=80: "Luca Cirrottola" > Cc: 63517-done@debbugs.gnu.org > Envoy=C3=A9: Lundi 22 Mai 2023 17:29:19 > Objet: Re: bug#63517: Fixing lcov usage? > Hi Luca, >=20 > Luca Cirrottola skribis: >=20 >> I want use lcov to generate a coverage report for a C program, but I fin= d out I >> always need to add "findutils" package to my shell in order for "lcov" t= o work. >> Shouldn't "findutils" be added to the propagated-inputs of "lcov", to ha= ve it >> available at runtime? >=20 > I took a slightly less intrusive approach: >=20 > https://git.savannah.gnu.org/cgit/guix.git/commit/?id=3D88a2871d8f82a728= 0486c2a30cc9b510ee8b2b5c >=20 > Thanks for the bug report & proposal! >=20 > Ludo=E2=80=99. --=20 Luca CIRROTTOLA=20 Research software engineer @ INRIA - research center of the university of B= ordeaux and Pau=20 Personal webpage: [ https://lcirrottola.github.io/ | https://lcirrottola.gi= thub.io/ ]=20 Tel: +33 5 2 4 57 41 21=20 200 Avenue de la Vieille Tour=20 33405 Talence cedex=20 France