From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <guix-devel-bounces+larch=yhetil.org@gnu.org>
Received: from mp10.migadu.com ([2001:41d0:303:e16b::])
	(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits))
	by ms8.migadu.com with LMTPS
	id 6FVzMO/gS2W3dAEAG6o9tA:P1
	(envelope-from <guix-devel-bounces+larch=yhetil.org@gnu.org>)
	for <larch@yhetil.org>; Wed, 08 Nov 2023 20:26:40 +0100
Received: from aspmx1.migadu.com ([2001:41d0:303:e16b::])
	(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits))
	by mp10.migadu.com with LMTPS
	id 6FVzMO/gS2W3dAEAG6o9tA
	(envelope-from <guix-devel-bounces+larch=yhetil.org@gnu.org>)
	for <larch@yhetil.org>; Wed, 08 Nov 2023 20:26:39 +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 57822112D1
	for <larch@yhetil.org>; Wed,  8 Nov 2023 20:26:39 +0100 (CET)
Authentication-Results: aspmx1.migadu.com;
	dkim=pass header.d=laesvuori.fi header.s=mail header.b="pjIv/8/s";
	spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org";
	dmarc=pass (policy=reject) header.from=laesvuori.fi
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org;
	s=key1; t=1699471599;
	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:in-reply-to:in-reply-to:
	 references:references:list-id:list-help:list-unsubscribe:
	 list-subscribe:list-post:dkim-signature;
	bh=wP8ViDSq/zL84Z/CW9pxcbVwUVWbIDQWSkMPnG20bLI=;
	b=HQZB4SwlelZo+lLj/kiElZxhk8pJdWt7iNXnyPm9k2k48Tvmw3/4Rrom6L1oB04IcRKthk
	o8++FnPIDYW9OQ3ydDWKONtVP/v6dOOeyQIjaUdHCYR4B/BrqLuCDItMd/Gd4oPw3TImag
	qtFCMU4RbCt0IBb1GgETFHUNeLauDsZq/RofLffsQZRlZcv8TxwmFibnFqNc8jPt2gQQ9A
	mw9acj84+n4S7b4s4Unyt6whC37Wj6OaDoHwKpYI4vWvTiE3rPk/cuNVdCM7YDVImJbxd1
	AbaxDW4WWLCjPnjgcedYQHU5ppIQ6MAArTj07KqkxDUa04MRoRorMH6s+6z0Ig==
ARC-Authentication-Results: i=1;
	aspmx1.migadu.com;
	dkim=pass header.d=laesvuori.fi header.s=mail header.b="pjIv/8/s";
	spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org";
	dmarc=pass (policy=reject) header.from=laesvuori.fi
ARC-Seal: i=1; s=key1; d=yhetil.org; t=1699471599; a=rsa-sha256; cv=none;
	b=knDugnztFYu3RXET6QPPKO1rkPKrPhmHVtajeN1F5zaiM5MF6NSAbMqa9K0z4LSSShy26L
	wLwbYlExycgZv2DLUalnfn9ClDQnWigpjqkp98Yq6s80w7h5wQTQmdRIXIiMK3EjGzQJUR
	aBVnVL6POUSnQy6/hck3TUwN7ZI8ASWcsjxx8biheXbqgl4vXh8Bv4q7tVwRb4ro1enqfV
	iVf2cGQKrHEov2H0IeEsK4uaKf5OpPoEBGGqq/xl2rUzZAD0PraXzNJqzr/6bw+6oDF2ep
	f0KRJ0zOAIWV8kXsCXWTMHJqgba/gBqKBOTIq/ULxZWErdYbPePwn7V5VB/ftw==
Received: from localhost ([::1] helo=lists1p.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.90_1)
	(envelope-from <guix-devel-bounces@gnu.org>)
	id 1r0oBs-0007In-5n; Wed, 08 Nov 2023 14:26:16 -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 <saku@laesvuori.fi>)
 id 1r0oBr-0007IW-Eh; Wed, 08 Nov 2023 14:26:15 -0500
Received: from vmi571514.contaboserver.net ([75.119.130.101]
 helo=mail.laesvuori.fi)
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <saku@laesvuori.fi>)
 id 1r0oBp-0003SW-9A; Wed, 08 Nov 2023 14:26:15 -0500
Received: from X-kone (88-113-24-127.elisa-laajakaista.fi [88.113.24.127])
 by mail.laesvuori.fi (Postfix) with ESMTPSA id 050A1340103;
 Wed,  8 Nov 2023 20:21:06 +0100 (CET)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=laesvuori.fi; s=mail;
 t=1699471268; bh=weMrVrIpsS0NNf7K8BM027kgDuxTWDkbjeef1pru36g=;
 h=Date:From:To:Cc:Subject:References:In-Reply-To;
 b=pjIv/8/sHz2pjStHoXyt0DqI21vsch6Ke2ISOUwZq2rxRvYUJMQQw7rwt7Cz7bLxa
 nXb8BFj2dCMmoDwFIfOMg8TAh/FB5M8B9MskZvlu7cd0aINdpa7nNPafC5p4Qd0HU/
 12424jCPtD6Yc8M114mlRpnd0XAQgQwPnjlPTPpk=
Date: Wed, 8 Nov 2023 21:20:03 +0200
From: Saku Laesvuori <saku@laesvuori.fi>
To: Vagrant Cascadian <vagrant@reproducible-builds.org>
Cc: Felix Lechner <felix.lechner@lease-up.com>, 
 Maxim Cournoyer <maxim.cournoyer@gmail.com>, Suhail <suhail@bayesians.ca>,
 help-guix@gnu.org, 
 Julien Lepiller <julien@lepiller.eu>, Simon Tournier <zimon.toutoune@gmail.com>,
 guix-devel@gnu.org
Subject: Re: Turning off tests leads to a different store item
Message-ID: <sgcib5spy4wiuzh2qiwv3vbemdsuvwwhdt64k6it4t4utiouwj@uuyf3atk7xas>
References: <65429087.0c0a0220.5908c.4d60SMTPIN_ADDED_BROKEN@mx.google.com>
 <87zfzpie51.fsf@gmail.com> <871qd19cqn.fsf@lease-up.com>
 <878r78gv6m.fsf@gmail.com> <87ttpw897n.fsf@lease-up.com>
 <871qd0p0qn.fsf@contorta>
MIME-Version: 1.0
Content-Type: multipart/signed; micalg=pgp-sha256;
 protocol="application/pgp-signature"; boundary="srhkvim6fkpafk7d"
Content-Disposition: inline
In-Reply-To: <871qd0p0qn.fsf@contorta>
Received-SPF: pass client-ip=75.119.130.101; envelope-from=saku@laesvuori.fi;
 helo=mail.laesvuori.fi
X-Spam_score_int: -20
X-Spam_score: -2.1
X-Spam_bar: --
X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1,
 DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, SPF_HELO_PASS=-0.001,
 SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no
X-Spam_action: no action
X-BeenThere: guix-devel@gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: "Development of GNU Guix and the GNU System distribution."
 <guix-devel.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/guix-devel>,
 <mailto:guix-devel-request@gnu.org?subject=unsubscribe>
List-Archive: <https://lists.gnu.org/archive/html/guix-devel>
List-Post: <mailto:guix-devel@gnu.org>
List-Help: <mailto:guix-devel-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/guix-devel>,
 <mailto:guix-devel-request@gnu.org?subject=subscribe>
Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org
Sender: guix-devel-bounces+larch=yhetil.org@gnu.org
X-Migadu-Flow: FLOW_IN
X-Migadu-Country: US
X-Migadu-Spam-Score: -7.41
X-Spam-Score: -7.41
X-Migadu-Queue-Id: 57822112D1
X-Migadu-Scanner: mx13.migadu.com
X-TUID: xUTC68ISVMDr


--srhkvim6fkpafk7d
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

On Wed, Nov 08, 2023 at 10:18:40AM -0800, Vagrant Cascadian wrote:
> On 2023-11-08, Felix Lechner via wrote:
> > On Wed, Nov 08 2023, Maxim Cournoyer wrote:
> >> A source tree doesn't produce a derivation.  A derivation is the
> >> complete build recipe that captures the source and the package
> >> definition, that when built by the daemon produces a store item.
> >
> > Okay, thanks! Now I'm going to get it right:
> >
> > The store item that is produced should not change whether build-time
> > tests run or not.
> >
> > It does not make sense (and wastes resources) to rebuild a consuming
> > package because build-time tests were enabled or disabled in an input.
>=20
> I do not really think people are misunderstanding you, more that your
> *should* does not align with reality in a way that guix can depend on;
> build-time tests *do* affect the build result in some cases.
>=20
> [...]
>=20
> The only way to ensure they do not change the build results is even more
> resource-intensive; systematically run the build without tests and then
> run the build with tests and compare the store items... assuming the
> build is reproducible in the first place, which is not yet 100% reliable
> either, unfortunately.

There is another way: simply preventing the tests from changing the
resulting store item. For example, the package could first be built
without tests and then that build tree could be copied to the build tree
of the build with tests enabled. The result of that build could then
just be copied from the testless build, ignoring any changes the test
suite has made to the build tree. I'm not confident enough in my
understanding of how Guix builds things to say for sure that this
specific method would work, but I am quite sure that the general idea is
implementable.

--srhkvim6fkpafk7d
Content-Type: application/pgp-signature; name="signature.asc"

-----BEGIN PGP SIGNATURE-----

iQIzBAABCAAdFiEEoMkZR3NPB29fCOn/JX0oSiodOjIFAmVL32MACgkQJX0oSiod
OjKl8A/6AsTGUCdeooIDjg9kBKm2sL/feoJmDaHI96AeY+kfeotmAuAVAa1Ek7nH
0dYMHV9R3R4/KG18Ean7t1EIEkGMbcih4VEaRvUmEvzDIpN3Oqn9Bs5IZ/KAPyHq
kvEnJG2Nfr6mBO4Rm58H5tv/ngBbBT1VAPl5XDNhEYtDcWGZ4AuF7cG3teOlFACM
My7cnA61bk3ZbsUl0gN5sy7U0TOd7zknQ+gPE3YpDImjND5+agHM1XJDursi9T5n
yD+8hsdieaTNGYVHEBlieAIjtRUtyRS8hbyw9K0/SzEDE2YCgPRx2/Y2WQh1BAnc
ojpRPxoBvEphyzZJiRioBMf2T2bYGBaMwGzKQW8zN7bLaeLBQFlhGZLwOuyg7OQU
r0LtIb+LfzcNvzJAUqW6ZwqOPYHZX487Ku0IZrKrWI7456e+JMbwvvR0az2M6GpH
oGEFM65CAWMdEKC5jWIdJgqFRDnRc78G29YRb23DhRkW6T0bkf93KxSQoTJEvfOW
/Nqqn6Z+lSd4bKveyHHrLykaJTfVeYPWfgNUUXzEIMOWRShzhQrAU9uWyaeMDO1Z
NCcTj2AYqSyXeaNwyuhgFTBIWGq0TMTO3ARlK4eKNZXheat7yPVE5BcaP0Skg0Vq
jHXO1dft0nfd2im6uW9j4CvC/5b4PZT7mI1uxAZmifujufR8HjM=
=Bp/c
-----END PGP SIGNATURE-----

--srhkvim6fkpafk7d--