From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id YH68N+UskF9rPwAA0tVLHw (envelope-from ) for ; Wed, 21 Oct 2020 12:43:17 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id 6L95M+UskF+7cwAAB5/wlQ (envelope-from ) for ; Wed, 21 Oct 2020 12:43:17 +0000 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 304209406FA for ; Wed, 21 Oct 2020 12:43:17 +0000 (UTC) Received: from localhost ([::1]:58588 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kVDSV-0004Ve-62 for larch@yhetil.org; Wed, 21 Oct 2020 08:43:15 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:47130) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kVDSI-0004VK-6k for bug-guix@gnu.org; Wed, 21 Oct 2020 08:43:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:36645) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1kVDSH-0006Tb-Sp for bug-guix@gnu.org; Wed, 21 Oct 2020 08:43:01 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1kVDSH-0004It-Qb for bug-guix@gnu.org; Wed, 21 Oct 2020 08:43:01 -0400 X-Loop: help-debbugs@gnu.org Subject: bug#44112: SBCL is not reproducible Resent-From: Guillaume Le Vaillant Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Wed, 21 Oct 2020 12:43:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 44112 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: zimoun Received: via spool by 44112-submit@debbugs.gnu.org id=B44112.160328413316480 (code B ref 44112); Wed, 21 Oct 2020 12:43:01 +0000 Received: (at 44112) by debbugs.gnu.org; 21 Oct 2020 12:42:13 +0000 Received: from localhost ([127.0.0.1]:48191 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kVDRU-0004Hk-PN for submit@debbugs.gnu.org; Wed, 21 Oct 2020 08:42:12 -0400 Received: from mout01.posteo.de ([185.67.36.65]:45315) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kVDRS-0004HU-M9 for 44112@debbugs.gnu.org; Wed, 21 Oct 2020 08:42:11 -0400 Received: from submission (posteo.de [89.146.220.130]) by mout01.posteo.de (Postfix) with ESMTPS id DA15B16005C for <44112@debbugs.gnu.org>; Wed, 21 Oct 2020 14:42:03 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1603284123; bh=276oL5fh8mqzxrflYSv0Fyqq8my1k60IU3yeBUILI9E=; h=From:To:Cc:Subject:Date:From; b=Mu0POkjzmLXGeaj+HoCYDAaOFms8L7bXdxTNu3TIQnSyVgs2g/DLE0BqQAJEKhrSA 6YJJZ46vd1vnKgXz0Lw3r1Wp8pKNHiEE5doQyLywb/qOQTvIctXbABGGxEizYTE/Bu 9kyXU8L3wQrDS0W55Sw9VVtKVq1EhpUSwnmKdv/fHzcB+tQcV0Hk+mSu5Wc911CNNv meWA8M6ufGH9PIOwZdCEDNfNhTFniGoq0kj6mVEI1fotpc8PC79rWZAHmTEgGtJUgQ JHhZCEYh1shFNrfcklcgS+Rm1ZjldMeaKW6XaKQH6nzVfCARkhfYrzUN9zhbnGfU9j e5hhUltm5nE5A== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4CGVVx3Vlnz6tml; Wed, 21 Oct 2020 14:42:01 +0200 (CEST) References: <86o8kw80bl.fsf@gmail.com> User-agent: mu4e 1.4.13; emacs 27.1 From: Guillaume Le Vaillant In-reply-to: <86o8kw80bl.fsf@gmail.com> Date: Wed, 21 Oct 2020 14:41:48 +0200 Message-ID: <87wnzjzr77.fsf@yamatai> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-Spam-Score: -2.3 (--) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-Spam-Score: -3.3 (---) X-BeenThere: bug-guix@gnu.org List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: 44112@debbugs.gnu.org, Pierre Neidhardt Errors-To: bug-guix-bounces+larch=yhetil.org@gnu.org Sender: "bug-Guix" X-Scanner: scn0 Authentication-Results: aspmx1.migadu.com; dkim=fail (rsa verify failed) header.d=posteo.net header.s=2017 header.b=Mu0POkjz; dmarc=fail reason="SPF not aligned (strict)" header.from=posteo.net (policy=none); spf=pass (aspmx1.migadu.com: domain of bug-guix-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=bug-guix-bounces@gnu.org X-Spam-Score: -1.51 X-TUID: 1LTM2W5lX1h6 --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable zimoun skribis: > Using Guix 58af4c9, the package =E2=80=99sbcl=E2=80=99 seems not-reproduc= ible. > > [...] > > I do not know if the patches in =E2=80=99staging=E2=80=99 will fix this. > > Note that this issue does not imply that the build system > =E2=80=99asdf-build-system/sbcl=E2=80=99 is or will be not reproducible. = However, this > issues cuts any Diverse Double Compiling attempt. IIRC, when compiling, SBCL puts the timestamp of the source file in the compiled file. It's not a problem when just doing basic compilation because the source files' timestamps have been set to "1970-01-01". However, some packages generate some source files at build time, usually containing things like data type sizes fetched from system header in order to use C libraries with FFI. The timestamp of a generated file is the current time, therefore the build is not reproducible. IIRC, SBCL itself is built in 2 stages. First its core is compiled using another Common Lisp implementation (currently clisp in Guix), then the complete SBCL is compiled using the core compiled in stage 1. There is probably also an embedded timestamp issue here (coming for clisp, from SBCL, or both) causing the reproducibility issue. The patches currently in the staging branch don't have any effect on the generation of source files or on the format of the compiled files, so they will not help with this issue. Removing this source file timestamp from compiled files would simplify things. Maybe nothing really depends on it and it would be possible... --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iIUEAREKAC0WIQTLxZxm7Ce5cXlAaz5r6CCK3yH+PwUCX5AsjA8cZ2x2QHBvc3Rl by5uZXQACgkQa+ggit8h/j9+WwD+NUWl7DQqk48V2PntLTM52xYfpmiBplWDSMrC LBPgUYoA/1/e0p1lr5TV7cG9BJSmZzTHBubCEHDSIaRRyproDyuo =M569 -----END PGP SIGNATURE----- --=-=-=--