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 wMd7Luprvl6/FQAA0tVLHw (envelope-from ) for ; Fri, 15 May 2020 10:16:10 +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 WM9dKuprvl6GXAAAB5/wlQ (envelope-from ) for ; Fri, 15 May 2020 10:16:10 +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 BA02F9400EF for ; Fri, 15 May 2020 10:16:09 +0000 (UTC) Received: from localhost ([::1]:41928 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jZXNw-0006CO-MQ for larch@yhetil.org; Fri, 15 May 2020 06:16:08 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:46292) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jZXNq-0006C2-2R for bug-guix@gnu.org; Fri, 15 May 2020 06:16:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:52588) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1jZXNp-0002i4-Pa for bug-guix@gnu.org; Fri, 15 May 2020 06:16:01 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1jZXNp-0005YS-Lp for bug-guix@gnu.org; Fri, 15 May 2020 06:16:01 -0400 X-Loop: help-debbugs@gnu.org Subject: bug#22366: [EXT] Bug#22366 Status? Chicken Scheme release tarballs ship non-source C code Resent-From: zimoun Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Fri, 15 May 2020 10:16:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 22366 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: "Thompson, David" Received: via spool by 22366-submit@debbugs.gnu.org id=B22366.158953774121327 (code B ref 22366); Fri, 15 May 2020 10:16:01 +0000 Received: (at 22366) by debbugs.gnu.org; 15 May 2020 10:15:41 +0000 Received: from localhost ([127.0.0.1]:35901 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jZXNV-0005Xu-3w for submit@debbugs.gnu.org; Fri, 15 May 2020 06:15:41 -0400 Received: from mail-qt1-f178.google.com ([209.85.160.178]:33526) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jZXNT-0005Xg-BU for 22366@debbugs.gnu.org; Fri, 15 May 2020 06:15:39 -0400 Received: by mail-qt1-f178.google.com with SMTP id t25so1479230qtc.0 for <22366@debbugs.gnu.org>; Fri, 15 May 2020 03:15:39 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=iM/aIKndu1LpcjRT+jCUqE+mBesec6qjtAyLD7bwWAM=; b=HuPHYh6NT8PebwbV6jlNwK2PUaezGygGjd/DWkte+qJCS/YWbfqrLmAK6l15ag/gNU uqrNdBoiKUMVUfqtOq17hHb9dTG8BoGXtpVrO3Z4gCDZIUBuYBKlsgOJjzCPKrLJIAkY jhue3ikwB3EGKyt6uuaTWKHFU+4MO/hcKbpwv1IQ2e0RHZJ4Fedtm0uRL/HUZJ+QrpLj cGhO4oTJQN4r+PxkaLULRLLHyhKc2Yd8VtPUE3cbk07fYwNjL6RFtXCOeixbdcPenUEz vu98bPxsyXZ7IueTNSae8x1TByWpuSaI6ZEeXIsnwNf6hksiH0S5hneAA2JsvFP4xCkZ xtzA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=iM/aIKndu1LpcjRT+jCUqE+mBesec6qjtAyLD7bwWAM=; b=nVenWcw7UkFwG0JJcJJpevgaHeqqQsR/c+t4LByVCQXDA+V3lQGHucM8ijoPvdPn/8 zOFJ9d0eRYCvrmw7bThLAPyU3T5ry0tDjMeOxXyrTZx7IUEHna5cG+iJTYo4qSTO9HI1 TpsMjoSfOkdh9ismErMQHaL59JkstmuQ5gHjHvx2tepeEB1xXo4d8r0cyxM2pXE7fJ3E 6imbEmm7eJZSezyqP7s7LePyYYawRsBNKJPIUrSNfzuE7mfQRv0v8m7TYzXNL0ISNRoB 0tTd/YNW5e3TGDmpLcRljR/8PL1wqSt7ziTYCCvody6T8S4XWdVJiJKG830RboYod91q r0WA== X-Gm-Message-State: AOAM531NM3H6ev8u1d/qwUKCALrDWsBHQ9kizqZXVSfCOCLy7TH3Z+cv 8vIuyNDeDriZ3EsIMWxNTJmuYzb/y8Npkki+j4Y= X-Google-Smtp-Source: ABdhPJySbqOjlpb/DuV8IRB//3eanVtFdRE9a2Ubc80v+unUeE9kAKtigkiD1ujUIzdeWjYq1uq2lol2/9UnRjOSEmM= X-Received: by 2002:ac8:2db0:: with SMTP id p45mr2761310qta.354.1589537733759; Fri, 15 May 2020 03:15:33 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: From: zimoun Date: Fri, 15 May 2020 12:15:21 +0200 Message-ID: Content-Type: text/plain; charset="UTF-8" X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-Spam-Score: -1.0 (-) X-BeenThere: bug-guix@gnu.org List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: 22366@debbugs.gnu.org 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=gmail.com header.s=20161025 header.b=HuPHYh6N; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (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: 0.09 X-TUID: Kq1+WY3lrCpJ Dear David, On Thu, 14 May 2020 at 21:04, Thompson, David wrote: > > Why is it an issue for bootstrappability? > > Because software is not bootstrappable if it requires taking for > granted files that are not source code. In this case, it is these C > files. These files are not source code because they are machine > generated. In order to generate these files, you need a Chicken > Scheme compiler. Therefore, you cannot build Chicken Scheme from > source code without already having Chicken Scheme, which makes it > non-bootstrappable. I have not kept track of this issue but my > understanding was that the Chicken developers do not care (which is > unfortunately a very common reaction from developers of self-hosted > compilers) but it is nevertheless a bootstrapping issue. I am not following your reasoning. The point is not how the C files are generated but if they are auditable. -- which in most of the cases means human-readable. Considering these generated C files, even if I am not a C expert, they seems un-auditable. --8<---------------cut here---------------start------------->8--- C_noret_decl(f24858) static void C_ccall f24858(C_word c,C_word *av) C_noret; C_noret_decl(f_10015) static void C_ccall f_10015(C_word c,C_word *av) C_noret; C_noret_decl(f_10019) [...] /* k10021 in k10017 in a10014 in k9990 in k9987 in k9984 in k8730 in k8463 in k8451 in k8448 in k8445 in k8441 in k8438 in k8432 in k8393 in walk in chicken.compiler.core#canonicalize-expression in k6295 in k6292 in k6289 in k6286 in k6283 in ... */ static void C_ccall f_10023(C_word c,C_word *av){ C_word tmp; C_word t0=av[0]; C_word t1=av[1]; C_word t2; C_word t3; C_word t4; C_word *a; if(C_unlikely(!C_demand(C_calculate_demand(4,c,4)))){ C_save_and_reclaim((void *)f_10023,c,av);} a=C_alloc(4); t2=C_mutate(((C_word *)((C_word*)t0)[2])+1,t1); t3=(*a=C_CLOSURE_TYPE|3,a[1]=(C_word)f_10026,a[2]=((C_word*)t0)[3],a[3]=((C_word*)t0)[4],tmp=(C_word)a,a+=4,tmp); /* core.scm:890: ##sys#current-environment1643 */ t4=((C_word*)t0)[5];{ C_word *av2; if(c >= 5) { av2=av; } else { av2=C_alloc(5); } av2[0]=t4; av2[1]=t3; av2[2]=((C_word*)t0)[6]; av2[3]=C_SCHEME_FALSE; av2[4]=C_SCHEME_TRUE; ((C_proc)(void*)(*((C_word*)t4+1)))(5,av2);}} --8<---------------cut here---------------end--------------->8--- > I don't think this can be closed because it is still an issue. I have failed to generated these C files using another scheme interpreter. Yeah, it is more than a hack between the coffee and the shower. :-) Thank you for the clarifications and it is still an issue. :-) All the best, simon