From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id cB5PBAM8uGIFbAAAbAwnHQ (envelope-from ) for ; Sun, 26 Jun 2022 12:59:15 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id uLseBAM8uGIFewEAauVa8A (envelope-from ) for ; Sun, 26 Jun 2022 12:59:15 +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 8DD18B0A4 for ; Sun, 26 Jun 2022 12:59:14 +0200 (CEST) Received: from localhost ([::1]:39616 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1o5Pyz-00070o-KC for larch@yhetil.org; Sun, 26 Jun 2022 06:59:13 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:34344) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1o5Pyo-00070M-C8 for guix-patches@gnu.org; Sun, 26 Jun 2022 06:59:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:52934) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1o5Pyn-0002w4-Ko for guix-patches@gnu.org; Sun, 26 Jun 2022 06:59:01 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1o5Pyn-0001h3-Ko for guix-patches@gnu.org; Sun, 26 Jun 2022 06:59:01 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#55606] [PATCH 2/2] gnu: Add hare. Resent-From: "(" Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 26 Jun 2022 10:59: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: "Antero Mejr" Cc: "55606@debbugs.gnu.org" <55606@debbugs.gnu.org>, Tobias Geerinckx-Rice , Maxime Devos , Liliana Marie Prikler Received: via spool by 55606-submit@debbugs.gnu.org id=B55606.16562411286489 (code B ref 55606); Sun, 26 Jun 2022 10:59:01 +0000 Received: (at 55606) by debbugs.gnu.org; 26 Jun 2022 10:58:48 +0000 Received: from localhost ([127.0.0.1]:46831 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o5Pya-0001gb-7t for submit@debbugs.gnu.org; Sun, 26 Jun 2022 06:58:48 -0400 Received: from knopi.disroot.org ([178.21.23.139]:57648) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o5PyY-0001gS-C4 for 55606@debbugs.gnu.org; Sun, 26 Jun 2022 06:58:47 -0400 Received: from localhost (localhost [127.0.0.1]) by disroot.org (Postfix) with ESMTP id CE7F145A69; Sun, 26 Jun 2022 12:58:44 +0200 (CEST) X-Virus-Scanned: SPAM Filter at disroot.org Received: from knopi.disroot.org ([127.0.0.1]) by localhost (disroot.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id OxRatf7SSPuB; Sun, 26 Jun 2022 12:58:43 +0200 (CEST) Mime-Version: 1.0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=disroot.org; s=mail; t=1656241123; bh=PU4/OGGq4r7rTQf0mZN5HwzOmdn9OU4QOmnJ1GKDhsc=; h=Date:Cc:Subject:From:To:References:In-Reply-To; b=NneRzjdGEJAZMqLfaq2yrQQXV0I9mF8LSE9ZWwWLaS5HtYx8cXeamr7N/TAjMJNo6 248C18k367uS23mp1qqAMjGJkBlROCmLy6QBbvLQIQk3ttZUp4jKCHZvsMVYUvCJ44 OakrIthUmbK286q13RkidJW9bsB0AkcqaMhPuFXAbGUVpvHQwZl9s2YUuowap0XazC m1FawB347kizIVlyv42hKZCZTOMX3HOcV9oS/hxtOYgmJWx44dZ+GdoFd/DICHVy44 wjqlQdlg3ihOPmmd8WhaoMcLQHi/y7tRETANtmuZQBaSrdmlSfcd8XSIoX1CcgqdZZ Y3Dd6ZPOFWmkQ== Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=UTF-8 Date: Sun, 26 Jun 2022 11:58:43 +0100 Message-Id: References: <1494793954.947626.1654278890520@office.mailbox.org> <0f62a23e7014fa02404683d144bbeffa52732ebc.camel@gmail.com> <87v8so81lg.fsf@mailbox.org> In-Reply-To: <87v8so81lg.fsf@mailbox.org> 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: "\(" X-ACL-Warn: , "\( via Guix-patches" From: "\( 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=1656241154; 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: 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=ydrHH4aneVbizjzM9lCPAwJaEFwGGZwXDfUNk4u6MGo=; b=QOQCUE6clPZPE8EtPu2xsvpNDgh54o3QDV73b2xI4ghrVoGIUaqda9T6WYgrLP2W8jmxNF qKQJRSmT1pUt7+Xy16DiasIXTkViBpQkhD6v+X9JnrdqZLqowW0Muam+2RTYbyNsltdTaq oIh7D59DdBav3mcUm02BrNolVdahYVKsvW3vsLV26TIVAIfz7O7O/PY1LBm/vTEz9r/4iL htiom51QOZWW5z+e7eECerO1OCWZylZq+y0VqWkAoXY7plDdJSzsgeDAxlLniW6iFxowGT BZImqEIRyPRawukT3nVpsUc1UV+Ow1sql0YqqZ7pFmwJHj3glDOWvX17RzpoIQ== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1656241154; a=rsa-sha256; cv=none; b=VTjnyOTsvnBeXiS3hiVukGwKc0RcYnCThgZEoEN64IvMQ8EU47IyTtvLAvkAE6fkN7QETv xlDJwpxPsRAXcCc3yUonwt5MpUkj0AQ9n5punIdeYZq6KZ0sDYGEoRANh33zJG8ha/0Z74 yAka4kDE7USicacQyulzGkifvbsByy7w8p0NV/HBiVmy2iTPs6zkP+k4+MBj2dpaXpkTru LsNncCf7uwiCnGx4kwBMjsh/nxtyd5t5Csw+QIq4SIfHrpW4BCJgumHu0xxsVpXkSEtxvV R1DMhJQwW98sPkvD9xDgAY0VudbHAMGvih03DoF8uyIW7y1Jxv3e2fGw/4+Q5A== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=disroot.org header.s=mail header.b=NneRzjdG; 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: -0.56 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=disroot.org header.s=mail header.b=NneRzjdG; 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: 8DD18B0A4 X-Spam-Score: -0.56 X-Migadu-Scanner: scn0.migadu.com X-TUID: J75gfD3LgnVf On Sun Jun 26, 2022 at 5:40 AM BST, Antero Mejr wrote: > As for cross-compilation of the guix hare build, I think the > platform-linux-architecture bit should take care of it, right? My mistake, I realized that it would work shortly after sending that. > I'm unsure about this one - maybe the user would want to use harec or > qbe by themselves to debug a build step? > I wanted to give the user a full hare build environment when > they run `guix install hare`, but I understand your logic for wanting to > patch the paths in. There are a few compilers where intermediate build programs aren't included in propagated-inputs: + neither ldc nor zig include ld or as (nor the llvm equivalents) + neither nim nor ghc include gcc I think it should be fine. -- (