X-Loop: help-debbugs@HIDDEN Subject: bug#17150: Stale bootstrap/*/guile-2.0.9.tar.xz files are not detected Resent-From: Mark H Weaver <mhw@HIDDEN> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: bug-guix@HIDDEN Resent-Date: Mon, 31 Mar 2014 19:23:02 +0000 Resent-Message-ID: <handler.17150.B.139629373114290 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: report 17150 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: 17150 <at> debbugs.gnu.org X-Debbugs-Original-To: bug-guix@HIDDEN Received: via spool by submit <at> debbugs.gnu.org id=B.139629373114290 (code B ref -1); Mon, 31 Mar 2014 19:23:02 +0000 Received: (at submit) by debbugs.gnu.org; 31 Mar 2014 19:22:11 +0000 Received: from localhost ([127.0.0.1]:58210 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1WUhmb-0003iP-PN for submit <at> debbugs.gnu.org; Mon, 31 Mar 2014 15:22:10 -0400 Received: from eggs.gnu.org ([208.118.235.92]:54682) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from <mhw@HIDDEN>) id 1WUhmZ-0003iC-4b for submit <at> debbugs.gnu.org; Mon, 31 Mar 2014 15:22:07 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from <mhw@HIDDEN>) id 1WUhmP-0005D6-4a for submit <at> debbugs.gnu.org; Mon, 31 Mar 2014 15:22:06 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-0.5 required=5.0 tests=BAYES_05 autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:54563) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from <mhw@HIDDEN>) id 1WUhmO-0005Cy-Qt for submit <at> debbugs.gnu.org; Mon, 31 Mar 2014 15:21:57 -0400 Received: from eggs.gnu.org ([2001:4830:134:3::10]:56344) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from <mhw@HIDDEN>) id 1WUhmH-0001to-8p for bug-guix@HIDDEN; Mon, 31 Mar 2014 15:21:56 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from <mhw@HIDDEN>) id 1WUhm9-00059T-Q0 for bug-guix@HIDDEN; Mon, 31 Mar 2014 15:21:49 -0400 Received: from world.peace.net ([96.39.62.75]:40908) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from <mhw@HIDDEN>) id 1WUhm9-00059G-Lt for bug-guix@HIDDEN; Mon, 31 Mar 2014 15:21:41 -0400 Received: from 209-6-91-212.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com ([209.6.91.212] helo=yeeloong.lan) by world.peace.net with esmtpsa (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.72) (envelope-from <mhw@HIDDEN>) id 1WUhm3-0006B2-8S; Mon, 31 Mar 2014 15:21:35 -0400 From: Mark H Weaver <mhw@HIDDEN> Date: Mon, 31 Mar 2014 15:20:46 -0400 Message-ID: <8761munpip.fsf@HIDDEN> MIME-Version: 1.0 Content-Type: text/plain X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-Received-From: 2001:4830:134:3::11 X-Spam-Score: -5.0 (-----) X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <http://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <http://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <http://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -5.0 (-----) 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. It would be good if the hashes were checked even if they are already present in the build directory. Mark
Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.503 (Entity 5.503) Content-Type: text/plain; charset=utf-8 X-Loop: help-debbugs@HIDDEN From: help-debbugs@HIDDEN (GNU bug Tracking System) To: Mark H Weaver <mhw@HIDDEN> Subject: bug#17150: Acknowledgement (Stale bootstrap/*/guile-2.0.9.tar.xz files are not detected) Message-ID: <handler.17150.B.139629373114290.ack <at> debbugs.gnu.org> References: <8761munpip.fsf@HIDDEN> X-Gnu-PR-Message: ack 17150 X-Gnu-PR-Package: guix Reply-To: 17150 <at> debbugs.gnu.org Date: Mon, 31 Mar 2014 19:23:02 +0000 Thank you for filing a new bug report with debbugs.gnu.org. This is an automatically generated reply to let you know your message has been received. Your message is being forwarded to the package maintainers and other interested parties for their attention; they will reply in due course. Your message has been sent to the package maintainer(s): bug-guix@HIDDEN If you wish to submit further information on this problem, please send it to 17150 <at> debbugs.gnu.org. Please do not send mail to help-debbugs@HIDDEN unless you wish to report a problem with the Bug-tracking system. --=20 17150: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D17150 GNU Bug Tracking System Contact help-debbugs@HIDDEN with problems
X-Loop: help-debbugs@HIDDEN Subject: bug#17150: Stale bootstrap/*/guile-2.0.9.tar.xz files are not detected Resent-From: Mark H Weaver <mhw@HIDDEN> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: bug-guix@HIDDEN Resent-Date: Mon, 31 Mar 2014 19:42:02 +0000 Resent-Message-ID: <handler.17150.B17150.139629491516272 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: followup 17150 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: 17150 <at> debbugs.gnu.org Received: via spool by 17150-submit <at> debbugs.gnu.org id=B17150.139629491516272 (code B ref 17150); Mon, 31 Mar 2014 19:42:02 +0000 Received: (at 17150) by debbugs.gnu.org; 31 Mar 2014 19:41:55 +0000 Received: from localhost ([127.0.0.1]:58225 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1WUi5i-0004EO-O6 for submit <at> debbugs.gnu.org; Mon, 31 Mar 2014 15:41:55 -0400 Received: from world.peace.net ([96.39.62.75]:48723) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from <mhw@HIDDEN>) id 1WUi5h-0004EG-3m for 17150 <at> debbugs.gnu.org; Mon, 31 Mar 2014 15:41:53 -0400 Received: from 209-6-91-212.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com ([209.6.91.212] helo=yeeloong.lan) by world.peace.net with esmtpsa (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.72) (envelope-from <mhw@HIDDEN>) id 1WUi5b-0006Gh-DH; Mon, 31 Mar 2014 15:41:47 -0400 From: Mark H Weaver <mhw@HIDDEN> References: <8761munpip.fsf@HIDDEN> Date: Mon, 31 Mar 2014 15:40:59 -0400 In-Reply-To: <8761munpip.fsf@HIDDEN> (Mark H. Weaver's message of "Mon, 31 Mar 2014 15:20:46 -0400") Message-ID: <871txinol0.fsf@HIDDEN> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <http://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <http://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <http://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: 0.0 (/) I wrote: > 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. Upon further investigation, I see that only MIPS was affected by this problem in the recent merge of core-updates. The reason is that the bootstrap guile for MIPS was updated without changing its version number, whereas the Intel ones were 2.0.7 before the update. Mark
X-Loop: help-debbugs@HIDDEN Subject: bug#17150: Stale bootstrap/*/guile-2.0.9.tar.xz files are not detected Resent-From: ludo@HIDDEN (Ludovic =?UTF-8?Q?Court=C3=A8s?=) Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: bug-guix@HIDDEN Resent-Date: Mon, 31 Mar 2014 22:20:02 +0000 Resent-Message-ID: <handler.17150.B17150.13963043963405 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: followup 17150 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: Mark H Weaver <mhw@HIDDEN> Cc: 17150 <at> debbugs.gnu.org Received: via spool by 17150-submit <at> debbugs.gnu.org id=B17150.13963043963405 (code B ref 17150); Mon, 31 Mar 2014 22:20:02 +0000 Received: (at 17150) by debbugs.gnu.org; 31 Mar 2014 22:19:56 +0000 Received: from localhost ([127.0.0.1]:58386 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1WUkYe-0000sq-Dp for submit <at> debbugs.gnu.org; Mon, 31 Mar 2014 18:19:56 -0400 Received: from hera.aquilenet.fr ([141.255.128.1]:56683) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from <ludo@HIDDEN>) id 1WUkYa-0000sf-1h for 17150 <at> debbugs.gnu.org; Mon, 31 Mar 2014 18:19:53 -0400 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id 7E402214B; Tue, 1 Apr 2014 00:19:50 +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 dROrUvQwHwTK; Tue, 1 Apr 2014 00:19:50 +0200 (CEST) Received: from pluto (reverse-83.fdn.fr [80.67.176.83]) by hera.aquilenet.fr (Postfix) with ESMTPSA id 2800B1B07; Tue, 1 Apr 2014 00:19:50 +0200 (CEST) From: ludo@HIDDEN (Ludovic =?UTF-8?Q?Court=C3=A8s?=) References: <8761munpip.fsf@HIDDEN> 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 00:19:49 +0200 In-Reply-To: <8761munpip.fsf@HIDDEN> (Mark H. Weaver's message of "Mon, 31 Mar 2014 15:20:46 -0400") Message-ID: <8761mu57ui.fsf@HIDDEN> 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-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <http://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <http://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <http://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: 1.0 (+) Mark H Weaver <mhw@HIDDEN> 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 the b= ootstrap Guile tarballs, because it doesn=E2=80=99t try to download it (see =E2=80=98build= -guix=E2=80=99 in guix/build/pull.scm.) That=E2=80=99s rare in practice, but still a serious limitation as you note. :-/ There are other things to do in =E2=80=98guix pull=E2=80=99, such as authen= tication, and improved bandwidth usage. For the latter an option would be to resort to git, and perhaps for the former too. Ludo=E2=80=99.
X-Loop: help-debbugs@HIDDEN Subject: bug#17150: Stale bootstrap/*/guile-2.0.9.tar.xz files are not detected Resent-From: Mark H Weaver <mhw@HIDDEN> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: bug-guix@HIDDEN Resent-Date: Mon, 31 Mar 2014 22:53:02 +0000 Resent-Message-ID: <handler.17150.B17150.139630634011048 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: followup 17150 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: ludo@HIDDEN (Ludovic =?UTF-8?Q?Court=C3=A8s?=) Cc: 17150 <at> debbugs.gnu.org Received: via spool by 17150-submit <at> debbugs.gnu.org id=B17150.139630634011048 (code B ref 17150); Mon, 31 Mar 2014 22:53:02 +0000 Received: (at 17150) by debbugs.gnu.org; 31 Mar 2014 22:52:20 +0000 Received: from localhost ([127.0.0.1]:58441 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1WUl40-0002s8-4W for submit <at> debbugs.gnu.org; Mon, 31 Mar 2014 18:52:20 -0400 Received: from world.peace.net ([96.39.62.75]:48882) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from <mhw@HIDDEN>) id 1WUl3x-0002rz-Fm for 17150 <at> debbugs.gnu.org; Mon, 31 Mar 2014 18:52:18 -0400 Received: from 209-6-91-212.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com ([209.6.91.212] helo=yeeloong.lan) by world.peace.net with esmtpsa (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.72) (envelope-from <mhw@HIDDEN>) id 1WUl3q-0006yA-My; Mon, 31 Mar 2014 18:52:10 -0400 From: Mark H Weaver <mhw@HIDDEN> References: <8761munpip.fsf@HIDDEN> <8761mu57ui.fsf@HIDDEN> Date: Mon, 31 Mar 2014 18:51:22 -0400 In-Reply-To: <8761mu57ui.fsf@HIDDEN> ("Ludovic \=\?utf-8\?Q\?Court\=C3\=A8s\=22'\?\= \=\?utf-8\?Q\?s\?\= message of "Tue, 01 Apr 2014 00:19:49 +0200") Message-ID: <87lhvqm179.fsf@HIDDEN> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <http://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <http://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <http://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: 0.0 (/) ludo@HIDDEN (Ludovic Court=C3=A8s) writes: > Mark H Weaver <mhw@HIDDEN> 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 the= bootstrap Guile > tarballs, because it doesn=E2=80=99t try to download it (see =E2=80=98bui= ld-guix=E2=80=99 in > guix/build/pull.scm.) That=E2=80=99s rare in practice, but still a serio= us > 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". > There are other things to do in =E2=80=98guix pull=E2=80=99, such as auth= entication, and > improved bandwidth usage. For the latter an option would be to resort > to git, and perhaps for the former too. Yes, it seems to me that git is a good tool for this job. Mark
X-Loop: help-debbugs@HIDDEN Subject: bug#17150: Stale bootstrap/*/guile-2.0.9.tar.xz files are not detected Resent-From: ludo@HIDDEN (Ludovic =?UTF-8?Q?Court=C3=A8s?=) Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: bug-guix@HIDDEN Resent-Date: Tue, 01 Apr 2014 09:51:01 +0000 Resent-Message-ID: <handler.17150.B17150.139634581523063 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: followup 17150 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: Mark H Weaver <mhw@HIDDEN> Cc: 17150 <at> debbugs.gnu.org Received: via spool by 17150-submit <at> debbugs.gnu.org id=B17150.139634581523063 (code B ref 17150); Tue, 01 Apr 2014 09:51:01 +0000 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 <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1WUvKg-0005zu-OK for submit <at> 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 <ludo@HIDDEN>) id 1WUvKc-0005zi-RF for 17150 <at> 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@HIDDEN (Ludovic =?UTF-8?Q?Court=C3=A8s?=) References: <8761munpip.fsf@HIDDEN> <8761mu57ui.fsf@HIDDEN> <87lhvqm179.fsf@HIDDEN> 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@HIDDEN> (Mark H. Weaver's message of "Mon, 31 Mar 2014 18:51:22 -0400") Message-ID: <87eh1hl6pb.fsf@HIDDEN> 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-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <http://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <http://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <http://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: 1.0 (+) Mark H Weaver <mhw@HIDDEN> skribis: > ludo@HIDDEN (Ludovic Court=C3=A8s) writes: > >> Mark H Weaver <mhw@HIDDEN> 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.
Received: (at control) by debbugs.gnu.org; 13 Apr 2014 03:31:17 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sat Apr 12 23:31:16 2014 Received: from localhost ([127.0.0.1]:46582 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1WZB8V-0006VE-Bv for submit <at> debbugs.gnu.org; Sat, 12 Apr 2014 23:31:15 -0400 Received: from world.peace.net ([96.39.62.75]:37826 ident=hope1) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from <mhw@HIDDEN>) id 1WZB8R-0006V0-I5 for control <at> debbugs.gnu.org; Sat, 12 Apr 2014 23:31:12 -0400 Received: from 209-6-91-212.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com ([209.6.91.212] helo=yeeloong.lan) by world.peace.net with esmtpsa (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.72) (envelope-from <mhw@HIDDEN>) id 1WZB8F-0006AP-Kk; Sat, 12 Apr 2014 23:31:00 -0400 From: Mark H Weaver <mhw@HIDDEN> To: control <at> debbugs.gnu.org Date: Sat, 12 Apr 2014 23:29:43 -0400 Message-ID: <87k3atewk8.fsf@HIDDEN> MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: 2.0 (++) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has identified this incoming email as possible spam. The original message has been attached to this so you can view it (if it isn't spam) or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: severity 15890 wishlist severity 17208 wishlist severity 17150 minor severity 17202 minor thanks [...] Content analysis details: (2.0 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 1.8 MISSING_SUBJECT Missing Subject: header 0.2 NO_SUBJECT Extra score for no subject X-Debbugs-Envelope-To: control X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <http://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <http://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <http://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: 2.0 (++) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has identified this incoming email as possible spam. The original message has been attached to this so you can view it (if it isn't spam) or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: severity 15890 wishlist severity 17208 wishlist severity 17150 minor severity 17202 minor thanks [...] Content analysis details: (2.0 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 1.8 MISSING_SUBJECT Missing Subject: header 0.2 NO_SUBJECT Extra score for no subject severity 15890 wishlist severity 17208 wishlist severity 17150 minor severity 17202 minor thanks
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997 nCipher Corporation Ltd,
1994-97 Ian Jackson.