From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.migadu.com ([2001:41d0:403:478a::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms9.migadu.com with LMTPS id aFwTCqLesWQI2AAASxT56A (envelope-from ) for ; Sat, 15 Jul 2023 01:47:46 +0200 Received: from aspmx1.migadu.com ([2001:41d0:403:478a::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id uH00CaLesWSdMwAAG6o9tA (envelope-from ) for ; Sat, 15 Jul 2023 01:47:46 +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 C986D5A1AB for ; Sat, 15 Jul 2023 01:47:45 +0200 (CEST) Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=riseup.net header.s=squak header.b=bfz45ojg; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=none) header.from=riseup.net ARC-Seal: i=1; s=key1; d=yhetil.org; t=1689378466; a=rsa-sha256; cv=none; b=HgvHf6ADDrWmHkYVQW/Ddlnsk/zQP/PLpFCEimo8JGS2n03Iu/9lTkD3rvG3LKtGE0+K1f gNQAhewxNDr+/3StLS2egU8/Uz6qlUzwWYEzSIQD7DZnBvc5NCneKnXXnzI4qk/BpTgExg FV4SNgotkOEVHRqg/0mcFT9sqN0SHflS43QdafdMCZOO+L+ShMmhtaHxVfaAXvxcz5okyk 75OvZxX1vGQ76xZw1lntz+ILM9lf2mRXEm+5s+mt9IJNKMMlg9KzXPN2hhiodQXnQvj8qu 6iP24FD8AxRaY72rXGCDADGI++DMEBVM1Afr8Lgz+B6KGtVsopScvNXPvAC9pg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=riseup.net header.s=squak header.b=bfz45ojg; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=none) header.from=riseup.net ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1689378466; h=from:from:sender:sender: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:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=WKbeJAr7BXLjtF/hchraluPd4HeFekA1hHq/Ip0A4Ko=; b=YnpCvO+YIt/6s22UBWB/RWMeOTTDVZ4HM6oovK/9IjWgHBaJq4s36J0xhUUbI3KT9jKLep 9umqsZ97VKm0rZo7+ZXDyJfNsbJSvQm9NYlpHP3Pq8Bh5le4CXny2NZUdB/1gAXHZALAgX QWPuULNTr1dgDXgVlwY8GVcEI87wtW0IAYCQhVLCa6Q5QQ+gX0PZbrkfEaSigqwdfbHFD2 5XmLKjOdogyThM2lx6okyQRfxXgHkgrnH8BPx3ZhLI2/K3/xdmjKwr/00AqV1l9LpAd5i4 8IaB5x16J5xcNxtYkGUcIDsmyj1yyRXttA8ImaDddc4MAvSnT1/+2HGCGVOzxg== Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qKSV2-0008S4-Jr; Fri, 14 Jul 2023 19:47:00 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qKSV1-0008Rw-DI for guix-devel@gnu.org; Fri, 14 Jul 2023 19:46:59 -0400 Received: from mx0.riseup.net ([198.252.153.6]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qKSUy-0002xn-Mk for guix-devel@gnu.org; Fri, 14 Jul 2023 19:46:59 -0400 Received: from fews01-sea.riseup.net (fews01-sea-pn.riseup.net [10.0.1.109]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "mail.riseup.net", Issuer "R3" (not verified)) by mx0.riseup.net (Postfix) with ESMTPS id 4R2p6Q4ZPMz9tNW; Fri, 14 Jul 2023 23:46:54 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=riseup.net; s=squak; t=1689378414; bh=WKbeJAr7BXLjtF/hchraluPd4HeFekA1hHq/Ip0A4Ko=; h=References:From:To:Cc:Subject:Date:In-reply-to:From; b=bfz45ojgmbWR5QHf3DJMFEx6JIfcqE6XuRQumDfuAwBdvA8U3J3CmIuaUZWr+MLuf VS4iI1ytQ8dhbpHOsuPwtslsm/mWN3h/uXnstC8tUxgO28conwmQuyu375eD61eEGq 0AjxLgOWwE0KlRHCo70GgrZDNUzn386mOn7toZ2I= X-Riseup-User-ID: 5693983B699DC98D971FC2632C09D0FFB9123F25DE6426A899AE1B7391AA7FC3 Received: from [127.0.0.1] (localhost [127.0.0.1]) by fews01-sea.riseup.net (Postfix) with ESMTPSA id 4R2p6P6176zJn3Y; Fri, 14 Jul 2023 23:46:53 +0000 (UTC) References: From: Csepp To: Ekaitz Zarraga Cc: guix-devel@gnu.org Subject: Re: Add hare compiler Date: Sat, 15 Jul 2023 01:43:52 +0200 In-reply-to: Message-ID: <87fs5qm4ye.fsf@riseup.net> MIME-Version: 1.0 Content-Type: text/plain Received-SPF: pass client-ip=198.252.153.6; envelope-from=raingloom@riseup.net; helo=mx0.riseup.net X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: guix-devel-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US X-Migadu-Scanner: mx0.migadu.com X-Migadu-Spam-Score: -9.41 X-Spam-Score: -9.41 X-Migadu-Queue-Id: C986D5A1AB X-TUID: hhmVzHkHhalV Ekaitz Zarraga writes: > Hi > > I made a possible package for the Hare compiler: > https://harelang.org/installation/ > > But I'm not sure how we should handle a couple of things. > > The dependencies are propagated while maybe we should mention which are the inputs and set them to be called from the store directly, should we? > And also the way they manage to make the configuration for the compiler driver is adding a config.mk file ourselves. I decided to ignore it and add the config as environment variables in order to simplify the process but I'm not sure if you find any other way that fits better with our needs. > > Also the language is kind of a beta and they don't have a release schedule yet. Are we ok packaging software in that status? > > Thanks, > Ekaitz Doesn't sound any worse than Idris or Vlang and we have packages for both. :shrug: (Also that seL4 microkernel project the Hare folkx are building is cool, I wonder if Guix could run on it. :3)