From mboxrd@z Thu Jan  1 00:00:00 1970
From: Mark H Weaver <mhw@netris.org>
Subject: Re: Preparing the reduced bootstrap tarballs, take 3
Date: Fri, 14 Dec 2018 16:13:40 -0500
Message-ID: <87lg4r6cbk.fsf@netris.org>
References: <87ftw213dw.fsf@ITSx01.pdp10.guru> <87ftw0ubby.fsf@gnu.org>
	<87lg5slpm4.fsf@gnu.org> <87y39rol3k.fsf@gnu.org>
	<87y39qj0xm.fsf@gnu.org> <87o9amsnyx.fsf@gnu.org>
	<87r2fe319g.fsf_-_@gnu.org> <87sgzrdj0s.fsf_-_@gnu.org>
	<87tvjvatt1.fsf@gnu.org> <87bm5u232i.fsf@gnu.org>
	<87wooi7eqx.fsf@gnu.org> <87r2eox8wd.fsf@gnu.org>
	<871s6m9va6.fsf@netris.org> <878t0s5qkw.fsf@gnu.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Return-path: <guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:37859)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <mhw@netris.org>) id 1gXunO-0004rp-UT
	for guix-devel@gnu.org; Fri, 14 Dec 2018 16:14:56 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <mhw@netris.org>) id 1gXunL-0003ys-1o
	for guix-devel@gnu.org; Fri, 14 Dec 2018 16:14:54 -0500
In-Reply-To: <878t0s5qkw.fsf@gnu.org> ("Ludovic
	\=\?utf-8\?Q\?Court\=C3\=A8s\=22'\?\=
	\=\?utf-8\?Q\?s\?\= message of "Fri, 14 Dec 2018 11:51:27 +0100")
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: <http://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+gcggd-guix-devel=m.gmane.org@gnu.org
Sender: "Guix-devel" <guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org>
To: Ludovic =?utf-8?Q?Court=C3=A8s?= <ludo@gnu.org>
Cc: guix-devel@gnu.org

Ludovic Court=C3=A8s <ludo@gnu.org> writes:

> Mark H Weaver <mhw@netris.org> skribis:
>
>> Ludovic Court=C3=A8s <ludo@gnu.org> writes:
>>
>>> Jan Nieuwenhuizen <janneke@gnu.org> skribis:
>>>
>>>> Ludovic Court=C3=A8s writes:
>>>>
>>>> Hi!
>>>>
>>>>> I=E2=80=99ve just uploaded these to
>>>>> <https://alpha.gnu.org/gnu/guix/bootstrap/i686-linux/20181020>:
>>>>>
>>>>>   linux-libre-headers-stripped-4.14.67-i686-linux.tar.xz
>>>>>   linux-libre-headers-stripped-4.14.67-i686-linux.tar.xz.sig
>>>>>   mescc-tools-static-0.5.2-0.bb062b0-i686-linux.tar.xz
>>>>>   mescc-tools-static-0.5.2-0.bb062b0-i686-linux.tar.xz.sig
>>>>>   mes-minimal-stripped-0.18-0.08f04f5-i686-linux.tar.xz
>>>>>   mes-minimal-stripped-0.18-0.08f04f5-i686-linux.tar.xz.sig
>>>>
>>>> Great!
>>>>
>>>>> Could you adjust bootstrap.scm to refer to this URL?  Currently I see
>>>>> bootstrap.scm refers to a different version of
>>>>> linux-libre-headers-stripped so it should be the only one whose hash
>>>>> needs to be changed.
>>>>
>>>> I don't see that...and the hash matches.
>>>
>>> We=E2=80=99ve discussed it in person, and now I think we=E2=80=99re all=
 set!  :-)
>>
>> Does our documentation include instructions on how to reproducibly build
>> these new bootstrap binaries, to independently verify them?
>
> The build procedure remains unchanged (info "(guix) Bootstrapping"):
>
>   guix build bootstrap-tarballs
>
> To verify them, you can do what I described in this thread, which is to
> use the same commit as Janneke and myself used, run =E2=80=9Cguix build
> bootstrap-tarballs=E2=80=9D, and compare the three tarballs listed above.

What commit did you use?  It would be good to document this, so that
others can independently verify our bootstrap binaries, now or in the
future.

     Thanks,
       Mark