From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id MBqrKH9GD2INHAEAgWs5BA (envelope-from ) for ; Fri, 18 Feb 2022 08:10:55 +0100 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id yGA+JX9GD2JjbgEAauVa8A (envelope-from ) for ; Fri, 18 Feb 2022 08:10:55 +0100 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 371F21ABE4 for ; Fri, 18 Feb 2022 08:10:55 +0100 (CET) Received: from localhost ([::1]:37206 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1nKxPp-0002SE-Lz for larch@yhetil.org; Fri, 18 Feb 2022 02:10:53 -0500 Received: from eggs.gnu.org ([209.51.188.92]:56242) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nKxOD-0001tG-2q for guix-patches@gnu.org; Fri, 18 Feb 2022 02:09:13 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:59358) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1nKxO2-0006yT-DP for guix-patches@gnu.org; Fri, 18 Feb 2022 02:09:12 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1nKxO2-0000kG-9R for guix-patches@gnu.org; Fri, 18 Feb 2022 02:09:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#53878] [PATCH v2 08/15] gnu: chez-scheme: Explicitly package bootstrap bootfiles. Resent-From: Liliana Marie Prikler Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 18 Feb 2022 07:09:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 53878 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Philip McGrath , 53878@debbugs.gnu.org Cc: Ludovic =?UTF-8?Q?Court=C3=A8s?= , Attila Lendvai , Malte Gerdes , zimoun Received: via spool by 53878-submit@debbugs.gnu.org id=B53878.16451681322849 (code B ref 53878); Fri, 18 Feb 2022 07:09:02 +0000 Received: (at 53878) by debbugs.gnu.org; 18 Feb 2022 07:08:52 +0000 Received: from localhost ([127.0.0.1]:53255 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nKxNs-0000jq-19 for submit@debbugs.gnu.org; Fri, 18 Feb 2022 02:08:52 -0500 Received: from mailrelay.tugraz.at ([129.27.2.202]:18736) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nKxNp-0000jh-My for 53878@debbugs.gnu.org; Fri, 18 Feb 2022 02:08:50 -0500 Received: from lprikler-laptop.ist.intra (gw.ist.tugraz.at [129.27.202.101]) by mailrelay.tugraz.at (Postfix) with ESMTPSA id 4K0N8Z1fPRz1LZWn; Fri, 18 Feb 2022 08:08:46 +0100 (CET) DKIM-Filter: OpenDKIM Filter v2.11.0 mailrelay.tugraz.at 4K0N8Z1fPRz1LZWn DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=tugraz.at; s=mailrelay; t=1645168126; bh=3kkHg/M1tYByj7obvgfzsPQgoH+XvJM7fwEvNpI5DbI=; h=Subject:From:To:Cc:Date:In-Reply-To:References:From; b=RjKwidRNt7J1eA7+4U9fzGCOdMjA20ThALulVU2w848TQMtxcNbb6Q1DH0QYx93gV +ZaHJXrlrRSFSV6uBCDBGJwTsMfHYbWn5MDHTqFbqA2JfKZ7ES7N/3LrSsMrdnKv97 tj/Vck4tdcNehlkPevOQT0zI83Pwwtr/1xtIqIro= Message-ID: <72bb2b48f7c2fae26c60db8c13cff34a0b01347b.camel@ist.tugraz.at> From: Liliana Marie Prikler Date: Fri, 18 Feb 2022 08:08:46 +0100 In-Reply-To: <20220217205048.967383-9-philip@philipmcgrath.com> References: <97f8916ae5bd8d8459bdfd507864f2f55cc217a1.camel@ist.tugraz.at> <20220217205048.967383-1-philip@philipmcgrath.com> <20220217205048.967383-9-philip@philipmcgrath.com> Content-Type: text/plain; charset="UTF-8" User-Agent: Evolution 3.42.1 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-TUG-Backscatter-control: waObeELIUl4ypBWmcn/8wQ X-Scanned-By: MIMEDefang 2.74 on 129.27.10.116 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: "Guix-patches" X-Migadu-Flow: FLOW_IN X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1645168255; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding:resent-cc: resent-from:resent-sender:resent-message-id:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=3kkHg/M1tYByj7obvgfzsPQgoH+XvJM7fwEvNpI5DbI=; b=bJcnAa2fAlS6SFNDRhdaGrENkUkHdvPdOHeBbpdlao0nfW9ExSmwEnytOGgoAmG88cWjGh 6NZ7cFogbhQ8cTiEC5sleXXPg4OMzHjtuD200QdREsWP/BsDuEgvL18A95BMTyHbc1kfqH +CL5RprkuCiY/2Z1gJA1QEgOh6S//W9XvDGbO1bX9j44WzKwE/UsQJ/n1TuyWAkBDuQXwi 4ZYrCX7ioTK2ybSsQzLzaT7y0Pk99DhJ8+CxF5twzkjKfDskZwRZDLoooCxu1UNRJP7JL+ vAQOWQAG/qwKD7vXzqisvbfMrFOM92a8Gb2eQ1gGuCHX7TOG16uCSpLHGYQ/BQ== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1645168255; a=rsa-sha256; cv=none; b=qzpzxG12artKo0tfn8akchl9Gshp6y1hmnhNJ1qxfM+DMovaoZ20regjnwNJxyjoDaf3+l XeYiz+6Zxvr2nCUh988DCaVB85FbHt6b/dMrCkw/M3DAiih9m8nBM1AOECZ1RVJ/ZxcTzL ofBK9vbOVlp/BOMQHa5IoSO3Q7cLNkqhA5i1MJHSCJb2ZulHLptsyflDNrkdCM4KMjOsjA R9U+n/kRGp5JD0R28Euz4tMTkHsm+qSAZPx4rbnIBEjOtWuFcKLrgwX7kNnIn7IpE5V178 HJ9BbFcMgFLA9sxI+F+f5eQUo3l5PWh/GbtiV9oLCMNTJEIE0F/AnIvXeqjk2A== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=tugraz.at header.s=mailrelay header.b=RjKwidRN; dmarc=fail reason="SPF not aligned (relaxed)" header.from=tugraz.at (policy=none); spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" X-Migadu-Spam-Score: -1.03 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=tugraz.at header.s=mailrelay header.b=RjKwidRN; dmarc=fail reason="SPF not aligned (relaxed)" header.from=tugraz.at (policy=none); spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" X-Migadu-Queue-Id: 371F21ABE4 X-Spam-Score: -1.03 X-Migadu-Scanner: scn0.migadu.com X-TUID: razA39VHwzdc Am Donnerstag, dem 17.02.2022 um 15:50 -0500 schrieb Philip McGrath: > +(define-public chez-scheme-bootstrap-bootfiles > +  (package > +    (inherit chez-scheme) > +    (name "chez-scheme-bootstrap-bootfiles") > +    (inputs '()) > +    (native-inputs '()) > +    (outputs '("out")) > +    (build-system copy-build-system) > +    ;; TODO: cross compilation This TODO might be moved one line up, since you wouldn't be able to do cross-compilation with just copy-build-system, would you? > +    (arguments > +     (list #:install-plan > +           #~`(("boot/" "lib/chez-scheme-bootfiles")))) > +    (supported-systems > +     ;; Upstream only distributes pre-built bootfiles for > +     ;; arm32le and t?(i3|a6)(le|nt|osx) > +     (filter (lambda (system) > +               (let ((machine (and=> (nix-system->chez-machine > system) > +                                     chez-machine->nonthreaded))) > +                 (or (equal? "arm32le" machine) > +                     (and machine > +                          (member (substring machine 0 2) '("i3" > "a6")) > +                          (or-map (cut string-suffix? <> machine) > +                                  '("le" "nt" "osx")))))) > +             %supported-systems)) > +    (synopsis "Chez Scheme bootfiles (binary seed)") > +    (description > +     "Chez Scheme is a self-hosting compiler: building it requires > +``bootfiles'' containing the Scheme-implemented portions compiled > for the > +current platform.  (Chez can then cross-compile bootfiles for all > other > +supported platforms.) > + > +This package provides bootstrap bootfiles for upstream Chez Scheme. > +Currently, it simply packages the binaries checked in to the upsream > +repository.  Hopefully we can eventually adapt Racket's @code{cs- > bootstrap} to > +work with upstream Chez Scheme so that we can bootstrap these files > from > +source."))) > + Now to explain the difference between my suggestion and what you implemented. Mine would be to (define-public (chez-scheme-bootstrap-bootfiles chez-scheme) ...) where ... is the code you already have. This would not only work for other chez-schemes than the one we have packaged, but might also make it possible to cross module boundaries, i.e. keep chez-scheme in chez.scm. WDYT?