From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.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 UBlbO6xpDWLPRQAAgWs5BA (envelope-from ) for ; Wed, 16 Feb 2022 22:16:28 +0100 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id aKkZNKxpDWLPKgAAG6o9tA (envelope-from ) for ; Wed, 16 Feb 2022 22:16:28 +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 56E2039F2B for ; Wed, 16 Feb 2022 22:16:28 +0100 (CET) Received: from localhost ([::1]:44700 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1nKRf0-0006kQ-Di for larch@yhetil.org; Wed, 16 Feb 2022 16:16:26 -0500 Received: from eggs.gnu.org ([209.51.188.92]:47346) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nKRch-0004GD-1C for guix-patches@gnu.org; Wed, 16 Feb 2022 16:14:03 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:55691) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1nKRcg-0004Ox-MY for guix-patches@gnu.org; Wed, 16 Feb 2022 16:14:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1nKRcg-0003gO-Dq for guix-patches@gnu.org; Wed, 16 Feb 2022 16:14:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#53878] [PATCH 07/11] gnu: chez-scheme: Explicitly package bootstrap bootfiles. Resent-From: Philip McGrath Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 16 Feb 2022 21:14: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: Liliana Marie Prikler , 53878@debbugs.gnu.org Received: via spool by 53878-submit@debbugs.gnu.org id=B53878.164504602614127 (code B ref 53878); Wed, 16 Feb 2022 21:14:02 +0000 Received: (at 53878) by debbugs.gnu.org; 16 Feb 2022 21:13:46 +0000 Received: from localhost ([127.0.0.1]:49588 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nKRcP-0003fl-NY for submit@debbugs.gnu.org; Wed, 16 Feb 2022 16:13:46 -0500 Received: from mail-qv1-f47.google.com ([209.85.219.47]:40720) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nKRcN-0003fX-OI for 53878@debbugs.gnu.org; Wed, 16 Feb 2022 16:13:44 -0500 Received: by mail-qv1-f47.google.com with SMTP id v10so4412913qvk.7 for <53878@debbugs.gnu.org>; Wed, 16 Feb 2022 13:13:43 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=philipmcgrath.com; s=google; h=message-id:date:mime-version:user-agent:from:subject:to:references :content-language:in-reply-to:content-transfer-encoding; bh=zdR/tvYn9ZoDfMuR5FA7IKrzN8/iKr3yOv7TiulASMo=; b=jt/yBxs6wKV+ekUNP09mSPB4T+KUeNLeRpfEpyj2IBg0H5XFxYoe/WJa00ivVd6yIH XusXOkbtja8qKTBDvQ5VJMrok/9E5Wb10M9RlUkTHq7FBM2H5BeK7xTbA1ARknsc2u9d KYnNVHmxfTvFZh4X+x1ST4ill/AOV/YPFp6CZ8Zxac2NmknY8pwNMjrK68+sOM8NokKI lUPfFtdYhxCSXFjE7NpRV5jpLyRALuLcFBoArlLwTDvgwDp/YXkoXjTGwsKyt5iMFOeb oqmJoRKld34aej5YtTXWMn/7uDyXbEIccjbg9G25ubZGISttrkjI811SuT6n4qkuUa8Q 87Ng== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:message-id:date:mime-version:user-agent:from :subject:to:references:content-language:in-reply-to :content-transfer-encoding; bh=zdR/tvYn9ZoDfMuR5FA7IKrzN8/iKr3yOv7TiulASMo=; b=5otoTWkP/BkO+3if143XppWImpOBmrSs4W3oatJWuk/ibv7lB3G5NySybePA90zq74 eA2PHYzJaSIc6N1vQ04EOhwnQE4k50DH3ujuB3tVJ4qw7lEg8wt5ux/WZXbKWUFYuWCE 9EnvmpBAITv8sgbzDXzoS1zupUe/TEtOgQZVwElGSDBN3ZL97INniFsxEE3T7AALszVI ENGxPMDs8CMFFUpF5o0UBh/PVJRRcBXoxXFo0mLoN6/08R+iLrkQrNr1qXGFEidD9FUI TuThnudjO8cUhj3c9AQ/TZEv6RDHnPZshyxLOS9JPVlerpmx2dhwlj7UerNXNVklQmPm eWvw== X-Gm-Message-State: AOAM531hA6daJYUi2c/vJhrva3VWpYp2QVAY8OVBsCnsFS2hphOG2FUW C9X07GK64oNvtcpWaEZs42ylwTSIRpIGs3MIvrI= X-Google-Smtp-Source: ABdhPJyfb3Kxw/NAYjpDS3A70q50wVYuG3OdbhDAYFihIwWWYcItaDBM1VO8UvskMMhq7JnPre0edA== X-Received: by 2002:a05:622a:2294:b0:2d7:14b9:c445 with SMTP id ay20-20020a05622a229400b002d714b9c445mr3603524qtb.362.1645046018200; Wed, 16 Feb 2022 13:13:38 -0800 (PST) Received: from [192.168.45.36] (c-73-125-98-51.hsd1.fl.comcast.net. [73.125.98.51]) by smtp.gmail.com with ESMTPSA id z23sm2511000qtn.40.2022.02.16.13.13.37 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Wed, 16 Feb 2022 13:13:37 -0800 (PST) Message-ID: <9979ce6c-9583-18e1-43da-098d2d74e741@philipmcgrath.com> Date: Wed, 16 Feb 2022 16:13:36 -0500 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.5.0 From: Philip McGrath References: <20220213215127.218952-1-philip@philipmcgrath.com> <20220213215127.218952-8-philip@philipmcgrath.com> <7a5ff55f7c05308cac7bb2aae5dbe0a16b8fa9b9.camel@ist.tugraz.at> Content-Language: en-US In-Reply-To: <7a5ff55f7c05308cac7bb2aae5dbe0a16b8fa9b9.camel@ist.tugraz.at> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit 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=1645046188; 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=zdR/tvYn9ZoDfMuR5FA7IKrzN8/iKr3yOv7TiulASMo=; b=l1RQvApg0hX6+dtI4ZYe4E99cVYcyOQxlPdoaDVKRjCMDFbtLoRRAx5Ed1tjvIynAieT4W wvL2572oponRfCt9cU4uARf1CiGulTPlv3I2UJYa6upCWz4Thghu2712aSaZry24619bfV RchEdfzl9LsPZb2llbhNQi7f3DMdKddZ7e5I3LcecQohffA7Q2iTcffOOFN3LMQs6dhreX 0wgLRIsI7AL9zTO1bkMfVeec/Xq79Vfze3YaVdJlS0jtbFN5QaLbjlPo3fmFgQhxKuyYRk u7NTblv/nh/TzzJEBTWFMR2X9C/WK74ZF9qjjpNCXCpxu/Vqb36fqO1GLOKwzA== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1645046188; a=rsa-sha256; cv=none; b=mHdGxLFtAB3wejFJVYJz+zBlfcj2ciEqqVZcSIJ2NDxoYqBWevV0+BeNw3ks4OdgnpuG5x mp5c/BtzZWH0V67IqSr3OSnsp8gh+tBB/KRCWsNZAU1LOCKeYMWF3S/jcflHDchDbPA/Uq /4aRIfWghL3brJFswJIRkn7gr8CuD216S7L+FtfeXCpQ0Lc96JyVgcFMnme0zqN5eyAqa3 57MJeT2Sn7EUhn9oT1n6nzAJHgeYb4Yyt9b/tXBbZ6qXSJYVAB2bgsuPEOGX4klz5oJfLI je/EfwEhdINZAEbQSPc3fR3eStsBM3HGLbWmmZuSPeofhxH4eNkzFdLhg5w5VQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=philipmcgrath.com header.s=google header.b="jt/yBxs6"; dmarc=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.13 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=philipmcgrath.com header.s=google header.b="jt/yBxs6"; dmarc=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: 56E2039F2B X-Spam-Score: -2.13 X-Migadu-Scanner: scn1.migadu.com X-TUID: 3/iDpEYWQnWi 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. 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. There may be other ways to address these sorts of things, and it's true that a lot of this has more to do with my intuition of what might be work well in the future, rather than something that actually works right now. 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? -Philip