From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id KACpCxARDmLeJAEAgWs5BA (envelope-from ) for ; Thu, 17 Feb 2022 10:10:40 +0100 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id wOt3BBARDmJR0wAAG6o9tA (envelope-from ) for ; Thu, 17 Feb 2022 10:10:40 +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 6742D11A57 for ; Thu, 17 Feb 2022 10:10:39 +0100 (CET) Received: from localhost ([::1]:35210 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1nKcoA-000358-15 for larch@yhetil.org; Thu, 17 Feb 2022 04:10:38 -0500 Received: from eggs.gnu.org ([209.51.188.92]:48748) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nKc1D-0004bL-1S for guix-patches@gnu.org; Thu, 17 Feb 2022 03:20:07 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:56164) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1nKc1C-0000dI-MO for guix-patches@gnu.org; Thu, 17 Feb 2022 03:20:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1nKc1C-0008KJ-HH for guix-patches@gnu.org; Thu, 17 Feb 2022 03:20:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#53878] [PATCH 07/11] gnu: chez-scheme: Explicitly package bootstrap bootfiles. Resent-From: Liliana Marie Prikler Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Thu, 17 Feb 2022 08:20: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 Received: via spool by 53878-submit@debbugs.gnu.org id=B53878.164508597231966 (code B ref 53878); Thu, 17 Feb 2022 08:20:02 +0000 Received: (at 53878) by debbugs.gnu.org; 17 Feb 2022 08:19:32 +0000 Received: from localhost ([127.0.0.1]:50061 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nKc0h-0008JW-TL for submit@debbugs.gnu.org; Thu, 17 Feb 2022 03:19:32 -0500 Received: from mailrelay.tugraz.at ([129.27.2.202]:17806) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nKc0f-0008JJ-0V for 53878@debbugs.gnu.org; Thu, 17 Feb 2022 03:19:30 -0500 Received: from lprikler-laptop.ist.intra (gw.ist.tugraz.at [129.27.202.101]) by mailrelay.tugraz.at (Postfix) with ESMTPSA id 4JznmY2k5Zz1LZWB; Thu, 17 Feb 2022 09:19:25 +0100 (CET) DKIM-Filter: OpenDKIM Filter v2.11.0 mailrelay.tugraz.at 4JznmY2k5Zz1LZWB DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=tugraz.at; s=mailrelay; t=1645085965; bh=ET9Hyo30T0JpUPe1pBDKw9RDJtlnEdtEe7S2Rc3GoTo=; h=Subject:From:To:Date:In-Reply-To:References:From; b=F45xzEwom0aT0ZHDcvZtYYiYcrVlDrtN18Y2ZKlCsyBnhJ1REOLZkTjwWxeqE1/xB Zh9dw4qFjq2J6EeH4MwWTYp7wHngJrPG8wIddYeyW2/AvP6a4KMh1cFSx7DP+0ni+q Fs5kXSXegdM/bRvRrKvhXDxdH01HpttwIdK6d334= Message-ID: <19a00f93e793a062f3004f1a4f452701fb3234d3.camel@ist.tugraz.at> From: Liliana Marie Prikler Date: Thu, 17 Feb 2022 09:19:24 +0100 In-Reply-To: <0a2fdc03-5b05-02e4-ab0f-d9ef23d6460e@philipmcgrath.com> References: <20220213215127.218952-1-philip@philipmcgrath.com> <20220213215127.218952-8-philip@philipmcgrath.com> <7a5ff55f7c05308cac7bb2aae5dbe0a16b8fa9b9.camel@ist.tugraz.at> <9979ce6c-9583-18e1-43da-098d2d74e741@philipmcgrath.com> <0a2fdc03-5b05-02e4-ab0f-d9ef23d6460e@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=1645089039; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to: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=ET9Hyo30T0JpUPe1pBDKw9RDJtlnEdtEe7S2Rc3GoTo=; b=i81QesW7XxOCUADJ0RsAQTeo/5bijkJ2/z3fmbBZMQCAfTBWfBJ8/Rb0edYkCbME5xDOI3 mXgQnJ/dN03Y2xwXGhtREnSK+bqe/Tf9Khip+JvRhhy68Z6Qw2cOoXkh9EJRZMdRIMHTX7 KBaPaGo9tP/tdOSv6aed3QQYFzyQRsTniosqiAvUaxPRIZ3u8otDJQEr0+kbq4zF64Ym+0 fgSigJBfIoOxm3l8EmhHvKIO8Fg33Pl2S5uzfSG4Wmx2wwKNn/m9yZVXj2/QaP8GziV6Lz HPCzQjfS91uC6xy8xGkHqeb7c2m2KZfYyf8bYZL6Xl8A5vxrrA04TdZtfnoVQQ== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1645089039; a=rsa-sha256; cv=none; b=qTnqfY4vYjPa6Z7wz6tobSiSmA4N1uXv4KAu3ZposK6qwe359GRIZKiV/zQ72KOH3d6Dky hA9cOcC84/bZVUvQp2W/ArZyu3t+c8aF3UKzNKzKHhreEM2NW5i8PMJPpfOZARePpujT2N Cj3jlgOrnLE3z/jBny6myyzd2AaVVtEFdi/iUmU8tOCOQB2doBY4osZn53EcQnktjBpHX5 QxifcUdjbYR/Z08uHf0h23ajJlCYFBooUsODhLm6XC2B+8KqW1iBPoMWaHFGYbhjuziulv UmWGVUENjoJ8OMhDs/7P9c1WNgpYm6e0TnOWVL0wxASRtCMnXqTQ+9L/wqT9HQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=tugraz.at header.s=mailrelay header.b=F45xzEwo; 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: -3.03 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=tugraz.at header.s=mailrelay header.b=F45xzEwo; 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: 6742D11A57 X-Spam-Score: -3.03 X-Migadu-Scanner: scn0.migadu.com X-TUID: +so6ncGFh6IT Hi, Am Donnerstag, dem 17.02.2022 um 03:06 -0500 schrieb Philip McGrath: > Hi, > > On 2/17/22 02:10, Liliana Marie Prikler wrote: > > [...] > > I was picturing something like > > > > (define chez-bootfiles (chez ...) > >    (package/inherit chez > >      (inputs ...) > >      (native-inputs ...) > >      (build-system ...) > >      (arguments ...))) > > > > Sorry, I still don't think I'm following. Would this rely on the > `mative-inputs` being thunked to let the result of this function be > an input to `chez-scheme`?  Yes. > What commonality is the function abstracting over, compared to having > 'chez-scheme-for-racket-bootstrap-bootfiles' inherit from 'chez- > scheme-bootstrap-bootfiles'? At the moment version, source, home-page and license. I don't really think bootstrap files ought to be a part of chez' source, so if you wanted to do this really cleanly, you'd have to drop them from chez and add restrict chez-bootstrap to them, which would imply you'd have to use (version (package-version chez-scheme)) explicitly – for now I don't want to add too much burden to that patch and you can assume source to be the same between the two. > (I'm using "-bootstrap-bootfiles" because there are also other kinds > of bootfiles: applications can create their own bootfiles, e.g. > "racket.boot", and using Chez as a cross-compiler also involves more > bootfiles.) I have no idea how useful that feature is or how widely it is used, but if those are just binary blobs needed to get chez scheme running, we ought to treat them as that. That makes some sense with respect to the license and home page, but > > > That makes some sense with respect to the license and home page, but > what about 'package-source' and 'package-version'? Your patch currently makes them the same for both, so you tell me :P See above for long-term plans. Cheers