From patchwork Tue Aug 8 10:09:12 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Ekaitz Zarraga X-Patchwork-Id: 52655 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 1E32627BBE9; Tue, 8 Aug 2023 11:10:27 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 5DA0127BBE2 for ; Tue, 8 Aug 2023 11:10:24 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qTJfB-0005m7-2P; Tue, 08 Aug 2023 06:10:05 -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 1qTJf8-0005kD-KQ for guix-patches@gnu.org; Tue, 08 Aug 2023 06:10:02 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qTJf8-0008Pa-Av for guix-patches@gnu.org; Tue, 08 Aug 2023 06:10:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qTJf8-0006AH-6O for guix-patches@gnu.org; Tue, 08 Aug 2023 06:10:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#64891] [PATCH] gnu: Add hare Resent-From: Ekaitz Zarraga Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 08 Aug 2023 10:10:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 64891 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: "(" Cc: 64891@debbugs.gnu.org X-Debbugs-Original-Cc: 64891@debbugs.gnu.org, guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.169148938123667 (code B ref -1); Tue, 08 Aug 2023 10:10:02 +0000 Received: (at submit) by debbugs.gnu.org; 8 Aug 2023 10:09:41 +0000 Received: from localhost ([127.0.0.1]:35281 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qTJen-00069e-1R for submit@debbugs.gnu.org; Tue, 08 Aug 2023 06:09:41 -0400 Received: from lists.gnu.org ([2001:470:142::17]:57184) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qTJek-00069D-Nr for submit@debbugs.gnu.org; Tue, 08 Aug 2023 06:09:39 -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 1qTJef-0005Ty-Hf for guix-patches@gnu.org; Tue, 08 Aug 2023 06:09:33 -0400 Received: from mail-4317.proton.ch ([185.70.43.17]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qTJeb-0008M6-8H for guix-patches@gnu.org; Tue, 08 Aug 2023 06:09:33 -0400 Date: Tue, 08 Aug 2023 10:09:12 +0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=elenq.tech; s=protonmail2; t=1691489365; x=1691748565; bh=tG5a8Ga51HEm7TrrBcrWLSh6QKbDg/SPsarcpRqm2iw=; h=Date:To:From:Cc:Subject:Message-ID:In-Reply-To:References: Feedback-ID:From:To:Cc:Date:Subject:Reply-To:Feedback-ID: Message-ID:BIMI-Selector; b=f1N89stiSZCa8eZdlDSpsOV7LGGVyaXdtfuft0Apd3IjjNffPyJ8/KZvL3TEj3Crk P1h24y1ZlOFU1MCJuq91LhM78FA9qt958btEf/mWafmaM6cEyioc5hMKg7/dDLen01 TsPlKP1UnsWP0ZrK2j1tpcOcmHQGUjOnEYEwLK6wNV7iCFOLvUz6VRmS0QgAsLszn4 RrewUbtQRmes76L+j7eEm1oWq6GrdpS9Ay6btxGHCcw53cyzERQmRZzr+V9iTFTnZU msHhbpCXY9Ld1BMuZ19AI8SEMWAiK/z3h8THAl3iC2b7eCVsIB5zjOmKonim5qv2fm UXTg1kk+21ZWg== From: Ekaitz Zarraga Message-ID: In-Reply-To: <87edkst6ma.fsf@disroot.org> References: <87edkst6ma.fsf@disroot.org> Feedback-ID: 3263582:user:proton MIME-Version: 1.0 Received-SPF: pass client-ip=185.70.43.17; envelope-from=ekaitz@elenq.tech; helo=mail-4317.proton.ch X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 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_MSPIKE_H5=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action 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+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches Hi, I applied most of the proposed changes to the hare package, and I split the commit in two. I talked with the devs and we need to propagate at least those variables because the config.mk file is not persisting the values. We'll patch that upstream later. Best, Ekaitz From f247e52e2190fbb319cf50184a22f605a043dede Mon Sep 17 00:00:00 2001 Message-ID: In-Reply-To: <110a6af0295bbfc148577ce655428ffebbcb9327.1691486188.git.ekaitz@elenq.tech> References: <110a6af0295bbfc148577ce655428ffebbcb9327.1691486188.git.ekaitz@elenq.tech> From: Ekaitz Zarraga Date: Tue, 8 Aug 2023 01:42:57 +0200 Subject: [PATCH 2/2] gnu: Add hare * gnu/packages/hare.scm (hare): New variable --- gnu/packages/hare.scm | 41 +++++++++++++++++++++++++++++++++++++++++ 1 file changed, 41 insertions(+) diff --git a/gnu/packages/hare.scm b/gnu/packages/hare.scm index da5820510a..a73126096b 100644 --- a/gnu/packages/hare.scm +++ b/gnu/packages/hare.scm @@ -65,3 +65,44 @@ (define-public harec If you want to code in Hare, @code{hare} package is recommended.") (home-page "https://git.sr.ht/~sircmpwn/harec") (license license:gpl3)))) + + +(define-public hare + (let ((revision "1") + (commit "0919412be13703235c7deabdb6216254e4a39432")) + (package + (name "hare") + (version (git-version "0.0.1" revision commit)) + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://git.sr.ht/~sircmpwn/hare") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 "042dxdcnk9fwgcfkd1iac8q944qsq6qb1c8v1s12ixybc3nmnnva")))) + (native-inputs (list scdoc)) + (propagated-inputs (list qbe harec)) + (build-system gnu-build-system) + (arguments + (list + #:make-flags + #~(list "HARECACHE=./cache" + (string-append "PREFIX=" #$output)) + #:phases + #~(modify-phases %standard-phases + (replace 'configure + (lambda* (#:key inputs #:allow-other-keys) + (rename-file "config.example.mk" "config.mk")))))) + (native-search-paths + (list (search-path-specification + (variable "HAREPATH") + (files (list "src/hare/stdlib" "src/hare/third-party"))))) + (synopsis "Systems programming language") + (description "Hare is a systems programming language designed to be +simple, stable, and robust. It uses a static type system, manual memory +management, and a minimal runtime. This package provides the compiler, the +compiler driver and the standard library.") + (home-page "https://git.sr.ht/~sircmpwn/hare") + (license license:gpl3)))) -- 2.41.0