From debbugs-submit-bounces@debbugs.gnu.org Tue Apr 01 05:50:15 2014 Received: (at 17150) by debbugs.gnu.org; 1 Apr 2014 09:50:15 +0000 Received: from localhost ([127.0.0.1]:58830 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1WUvKg-0005zu-OK for submit@debbugs.gnu.org; Tue, 01 Apr 2014 05:50:15 -0400 Received: from hera.aquilenet.fr ([141.255.128.1]:57273) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1WUvKc-0005zi-RF for 17150@debbugs.gnu.org; Tue, 01 Apr 2014 05:50:12 -0400 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id 44D2C213C; Tue, 1 Apr 2014 11:50:09 +0200 (CEST) Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id wkiJa3-e+aP2; Tue, 1 Apr 2014 11:50:09 +0200 (CEST) Received: from pluto (pluto.bordeaux.inria.fr [193.50.110.57]) by hera.aquilenet.fr (Postfix) with ESMTPSA id 10E662106; Tue, 1 Apr 2014 11:50:09 +0200 (CEST) From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) To: Mark H Weaver Subject: Re: bug#17150: Stale bootstrap/*/guile-2.0.9.tar.xz files are not detected References: <8761munpip.fsf@yeeloong.lan> <8761mu57ui.fsf@gnu.org> <87lhvqm179.fsf@yeeloong.lan> X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 12 Germinal an 222 de la =?utf-8?Q?R=C3=A9volution?= X-PGP-Key-ID: 0xEA52ECF4 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 83C4 F8E5 10A3 3B4C 5BEA D15D 77DD 95E2 EA52 ECF4 X-OS: x86_64-unknown-linux-gnu Date: Tue, 01 Apr 2014 11:50:08 +0200 In-Reply-To: <87lhvqm179.fsf@yeeloong.lan> (Mark H. Weaver's message of "Mon, 31 Mar 2014 18:51:22 -0400") Message-ID: <87eh1hl6pb.fsf@gnu.org> User-Agent: Gnus/5.130007 (Ma Gnus v0.7) Emacs/24.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: 1.0 (+) X-Debbugs-Envelope-To: 17150 Cc: 17150@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 1.0 (+) Mark H Weaver skribis: > ludo@gnu.org (Ludovic Court=C3=A8s) writes: > >> Mark H Weaver skribis: >> >>> I just realized that my x86_64 and Loongson 3A systems have spent an >>> enormous amount of time building the new guix master branch based on >>> outdated bootstrap/*/guile-2.0.9.tar.xz. >>> >>> The issue is that if you simply "git pull" from a build directory with >>> older versions of bootstrap/*/guile-2.0.9.tar.xz, although the various >>> places where the hashes are stored are updated, those new hashes are >>> never checked against the existing files. Therefore, you can proceed to >>> build an entire system based on an outdated bootstrap guile, and with >>> hashes that don't match what's on hydra and what other people are >>> building. >> >> Right, =E2=80=98guix pull=E2=80=99 doesn=E2=80=99t survive updates of th= e bootstrap Guile >> tarballs, because it doesn=E2=80=99t try to download it (see =E2=80=98bu= ild-guix=E2=80=99 in >> guix/build/pull.scm.) That=E2=80=99s rare in practice, but still a seri= ous >> limitation as you note. :-/ > > Hmm, yes, I suppose that "guix pull" is more relevant for typical users, > but actually that's not what I was talking about above. I was talking > about "git pull" followed by "make". Ah, sorry! Ah yes, I see what the problem is. Only build-aux/download.scm checks the hash, so indeed, if the file is stale or modified later, Guix doesn=E2=80=99t notice. Perhaps we should add a =E2=80=98check-hash=E2=80=99 rule or something in t= he makefile, that automatically triggers before installation or something? Ludo=E2=80=99.