From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0.migadu.com ([2001:41d0:403:58f0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms13.migadu.com with LMTPS id mIo5F3ob1mZSZAAAqHPOHw:P1 (envelope-from ) for ; Mon, 02 Sep 2024 20:09:30 +0000 Received: from aspmx1.migadu.com ([2001:41d0:403:58f0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0.migadu.com with LMTPS id mIo5F3ob1mZSZAAAqHPOHw (envelope-from ) for ; Mon, 02 Sep 2024 22:09:30 +0200 X-Envelope-To: larch@yhetil.org Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=debbugs.gnu.org header.s=debbugs-gnu-org header.b=ufT5DqPr; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20230601 header.b=TTkOnDj1; dmarc=fail reason="SPF not aligned (relaxed), DKIM not aligned (relaxed)" header.from=gmail.com (policy=none); spf=pass (aspmx1.migadu.com: domain of "bug-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="bug-guix-bounces+larch=yhetil.org@gnu.org" ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1725307770; 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=/qOB+Q1hf5M2oLMu7Q4UrDb9vys/u4YjAjWA4Cp/hB8=; b=CjRgfZ/EdE4t76pkep33ZqFSJEMaQvoIai7Km2jqwEwhMfcjKow80Nx9IIXYMSNIVZxMb1 8/0zqsvUZHoGRz/SMgehf0mcF11sUZ6gQGM84sZeoyo7ZVA0zrG9A5okaZBzLkgIxhBvVZ cbjly9UfL1NSnhxH9cxvIsjsfSZ+GysAYJnAWS2MUcWHxTwbQ72Fh5KIUSTX9UvfU6uvi/ uGEnrfIX71aeR+WFyIezZTpAYn2jat52sXDHXqxI3XuPz6CX2EG2CuBqMpP/UGX+6pp1bK VKurazsM8BPDaS/zs3CZ7Rjd4F42lkdKBlMXDksRrKqarH7pDmy/YbMnmSbqvA== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1725307770; a=rsa-sha256; cv=none; b=bHVy8hc1AZ0OgNKcxsRs1Q97RqseCSgn7fSPpnnFwQ6PGfhmpzmWrOCiymqL+tbowThSDj JRY/TqkL4nnxOJv1A+uuG+k2mRGPBWbdI5Ahwjx283IOMcwYXpwR6LuxER/3v4oo2Joy15 lou5uMyc7Ts9qwf1zQl0/7JitmcpDEZsXfLH0QgUJzE2TL3KuZxlh7D8o3t0+iZH9yNMCx l0BgAiuqqApKOhezWr0NGq6MqWFh0ZFGca8iyzt9IpUWh9Aj/PALzYuWmfWh5ZaUo40HK9 0gcUUh8RJVSEF7t30pLifTUD9pTVwnOuFuH0sJiqGUHJ+4KMghhSp+7uM0Ufiw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=debbugs.gnu.org header.s=debbugs-gnu-org header.b=ufT5DqPr; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20230601 header.b=TTkOnDj1; dmarc=fail reason="SPF not aligned (relaxed), DKIM not aligned (relaxed)" header.from=gmail.com (policy=none); spf=pass (aspmx1.migadu.com: domain of "bug-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="bug-guix-bounces+larch=yhetil.org@gnu.org" 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 A3E4772612 for ; Mon, 02 Sep 2024 22:09:29 +0200 (CEST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1slDMF-0005ZT-9W; Mon, 02 Sep 2024 16:09: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 1slDMD-0005ZJ-HL for bug-guix@gnu.org; Mon, 02 Sep 2024 16:09: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 1slDMD-0007sA-6l for bug-guix@gnu.org; Mon, 02 Sep 2024 16:09:01 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debbugs.gnu.org; s=debbugs-gnu-org; h=MIME-Version:Date:References:In-Reply-To:From:To:Subject; bh=/qOB+Q1hf5M2oLMu7Q4UrDb9vys/u4YjAjWA4Cp/hB8=; b=ufT5DqPrfUGkRYJqWOul15Ou1/UL0pAnpGqjS65Wj8UvODWsSwA/Tt+FaKIM3MEvPzx4UcMLfzSSwiSiHewoLax71rHwKMwEM7wQagxQrrKeUffKJXiwoSmtAUku91txtrZrJg0YCnc+XhgEVKeH+sVceyMHx773NwcZUMzXAw8tiMqa4oueaYgr17QK34TO+frij+6/TttvVo0AURzQZ9TGVV2VPAA//cO0354eyomWbyFzUlMJDwdMq/zLDK2dhkkXSTF4wspVlz1yPwRd/sm2wLES8ET0uaUQmdGBXmItbUOND6301Lj2US07lyAW9ECbY8GZEbEg+7bryD67Xw==; Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1slDNC-0004KX-Dl for bug-guix@gnu.org; Mon, 02 Sep 2024 16:10:02 -0400 X-Loop: help-debbugs@gnu.org Subject: bug#72061: Discrepancy when running =?UTF-8?Q?=E2=80=98guix_?= =?UTF-8?Q?pull=E2=80=99?= from different machines Resent-From: Simon Tournier Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Mon, 02 Sep 2024 20:10:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 72061 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: Konrad Hinsen , 72061@debbugs.gnu.org Cc: Ludovic =?UTF-8?Q?Court=C3=A8s?= Received: via spool by 72061-submit@debbugs.gnu.org id=B72061.172530777616527 (code B ref 72061); Mon, 02 Sep 2024 20:10:02 +0000 Received: (at 72061) by debbugs.gnu.org; 2 Sep 2024 20:09:36 +0000 Received: from localhost ([127.0.0.1]:52588 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1slDMm-0004IR-7B for submit@debbugs.gnu.org; Mon, 02 Sep 2024 16:09:36 -0400 Received: from mail-wm1-f48.google.com ([209.85.128.48]:46297) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1slDMj-0004I9-Ig for 72061@debbugs.gnu.org; Mon, 02 Sep 2024 16:09:35 -0400 Received: by mail-wm1-f48.google.com with SMTP id 5b1f17b1804b1-42c7a384b18so18857905e9.0 for <72061@debbugs.gnu.org>; Mon, 02 Sep 2024 13:08:32 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1725307646; x=1725912446; 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=/qOB+Q1hf5M2oLMu7Q4UrDb9vys/u4YjAjWA4Cp/hB8=; b=TTkOnDj1Se+q9SHuO6+01OJ4GfJt654+7eGo8+EQpSnyzjZNwE0qypRCArrF+hVab1 R8+CoZR0KLWDAug6+ay504ZhhvCgndwLdJIYpSlqQFPpx2wIuGj0YBBlOJYepIn+ORBS fv6ArWy9Ie5lrrlBcF4R4OcY8pVzDFPSNr7qxDzRvoAULMi0lT80BscHpCDknAtxfaMM 5dkflhQtRc8LByu3c/uffWIZpzj+vyhlYG8aKROeM2Bkj1tsSF7Pq7VJVmF2z7mEDU4g zV+EUH87oXAEk870UcHqzX967BTtH9TWlsgQxAWjBP1QzbYxf4HHSwFyS9Ap+mqtNj7o 27tQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1725307646; x=1725912446; 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=/qOB+Q1hf5M2oLMu7Q4UrDb9vys/u4YjAjWA4Cp/hB8=; b=RPnJb2TvixMhFBt4uVtvqHGOpgbpHpCcj+0fYpGAobiHrAbm86Rr5Fx6RtAmKobrMp qwLm/cSNnT1EQh2KqE3QuHMhjzRrNMkQRA9LD2Qt80Z6vq6ARn4WooQlywd52Mh0Ugeq BFfW9ZEzlGhP524vYeQL/d1JVfUDzgvWfhBBJewSYVsCQ5iy5hO8Mcnz06bqekyflUu8 0D9tPR0+tJRjoH0WFJGo7mWtG5pD7cTkSamqmVxrjUQZNiLRXd1uK8hxw+XfWELeYPZc GiZtTjgqYhh6JnWaWE4w77Ywr7Jef4C5tAxpERU6Zwuqj46HQoAggi0XEF/fJGfpPTaL 7cEw== X-Forwarded-Encrypted: i=1; AJvYcCVA4bIe+r61Ca6XslB/GbOr/DisNXfzTo3k1M0w0sWK6ga4CgQPbftStzLX7e8qJD2KEyfXog==@debbugs.gnu.org X-Gm-Message-State: AOJu0YzpmsUHqrn3R8GX7vPQVSVDK22J4g0XX2fM6o2ccbjzk8mqW3rq ubg9DM7kGGI+Q+BIBcubJXZleCWQblxV2wfvkzJqk/d7XDsEcK+c X-Google-Smtp-Source: AGHT+IGTuUOo52enADzieU6mlh1QwlLm8cs5yoeDb9kfQusTVqL6uogyQ8aLFugQ9xVVJ1UtgWoqsw== X-Received: by 2002:a05:600c:3c8b:b0:426:5e91:391e with SMTP id 5b1f17b1804b1-42bdc64e46dmr52566655e9.26.1725307645923; Mon, 02 Sep 2024 13:07:25 -0700 (PDT) Received: from lili (roam-nat-fw-prg-194-254-61-40.net.univ-paris-diderot.fr. [194.254.61.40]) by smtp.gmail.com with ESMTPSA id ffacd0b85a97d-374badc581csm8365783f8f.0.2024.09.02.13.07.24 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 02 Sep 2024 13:07:25 -0700 (PDT) From: Simon Tournier In-Reply-To: References: <87bk34113k.fsf@inria.fr> <87msm7dlae.fsf@gmail.com> <87ed6bi6ht.fsf@gmail.com> Date: Mon, 02 Sep 2024 22:04:50 +0200 Message-ID: <87plplq0t9.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: bug-guix@gnu.org List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+larch=yhetil.org@gnu.org Sender: bug-guix-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US X-Migadu-Spam-Score: -7.42 X-Spam-Score: -7.42 X-Migadu-Queue-Id: A3E4772612 X-Migadu-Scanner: mx11.migadu.com X-TUID: 3uM5W2xKeMDt Hi Konrad, On Mon, 02 Sep 2024 at 17:31, Konrad Hinsen wr= ote: > The "channels.scm" attached to my last message describes Guix at the > time "guix time-machine" was launched. It's not the channels file used > in the time machine command! That one is quite short: In your previous message, you wrote: --8<---------------cut here---------------start------------->8--- He gets an error when running an example from one of our exercises: guix time-machine --channels=3Dchannels.scm -- shell --container --netwo= rk --manifest=3Dmanifest.scm -- jupyter lab guix-science/build-system/node.scm:119:2: error: #{ %make-build-system-p= rocedure/abi-check}#: unbound variable hint: Did you forget a `use-modules' form? --8<---------------cut here---------------end--------------->8--- So IIUC, the channels.scm file you provided is not the same channels.scm file here. You provided all the revisions to get this Guix and from this Guix you tries to reach another revision (named channels.scm in the above but just reads 7b0863f07a113caef26fea13909bd97d250b629e). Right? Again IIUC, the picture looks like: The hypothetical commit introducing the potential breakage: records: Do not inline the constructor. c14b8636fbac9826115f4524d500536d54c15625 CommitDate: Sat May 4 19:14:24 2024 +0200=20 Change-Id: Ifd7b4e884e9fbf21c43fb4c3ad963126ef5cb476 The Guix revision (newer than the record modification): guix: 325fed4c1514bffd084355455710fcc3f1c8da2c CommitDate: Tue Jul 16 10:28:05 2024 -0500 guix-science: 12eba5aa0c5cbf357c476ef7872e0d562d054eff CommitDate: Wed May 22 17:40:02 2024 +0200 And the revision time-machine going in the past: guix: 7b0863f07a113caef26fea13909bd97d250b629e CommitDate: Wed Jan 3 16:38:57 2024 -0500 >> Is the current failing Guix running a revision older than May? > > It's the one defined in channels.scm, meaning commit > 325fed4c1514bffd084355455710fcc3f1c8da2c, from July 16th 2024. So, no, > not older than May. On my machine, it passes too: --8<---------------cut here---------------start------------->8--- $ guix time-machine -C channels.scm \ -- time-machine --commit=3D7b0863f07a113caef26fea13909bd97d250b629e \ -- describe guix 7b0863f repository URL: https://git.savannah.gnu.org/git/guix.git commit: 7b0863f07a113caef26fea13909bd97d250b629e --8<---------------cut here---------------end--------------->8--- Well, I do not know how to debug that. :-) Especially without an access to the machine and considering the person, from the MOOC, is probably new to Guix. Assuming =E2=80=99guix describe=E2=80=99 returns all the channels as mentio= ned earlier, this is how to check that the current Guix contains the variable. --8<---------------cut here---------------start------------->8--- $ thisguix=3D$(type -P guix) $ realguix=3D$(readlink -f $thisguix) $ themodules=3D$(guix gc --references $realguix | grep guix-module-union) $ find -L $themodules -type f -name "*.scm" -exec grep -l 'procedure/abi-ch= eck' {} \; /gnu/store/ljgzk92h0hd09bli5iccg8yfp3gf1hb4-guix-module-union/share/guile/s= ite/3.0/guix/records.scm --8<---------------cut here---------------end--------------->8--- If nothing is returned, then it would mean that something had been twisted when compiling (pulling) this current Guix. In that case, what would be the output of: $realguix describe guix gc --references $realguix guix gc --references $themodules ? Else, if the file is returned, it means the error is from elsewhere, e.g., how the Guile modules are loaded or other. In that case, it would require to investigate the derivations. Well, the hash ljgzk92h0hd09bli5iccg8yfp3gf1hb4 can be different, I guess. Cheers, simon