From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id fRFRKE/1DWJCfQAAgWs5BA (envelope-from ) for ; Thu, 17 Feb 2022 08:12:15 +0100 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id 6Oj/H0/1DWIDywAAG6o9tA (envelope-from ) for ; Thu, 17 Feb 2022 08:12:15 +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 E748111512 for ; Thu, 17 Feb 2022 08:12:14 +0100 (CET) Received: from localhost ([::1]:57678 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1nKaxY-00028l-Uo for larch@yhetil.org; Thu, 17 Feb 2022 02:12:12 -0500 Received: from eggs.gnu.org ([209.51.188.92]:36700) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nKawQ-00025I-7N for guix-patches@gnu.org; Thu, 17 Feb 2022 02:11:02 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:56060) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1nKawP-0007aE-TF for guix-patches@gnu.org; Thu, 17 Feb 2022 02:11:01 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1nKawP-0006Xi-Pn for guix-patches@gnu.org; Thu, 17 Feb 2022 02:11:01 -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 07:11:01 +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.164508182225103 (code B ref 53878); Thu, 17 Feb 2022 07:11:01 +0000 Received: (at 53878) by debbugs.gnu.org; 17 Feb 2022 07:10:22 +0000 Received: from localhost ([127.0.0.1]:49957 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nKavm-0006Wn-GK for submit@debbugs.gnu.org; Thu, 17 Feb 2022 02:10:22 -0500 Received: from mailrelay.tugraz.at ([129.27.2.202]:26723) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nKavk-0006We-Ak for 53878@debbugs.gnu.org; Thu, 17 Feb 2022 02:10:21 -0500 Received: from lprikler-laptop.ist.intra (gw.ist.tugraz.at [129.27.202.101]) by mailrelay.tugraz.at (Postfix) with ESMTPSA id 4JzmDn0hHnz3wZs; Thu, 17 Feb 2022 08:10:16 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=tugraz.at; s=mailrelay; t=1645081817; bh=sbkrDGY1eVsuQ4ov7jb9gD4FClK/bDziUKDkBgkTXq8=; h=Subject:From:To:Date:In-Reply-To:References; b=scDTJ96cgU4nDlZMyI25DNecVQDqunqqIp5b9gXS4EMXrSvnwSWuGsPtZucYwqKiN ELlOyISduXnnDqbwiwCm1pZKjzWuHtryPT/DgCAzQYnKCmXaHsuEjo9SnuxkEwL16W txVhgUgmMy9zt2kGZcSWv7junpxH7r8Jhcj9afn4= Message-ID: From: Liliana Marie Prikler Date: Thu, 17 Feb 2022 08:10:16 +0100 In-Reply-To: <9979ce6c-9583-18e1-43da-098d2d74e741@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> 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=1645081935; 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=sbkrDGY1eVsuQ4ov7jb9gD4FClK/bDziUKDkBgkTXq8=; b=LlJOnGOPFkUJWZFzLLjWcxpDCJ+XnndauRQPO3+PeGtOKuHRuo++UBffnjJhxTXppbyjgH LK1fieS07+sR+HbY6cjccw3MyqSKT6u5JPIjNOHHWwWaZ+cXYBiWWZrKffC48dfCIYawtY zvxsB5k2bjs3Lx29kuhqXNBl6f5sW+f/hMpf8eANgSKSEHdfM2rJOvomlC6rjCl80nFGXz +5OtN0kVcM2mBPT8Ps5J/FM4D1b0jJqfcZZpGJl3bddeVYRQhvhEG5hj1ZvItNaEoCXcQF j1uD37z64dvPwGJadd7iUeBp+Lkyxb5wXYzFoq/eo5JbCVZbmqID+2tZM3p1Hg== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1645081935; a=rsa-sha256; cv=none; b=qc7IzK+s3m+234oKXBoqeIkx50sFsSDBTbYiZAjkkRBwf3a0Sf3lpokt/smfdHsdMj/bZO I9OqtTYUAvfFBr9GDU1L5AhWIARZwKJGWCMlqyFqCoxXLxre2f82DCfI5SZcvGF0ob1zJv Zs58fd4lYDgH3e5k2+SAs2IanjJyLVWLkR7dMikMhfKoVu8N+unq62a45VnAjFh5aMF2Mg sa3bgcspR+NoSDriy5BsXCTHDsE4w/PJ/RRWc81PLQu4QQJRY+EZk28Otrbth7Rp3FxRta yrEKLJmSjL3L6dSkcraKSJodsgIU7KbAb3+SqWVYUhGZoAjUhb3Vjsjda/V0wg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=tugraz.at header.s=mailrelay header.b=scDTJ96c; 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: -2.83 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=tugraz.at header.s=mailrelay header.b=scDTJ96c; 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: E748111512 X-Spam-Score: -2.83 X-Migadu-Scanner: scn0.migadu.com X-TUID: XBtD7HpyWz6Y Hi, Am Mittwoch, dem 16.02.2022 um 16:13 -0500 schrieb Philip McGrath: > Hi, > > On 2/14/22 09:54, Liliana Marie Prikler wrote: > > Am Sonntag, dem 13.02.2022 um 16:51 -0500 schrieb Philip McGrath: > > > This might seem a bit silly in isolation, but it makes the > > > structure of the upstream Chez Scheme package the same as for the > > > Racket variant, it sets things up for (one day, hopefully) > > > actually being able to bootstrap the upstream Chez Scheme > > > bootfiles, and it may be useful for cross-compilation and adding > > > support for architectures without pre-built bootfiles from > > > upstream. > > > > > > * gnu/packages/chez-and-racket-bootstrap.scm > > > (chez-scheme-bootstrap-bootfiles): New variable. > > > (chez-scheme)[native-inputs]: Add it. > > > [arguments]: Add new phase 'unpack-bootfiles'. > > > [version, source, home-page]: Derive from 'chez-scheme-bootstrap- > > > bootfiles'. > > > --- > > While having chez-scheme-bootstrap-bootfiles (silly name) does make > > some kind of sense, making chez-scheme inherit from it does not.  > > Given that we don't have a chez-scheme bootstrap tower at hand, you > > should probably make (chez-scheme-bootstrap) a procedure which > > takes chez-scheme's origin as argument and returns the full > > package. > > > Making a function is an interesting idea, but I'm not sure I'm quite > picturing what you have in mind. I will see if I can figure out > something that seems reasonable as I revise this series, if I don't > hear from you before then. I was picturing something like (define chez-bootfiles (chez ...) (package/inherit chez (inputs ...) (native-inputs ...) (build-system ...) (arguments ...))) > One reason I like making the bootfiles a package is that a set of > bootfiles includes artifacts in addition to the bootfiles themselves, > such as generated C headers describing the layout of Scheme objects > in memory, some of which are not included as part of an installed > Chez Scheme. For example, imagine someone wants to run Chez Scheme on > FreeBSD: upstream does not distribute BSD bootfiles, so they must be > cross-compiled. Even though Guix doesn't have a C toolchain for > FreeBSD (AFAIK), Guix could be used to reproducibly build the needed > bootfiles and pack a "source" tarball to be used on a FreeBSD build > machine. > > Also, the process for building bootfiles is largely orthogonal to > building the actual `scheme` executable, and it seems like eventually > it may be useful to be able to override options separately. Again, I'm with you on making chez-bootfiles a package and your rationale sounds reasonable, but I don't think it's correct to say that chez inherits from them. IIUC it is rather the other way around; the bootfiles contain precompiled versions of Chez among other things. > Is there a technical reason to prefer either repeating the home page, > license, etc. or writing e.g. `(package-license > chez-scheme-bootstrap-bootfiles)` rather than using inheritance? You should not write (package-license chez-scheme-bootstrap-files), that's the point! For one, that's exactly what inheritance would do unless you specify the field (technical reason), but more importantly, as a reader, using (package-license this-other-chez-thing) sends me on a journey to track down this-other-chez-thing while determining the license of chez! That's just silly (social reason). Cheers