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 ms5.migadu.com with LMTPS id SLXDKmFyuGJTeAEAbAwnHQ (envelope-from ) for ; Sun, 26 Jun 2022 16:51:13 +0200 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 eKmaKmFyuGJ5BgAAauVa8A (envelope-from ) for ; Sun, 26 Jun 2022 16:51:13 +0200 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 3FB411E5D9 for ; Sun, 26 Jun 2022 16:51:13 +0200 (CEST) Received: from localhost ([::1]:59102 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1o5TbT-00040H-VY for larch@yhetil.org; Sun, 26 Jun 2022 10:51:12 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:41756) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1o5TbJ-0003z7-Vw for guix-patches@gnu.org; Sun, 26 Jun 2022 10:51:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:54670) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1o5TbJ-0007pH-OW for guix-patches@gnu.org; Sun, 26 Jun 2022 10:51:01 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1o5TbJ-0008B2-Kr for guix-patches@gnu.org; Sun, 26 Jun 2022 10:51:01 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#55606] [PATCH 2/2] gnu: Add hare. Resent-From: Antero Mejr Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 26 Jun 2022 14:51:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 55606 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Maxime Devos Cc: "\(" , Tobias Geerinckx-Rice , Liliana Marie Prikler , "55606@debbugs.gnu.org" <55606@debbugs.gnu.org> Received: via spool by 55606-submit@debbugs.gnu.org id=B55606.165625502231380 (code B ref 55606); Sun, 26 Jun 2022 14:51:01 +0000 Received: (at 55606) by debbugs.gnu.org; 26 Jun 2022 14:50:22 +0000 Received: from localhost ([127.0.0.1]:48567 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o5Taf-0008A4-SF for submit@debbugs.gnu.org; Sun, 26 Jun 2022 10:50:22 -0400 Received: from mout-p-102.mailbox.org ([80.241.56.152]:49828) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o5Tab-00089j-B9 for 55606@debbugs.gnu.org; Sun, 26 Jun 2022 10:50:20 -0400 Received: from smtp102.mailbox.org (smtp102.mailbox.org [10.196.197.102]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-384) server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by mout-p-102.mailbox.org (Postfix) with ESMTPS id 4LWDKs2fyDz9sRD; Sun, 26 Jun 2022 16:50:09 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mailbox.org; s=mail20150812; t=1656255009; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references; bh=O3LiLdhJt73J29mFck1F7JaZcGkyzDQX9/z4pDMEFnU=; b=mnKJWYcqxt5YIfWM5aVRFX+WYSMjfFwdxf9F3rML451fVc7HVHuY5HGc+F9ZRn2XXMHSC1 CcVi0mcl1DWO7TXD/5ruvS9EFO5UFEAGBSp1nOW4TpXn5e+PDb2hR9+kDnd5cdejZOCfYt gRxbcrhtRcq8LRxGvwfijA4as639H8JFAhTTVQrF0+VBe0EcjJWA7riaKVMv+UODufmbZ3 6cwE11yRZpJu+C8jaAclHxIQFJJqKrM9Xnr0AaXcODDGhMubd58zwc8cl1o9hU/xAsdibA FkP9NACc1Bhi7r/rPIufW0DCMVZ3h/4ErjwG5MNSfputTisnMh3Kbk2hh9fUjA== References: <1494793954.947626.1654278890520@office.mailbox.org> <0f62a23e7014fa02404683d144bbeffa52732ebc.camel@gmail.com> <87v8so81lg.fsf@mailbox.org> <87bkuffquv.fsf@mailbox.org> Date: Sun, 26 Jun 2022 10:39:17 -0400 In-reply-to: Message-ID: <87sfnreaxv.fsf@mailbox.org> MIME-Version: 1.0 Content-Type: text/plain X-MBO-RS-META: fx68htxs9p7pybzf86ddih37ffiotg5c X-MBO-RS-ID: c9443e371b7dc821375 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" Reply-to: Antero Mejr X-ACL-Warn: , Antero Mejr via Guix-patches From: Antero Mejr via Guix-patches via X-Migadu-Flow: FLOW_IN X-Migadu-To: larch@yhetil.org X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1656255073; h=from:from:sender:sender:reply-to:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type: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=O3LiLdhJt73J29mFck1F7JaZcGkyzDQX9/z4pDMEFnU=; b=iVbK6gUcpZ5ScAF8coYUJFC30+Xe6BnhAiGgL4H+IPeNfw56iu+hXb9nMhMmOF6GIgMoEB bRvO59ichYGqzGLhMBE9Vn6hf+roTYZq2MOMjYJl5XKPSPb2b/va2ku3D1GVQBJOhgkc8l 6ekprurvlNUah7CapdVG8WS97T1K44xt/xUP8m6m7IJ3sZjVy7odYeyTq2teyNaocPakP5 ks+5XJfdw2bcOUnVP3Ld3cFOww9n6RDpsrw65CYGlSncQM3t/ni07/TlS1afC8pCmD34H9 0xuA/UAe2Bz3Fskj0uJgNLBrh3ZH/ErBu7DrKQUuuhG+i5GOdYD8LkxuLlS+Yg== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1656255073; a=rsa-sha256; cv=none; b=UBAtZdVMDlG+3hOtRcJVh2lyEmFiDUs5ZnxXeCxNJ/ukUE8T5JMP65YqBXy2lDQAeq2lW4 NNT1b4MLm6CPlANx8ElnQUNgiWcPraSxrLqsnamDmSK/5ZS39GyOvph3q7dM5EHU5CllxG XNHpAHuH1uABGqUHrj5xnibp8npnutzVPhfFqFmfwXlFggDblTFRTnf842XZAEAFQPyf/n u31cD+iXoxzdIjhSH7nEMySh20iAFe6LCf+J0Cxqn/fPPULI0a/0zIBK8Wra98oNrPha1k QA1bz+Bn/3P7QTT0mTibAx/o/XQ4jwZaiXH0f2n/lC+Z/DEy9pAlbHF9sZtaNw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=mailbox.org header.s=mail20150812 header.b=mnKJWYcq; dmarc=pass (policy=none) header.from=gnu.org; 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.66 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=mailbox.org header.s=mail20150812 header.b=mnKJWYcq; dmarc=pass (policy=none) header.from=gnu.org; 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: 3FB411E5D9 X-Spam-Score: -1.66 X-Migadu-Scanner: scn0.migadu.com X-TUID: eOjlDlT697N1 Maxime Devos writes: > TBC: what is this package packaging? > > * the compiler > * some wrapper around the compiler > * the standard library and the compiler > * both > > If it packages the compiler, this is not fine. Guix is a package > manager and distribution, the point of which is to automatically sort > out dependencies. Leaving it up to the user to sort out the > dependencies then partially defeats the point. My current understanding is: The "hare" package is the standard library and a "build driver", which orchestrates the program "harec" to compile hare programs into QBE IR, and then hare calls qbe and binutils to compile the program to a binary. I think they refer to a "build driver" as "a program that calls other programs to do a build". Kind of like Rust's cargo build system, but without full package management. However, in the future the plan is for hare to be a self-hosted compiler and build system, dropping the harec dependency (will still need it, but just for bootstrapping). Not sure if they will replace qbe as well. Our options are: 1. Provide the build driver "hare" standalone, then a "hare-toolchain" package that propagates hare, harec, qbe, and binutils. This is how it was done by ) on Guix'R'Us. 2. Add qbe and harec to propagated-inputs of hare. This is what the earlier patch did. 3. Add qbe and harec to inputs, and patch the source code to direct the build driver to the Guix paths.