From unknown Fri Sep 19 21:29:42 2025 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: Thu, 27 Jul 2023 08:37:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 64891 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 64891@debbugs.gnu.org X-Debbugs-Original-To: "guix-patches@gnu.org" Received: via spool by submit@debbugs.gnu.org id=B.16904469746883 (code B ref -1); Thu, 27 Jul 2023 08:37:01 +0000 Received: (at submit) by debbugs.gnu.org; 27 Jul 2023 08:36:14 +0000 Received: from localhost ([127.0.0.1]:40705 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qOwTm-0001mx-1l for submit@debbugs.gnu.org; Thu, 27 Jul 2023 04:36:14 -0400 Received: from lists.gnu.org ([2001:470:142::17]:50650) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qOwTi-0001mi-QX for submit@debbugs.gnu.org; Thu, 27 Jul 2023 04:36:12 -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 1qOwTc-0004vt-7d for guix-patches@gnu.org; Thu, 27 Jul 2023 04:36:04 -0400 Received: from mail-0301.mail-europe.com ([188.165.51.139]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qOwTY-0001kk-7A for guix-patches@gnu.org; Thu, 27 Jul 2023 04:36:03 -0400 Date: Thu, 27 Jul 2023 08:35:45 +0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=elenq.tech; s=protonmail2; t=1690446953; x=1690706153; bh=JD+smJ5pZ9YdH522XMJ9dGTJBAF4+jCFlV9SlHHRhD8=; h=Date:To:From:Subject:Message-ID:Feedback-ID:From:To:Cc:Date: Subject:Reply-To:Feedback-ID:Message-ID:BIMI-Selector; b=Y/YVuowluCHTCwWe0jk75w/xfWJxpgAXColjFEwUtKxd8fYNsmqVLm7PQTvQopI+A cYcQKt1/7saKaMcy2tbvTcZWFhbPC5kce+BUMMq37hAKhm5uPOsMhEG6rh//0i9ilY mhdP7wUuBr9jcPMaxaV5rBSyziK/zrRGU2jrEhVi4NJnNsi1LdTNoUPNxVRT8uPfYs CaLzZ9wK7Cc/cGWgp6KDIwC0JViSN2Y85ANwWqNXMkQADQV2Ft8Wluxpnovu4fk29n 8GEG5AIScJHYsufFjkVFlw/tvS89Vr/8ATSKRtH0qg3kpRmfTstp8wSdDWK6/DoIF/ c49/bqqd72gdg== From: Ekaitz Zarraga Message-ID: Feedback-ID: 3263582:user:proton MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=188.165.51.139; envelope-from=ekaitz@elenq.tech; helo=mail-0301.mail-europe.com 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_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: 1.0 (+) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.0 (/) >From 308b67848e93a25f627dd64e024e9a501979a157 Mon Sep 17 00:00:00 2001 Message-Id: <308b67848e93a25f627dd64e024e9a501979a157.1689368739.git.ekaitz= @elenq.tech> From: Ekaitz Zarraga Date: Fri, 14 Jul 2023 22:52:59 +0200 Subject: [PATCH] gnu: Add hare * gnu/packages/hare.scm (hare, harec): New variable. * gnu/local.mk: Add hare.scm --- gnu/local.mk | 2 + gnu/packages/hare.scm | 104 ++++++++++++++++++++++++++++++++++++++++++ 2 files changed, 106 insertions(+) create mode 100644 gnu/packages/hare.scm diff --git a/gnu/local.mk b/gnu/local.mk index 06a376a99a..4d1645c595 100644 --- a/gnu/local.mk +++ b/gnu/local.mk @@ -59,6 +59,7 @@ # Copyright =C2=A9 2023 Zheng Junjie <873216071@qq.com> # Copyright =C2=A9 2023 Ivana Drazovic # Copyright =C2=A9 2023 Andy Tai +# Copyright =C2=A9 2023 Ekaitz Zarraga # # This file is part of GNU Guix. # @@ -314,6 +315,7 @@ GNU_SYSTEM_MODULES =3D=09=09=09=09\ %D%/packages/gv.scm=09=09=09=09\ %D%/packages/gxmessage.scm=09=09=09\ %D%/packages/hardware.scm=09=09=09\ + %D%/packages/hare.scm=09=09=09=09\ %D%/packages/haskell.scm=09=09=09\ %D%/packages/haskell-apps.scm=09=09=09\ %D%/packages/haskell-check.scm=09=09\ diff --git a/gnu/packages/hare.scm b/gnu/packages/hare.scm new file mode 100644 index 0000000000..0c65463e92 --- /dev/null +++ b/gnu/packages/hare.scm @@ -0,0 +1,104 @@ +;;; GNU Guix --- Functional package management for GNU +;;; Copyright =C2=A9 2023 Ekaitz Zarraga +;;; +;;; This file is part of GNU Guix. +;;; +;;; GNU Guix is free software; you can redistribute it and/or modify it +;;; under the terms of the GNU General Public License as published by +;;; the Free Software Foundation; either version 3 of the License, or (at +;;; your option) any later version. +;;; +;;; GNU Guix is distributed in the hope that it will be useful, but +;;; WITHOUT ANY WARRANTY; without even the implied warranty of +;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +;;; GNU General Public License for more details. +;;; +;;; You should have received a copy of the GNU General Public License +;;; along with GNU Guix. If not, see . + +(define-module (gnu packages hare) + #:use-module (guix packages) + #:use-module (guix utils) + #:use-module (guix git-download) + #:use-module ((guix licenses) #:prefix license:) + #:use-module (guix build-system gnu) + #:use-module (gnu packages) + #:use-module (gnu packages c) + #:use-module (gnu packages man)) + +(define-public harec + (let ((revision "1") + (commit "f5da14c17f734f0bba5a741997b79d3e65a87712")) + (package + (name "harec") + (version (git-version "0.0.1" revision commit)) + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://git.sr.ht/~sircmpwn/harec") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 "1xdf9pdwy5dvxhgvw6hqkpnjl8z76xc413vsnbbqfvwmfing53yn"= )))) + (build-system gnu-build-system) + (arguments + `(#:phases + (modify-phases %standard-phases + (add-before 'configure 'setenv + (lambda _ + (setenv "CC" ,(cc-for-target)))) + (add-after 'configure 'configure-better + (lambda* (#:key outputs #:allow-other-keys) + (invoke "./configure" + (string-append "--prefix=3D" (assoc-ref outputs "o= ut"))))) + (delete 'configure)))) + (inputs (list qbe scdoc)) + (synopsis "Bootstrapping compiler for Hare") + (description "Hare is a systems programming language designed to be +simple, stable, and robust. Hare uses a static type system, manual memory +management, and a minimal runtime. It is well-suited to writing operating +systems, system tools, compilers, networking software, and other low-level= , +high performance tasks.") + (home-page "https://git.sr.ht/~sircmpwn/harec") + (license license:gpl3)))) + + +(define-public hare + (let ((revision "1") + (commit "112b75eb56d98c442094966fe59cbf3cd5feb909")) + (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 version))) + (file-name (git-file-name name version)) + (sha256 + (base32 "0ilnz56757k4v0ggdc2v4xsjw0c944y8r289nfmqhw4hwzsrvb4j"= )))) + (inputs (list scdoc)) + (propagated-inputs (list qbe harec)) + (build-system gnu-build-system) + (arguments + `(#:make-flags `("HARECACHE=3D./cache" + ,(string-append "PREFIX=3D" (assoc-ref %outputs "= out"))) + #:phases + (modify-phases %standard-phases + (add-before 'configure 'configure-make + (lambda _ + ;; NOTE: We are not really using this because overwriting = it via + ;; `make-flags` is way easier with our tooling. + ;; Maybe we should? + (copy-file "config.example.mk" "config.mk"))) + (delete 'configure)))) + (synopsis "Hare build driver") + (description "Hare is a systems programming language designed to be +simple, stable, and robust. Hare uses a static type system, manual memory +management, and a minimal runtime. It is well-suited to writing operating +systems, system tools, compilers, networking software, and other low-level= , +high performance tasks.") + (home-page "https://git.sr.ht/~sircmpwn/hare") + (license license:gpl3)))) base-commit: 917a299831361f253ea664f009176b4bbe06900a --=20 2.39.2 From unknown Fri Sep 19 21:29:42 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#64891] [PATCH] gnu: Add hare Resent-From: "(" Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 28 Jul 2023 14:23:01 +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: Ekaitz Zarraga 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.169055414810103 (code B ref -1); Fri, 28 Jul 2023 14:23:01 +0000 Received: (at submit) by debbugs.gnu.org; 28 Jul 2023 14:22:28 +0000 Received: from localhost ([127.0.0.1]:45848 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qPOMN-0002ct-QD for submit@debbugs.gnu.org; Fri, 28 Jul 2023 10:22:28 -0400 Received: from lists.gnu.org ([2001:470:142::17]:45938) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qPOMM-0002ca-9M for submit@debbugs.gnu.org; Fri, 28 Jul 2023 10:22:26 -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 1qPOMG-0000rm-T7 for guix-patches@gnu.org; Fri, 28 Jul 2023 10:22:20 -0400 Received: from knopi.disroot.org ([178.21.23.139]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qPOME-0003Xv-OI for guix-patches@gnu.org; Fri, 28 Jul 2023 10:22:20 -0400 Received: from localhost (localhost [127.0.0.1]) by disroot.org (Postfix) with ESMTP id 1F4954100B; Fri, 28 Jul 2023 16:22:15 +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 LD7UFjYlQTfN; Fri, 28 Jul 2023 16:22:13 +0200 (CEST) References: DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=disroot.org; s=mail; t=1690554133; bh=/3223tYMH0nXfNNU0VS9OJR9T8eZM5HKUSeFz2yAkKM=; h=References:From:To:Cc:Subject:Date:In-reply-to; b=A4hSbiW8ZW5I2i0axzOdKPbuHeyWKOgojEkkumvPbPLh2AQlWdE83GvZM3rWXWmyP cZ/iLdL4sjG48rgMjsIiBlwJSJVFXpq+ZDCTyVjbkpW2mBa1bhSU27GcAQZQifn7s8 8WkwRxpBhvy8MWm2L48bWzSzH25B24FscfQhWPN61t6vVKEPo+CeX4FhnMivmJacIC UAxuXxUnV6wF/p/7vhhUZP0/61Q7Eff9HyNG1IbDuihdjaidpAYqzxPKbmfhzgkmWh RPXY6CJr5bmKHYuIEYYHKxYxj+wVuetXsZTf/BtnUm28qILI+uzhFwcIvuRcd0nXRB Y9dERXakdcCkg== From: "(" Date: Fri, 28 Jul 2023 14:14:46 +0100 In-reply-to: Message-ID: <87ila4t8tq.fsf@disroot.org> MIME-Version: 1.0 Content-Type: text/plain Received-SPF: pass client-ip=178.21.23.139; envelope-from=paren@disroot.org; helo=knopi.disroot.org 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, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: 0.9 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.1 (/) Hi! Ekaitz Zarraga writes: > * gnu/packages/hare.scm (hare, harec): New variable. > * gnu/local.mk: Add hare.scm :) > + (sha256 > + (base32 "1xdf9pdwy5dvxhgvw6hqkpnjl8z76xc413vsnbbqfvwmfing53yn")))) ^ Odd spacing here. > + (build-system gnu-build-system) > + (arguments > + `(#:phases Please use gexps and LIST for any new packages. > + (modify-phases %standard-phases > + (add-before 'configure 'setenv > + (lambda _ > + (setenv "CC" ,(cc-for-target)))) Hmm. In my version of the package[1], I also have: (setenv "AR" #$(ar-for-target)) (setenv "LD" #$(ld-for-target)) Not sure why I added those, though. Maybe try cross-compiling both packages? Perhaps these lines are needed for that... > + (add-after 'configure 'configure-better > + (lambda* (#:key outputs #:allow-other-keys) > + (invoke "./configure" > + (string-append "--prefix=" (assoc-ref outputs "out"))))) > + (delete 'configure)))) You could just (replace 'configure ...) instead :) > +simple, stable, and robust. Hare uses a static type system, manual memory s/Hare/It/ in this line, maybe? > +(define-public hare Each package should have its own commit, remember. > + (let ((revision "1") > + (commit "112b75eb56d98c442094966fe59cbf3cd5feb909")) ^ Rouge space. > + (sha256 > + (base32 "0ilnz56757k4v0ggdc2v4xsjw0c944y8r289nfmqhw4hwzsrvb4j")))) ^ Another. > + (inputs (list scdoc)) scdoc should be a native-input. > + (propagated-inputs (list qbe harec)) Might be an idea to make QBE and harec regular inputs, using substitute* to replace any invocations of their binaries within the code with the full /gnu/store/.../bin/blah path. Propagated inputs should be avoided where possible, even if it makes the package definition a little more complex. > + (arguments > + `(#:make-flags `("HARECACHE=./cache" > + ,(string-append "PREFIX=" (assoc-ref %outputs "out"))) Again, please use gexps within LIST, and replace ``(assoc-ref %outputs "out")'' with ``#$output''. > + #:phases > + (modify-phases %standard-phases > + (add-before 'configure 'configure-make > + (lambda _ > + ;; NOTE: We are not really using this because overwriting it via > + ;; `make-flags` is way easier with our tooling. > + ;; Maybe we should? No, I think what you do here is fine. > + (copy-file "config.example.mk" "config.mk"))) You can use RENAME-FILE rather than COPY-FILE here. > + (delete 'configure)))) Again, please just use REPLACE; it's simpler. > + (synopsis "Hare build driver") Maybe "Build driver for the Hare language"? "Hare build driver" is almost a bit *too* short, IMO. > + (description "Hare is a systems programming language designed to be > +simple, stable, and robust. Hare uses a static type system, manual memory > +management, and a minimal runtime. It is well-suited to writing operating > +systems, system tools, compilers, networking software, and other low-level, > +high performance tasks.") Perhaps trim the language description down a bit and add a sentence or two about what *this specific tool* does. -- ( From unknown Fri Sep 19 21:29:42 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#64891] [PATCH] gnu: Add hare Resent-From: "(" Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 28 Jul 2023 15:10:01 +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: Ekaitz Zarraga Cc: 64891@debbugs.gnu.org X-Debbugs-Original-Cc: 64891@debbugs.gnu.org, guix-patches@gnu.org Received: via spool by 64891-submit@debbugs.gnu.org id=B64891.169055699824385 (code B ref 64891); Fri, 28 Jul 2023 15:10:01 +0000 Received: (at 64891) by debbugs.gnu.org; 28 Jul 2023 15:09:58 +0000 Received: from localhost ([127.0.0.1]:45877 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qPP6L-0006LF-IC for submit@debbugs.gnu.org; Fri, 28 Jul 2023 11:09:57 -0400 Received: from knopi.disroot.org ([178.21.23.139]:39048) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qPP6J-0006L3-DF for 64891@debbugs.gnu.org; Fri, 28 Jul 2023 11:09:56 -0400 Received: from localhost (localhost [127.0.0.1]) by disroot.org (Postfix) with ESMTP id CEE9940D34; Fri, 28 Jul 2023 17:09:51 +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 XcAALf-55mBg; Fri, 28 Jul 2023 17:09:50 +0200 (CEST) References: DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=disroot.org; s=mail; t=1690556990; bh=e0bjekMCzq0S4S/RPOH6/Fx5RwV2Qdj8ome8DumLEXw=; h=References:From:To:Cc:Subject:Date:In-reply-to; b=cQb1LzIFpJLYZikl+FTRUe6QkvchDDXymLggPyme42TmdpP9SI7dVU1//aQQLg3Ra ZkvaJ7fPx9brkqwG3zh7YMB/XeMUVsahtXbTWW+HkeiqfWbT/87GubbH+RJ/AjTGVv EoPFA11qO47JB8rJHVmpXFMSVO9VHEJqReeXsixgvLwihosB9LJo+M2dZAPh+9/blj Fgl1iTjUaLU0BusvY+cNoQbS+29WeOZgLzGSOLu70kxTRBzjuRAjFmP7fqmsX48Yo2 7iT3Wg8znteWdoPeDnQVEEwn3ue6ABTm3r9ROvNBQ+AnsxqlubSWa0MN9G8brigtLQ /+Qh6lnoDOqxA== From: "(" Date: Fri, 28 Jul 2023 16:08:15 +0100 In-reply-to: Message-ID: <87edkst6ma.fsf@disroot.org> MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Oh, also: Ekaitz Zarraga writes: > + (arguments > + `(#:make-flags `("HARECACHE=./cache" > + ,(string-append "PREFIX=" (assoc-ref %outputs "out"))) > + #:phases > + (modify-phases %standard-phases > + (add-before 'configure 'configure-make > + (lambda _ > + ;; NOTE: We are not really using this because overwriting it via > + ;; `make-flags` is way easier with our tooling. > + ;; Maybe we should? > + (copy-file "config.example.mk" "config.mk"))) > + (delete 'configure)))) You'll probably want to add this just after this point: (native-search-paths (list (search-path-specification (variable "HAREPATH") (files (list "src/hare/stdlib" "src/hare/third-party"))))) -- ( From unknown Fri Sep 19 21:29:42 2025 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 Content-Type: multipart/mixed; boundary="b1_7XaOJiDL3vpKdUEC9yZAWiSmn7VyHDns8inm7QnRdw" 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-Spam-Score: 1.0 (+) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.0 (/) This is a multi-part message in MIME format. --b1_7XaOJiDL3vpKdUEC9yZAWiSmn7VyHDns8inm7QnRdw Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable 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 be= cause the config.mk file is not persisting the values. We'll patch that ups= tream later. Best, Ekaitz --b1_7XaOJiDL3vpKdUEC9yZAWiSmn7VyHDns8inm7QnRdw Content-Type: text/x-patch; name=0001-gnu-Add-harec.patch Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename=0001-gnu-Add-harec.patch RnJvbSAxMTBhNmFmMDI5NWJiZmMxNDg1NzdjZTY1NTQyOGZmZWJiY2I5MzI3IE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpNZXNzYWdlLUlEOiA8MTEwYTZhZjAyOTViYmZjMTQ4NTc3Y2U2NTU0Mjhm ZmViYmNiOTMyNy4xNjkxNDg2MTg4LmdpdC5la2FpdHpAZWxlbnEudGVjaD4KRnJvbTogRWthaXR6 IFphcnJhZ2EgPGVrYWl0ekBlbGVucS50ZWNoPgpEYXRlOiBTYXQsIDI5IEp1bCAyMDIzIDEzOjA5 OjI1ICswMjAwClN1YmplY3Q6IFtQQVRDSCAxLzJdIGdudTogQWRkIGhhcmVjCgoqIGdudS9wYWNr YWdlcy9oYXJlLnNjbSAoaGFyZWMpOiBOZXcgdmFyaWFibGUuCiogZ251L2xvY2FsLm1rOiBBZGQg aGFyZS5zY20KLS0tCiBnbnUvbG9jYWwubWsgICAgICAgICAgfCAgMiArKwogZ251L3BhY2thZ2Vz L2hhcmUuc2NtIHwgNjcgKysrKysrKysrKysrKysrKysrKysrKysrKysrKysrKysrKysrKysrKysr KwogMiBmaWxlcyBjaGFuZ2VkLCA2OSBpbnNlcnRpb25zKCspCiBjcmVhdGUgbW9kZSAxMDA2NDQg Z251L3BhY2thZ2VzL2hhcmUuc2NtCgpkaWZmIC0tZ2l0IGEvZ251L2xvY2FsLm1rIGIvZ251L2xv Y2FsLm1rCmluZGV4IDA2YTM3NmE5OWEuLjRkMTY0NWM1OTUgMTAwNjQ0Ci0tLSBhL2dudS9sb2Nh bC5taworKysgYi9nbnUvbG9jYWwubWsKQEAgLTU5LDYgKzU5LDcgQEAKICMgQ29weXJpZ2h0IMKp IDIwMjMgWmhlbmcgSnVuamllIDw4NzMyMTYwNzFAcXEuY29tPgogIyBDb3B5cmlnaHQgwqkgMjAy MyBJdmFuYSBEcmF6b3ZpYyA8aXYuZHJhQGhvdG1haWwuY29tPgogIyBDb3B5cmlnaHQgwqkgMjAy MyBBbmR5IFRhaSA8YXRhaUBhdGFpLm9yZz4KKyMgQ29weXJpZ2h0IMKpIDIwMjMgRWthaXR6IFph cnJhZ2EgPGVrYWl0ekBlbGVucS50ZWNoPgogIwogIyBUaGlzIGZpbGUgaXMgcGFydCBvZiBHTlUg R3VpeC4KICMKQEAgLTMxNCw2ICszMTUsNyBAQCBHTlVfU1lTVEVNX01PRFVMRVMgPQkJCQlcCiAg ICVEJS9wYWNrYWdlcy9ndi5zY20JCQkJXAogICAlRCUvcGFja2FnZXMvZ3htZXNzYWdlLnNjbQkJ CVwKICAgJUQlL3BhY2thZ2VzL2hhcmR3YXJlLnNjbQkJCVwKKyAgJUQlL3BhY2thZ2VzL2hhcmUu c2NtCQkJCVwKICAgJUQlL3BhY2thZ2VzL2hhc2tlbGwuc2NtCQkJXAogICAlRCUvcGFja2FnZXMv aGFza2VsbC1hcHBzLnNjbQkJCVwKICAgJUQlL3BhY2thZ2VzL2hhc2tlbGwtY2hlY2suc2NtCQlc CmRpZmYgLS1naXQgYS9nbnUvcGFja2FnZXMvaGFyZS5zY20gYi9nbnUvcGFja2FnZXMvaGFyZS5z Y20KbmV3IGZpbGUgbW9kZSAxMDA2NDQKaW5kZXggMDAwMDAwMDAwMC4uZGE1ODIwNTEwYQotLS0g L2Rldi9udWxsCisrKyBiL2dudS9wYWNrYWdlcy9oYXJlLnNjbQpAQCAtMCwwICsxLDY3IEBACis7 OzsgR05VIEd1aXggLS0tIEZ1bmN0aW9uYWwgcGFja2FnZSBtYW5hZ2VtZW50IGZvciBHTlUKKzs7 OyBDb3B5cmlnaHQgwqkgMjAyMyBFa2FpdHogWmFycmFnYSA8ZWthaXR6QGVsZW5xLnRlY2g+Cis7 OzsKKzs7OyBUaGlzIGZpbGUgaXMgcGFydCBvZiBHTlUgR3VpeC4KKzs7OworOzs7IEdOVSBHdWl4 IGlzIGZyZWUgc29mdHdhcmU7IHlvdSBjYW4gcmVkaXN0cmlidXRlIGl0IGFuZC9vciBtb2RpZnkg aXQKKzs7OyB1bmRlciB0aGUgdGVybXMgb2YgdGhlIEdOVSBHZW5lcmFsIFB1YmxpYyBMaWNlbnNl IGFzIHB1Ymxpc2hlZCBieQorOzs7IHRoZSBGcmVlIFNvZnR3YXJlIEZvdW5kYXRpb247IGVpdGhl ciB2ZXJzaW9uIDMgb2YgdGhlIExpY2Vuc2UsIG9yIChhdAorOzs7IHlvdXIgb3B0aW9uKSBhbnkg bGF0ZXIgdmVyc2lvbi4KKzs7OworOzs7IEdOVSBHdWl4IGlzIGRpc3RyaWJ1dGVkIGluIHRoZSBo b3BlIHRoYXQgaXQgd2lsbCBiZSB1c2VmdWwsIGJ1dAorOzs7IFdJVEhPVVQgQU5ZIFdBUlJBTlRZ OyB3aXRob3V0IGV2ZW4gdGhlIGltcGxpZWQgd2FycmFudHkgb2YKKzs7OyBNRVJDSEFOVEFCSUxJ VFkgb3IgRklUTkVTUyBGT1IgQSBQQVJUSUNVTEFSIFBVUlBPU0UuICBTZWUgdGhlCis7OzsgR05V IEdlbmVyYWwgUHVibGljIExpY2Vuc2UgZm9yIG1vcmUgZGV0YWlscy4KKzs7OworOzs7IFlvdSBz aG91bGQgaGF2ZSByZWNlaXZlZCBhIGNvcHkgb2YgdGhlIEdOVSBHZW5lcmFsIFB1YmxpYyBMaWNl bnNlCis7OzsgYWxvbmcgd2l0aCBHTlUgR3VpeC4gIElmIG5vdCwgc2VlIDxodHRwOi8vd3d3Lmdu dS5vcmcvbGljZW5zZXMvPi4KKworKGRlZmluZS1tb2R1bGUgKGdudSBwYWNrYWdlcyBoYXJlKQor ICAjOnVzZS1tb2R1bGUgKGd1aXggcGFja2FnZXMpCisgICM6dXNlLW1vZHVsZSAoZ3VpeCBnZXhw KQorICAjOnVzZS1tb2R1bGUgKGd1aXggdXRpbHMpCisgICM6dXNlLW1vZHVsZSAoZ3VpeCBnaXQt ZG93bmxvYWQpCisgICM6dXNlLW1vZHVsZSAoKGd1aXggbGljZW5zZXMpICM6cHJlZml4IGxpY2Vu c2U6KQorICAjOnVzZS1tb2R1bGUgKGd1aXggYnVpbGQtc3lzdGVtIGdudSkKKyAgIzp1c2UtbW9k dWxlIChnbnUgcGFja2FnZXMpCisgICM6dXNlLW1vZHVsZSAoZ251IHBhY2thZ2VzIGMpCisgICM6 dXNlLW1vZHVsZSAoZ251IHBhY2thZ2VzIG1hbikpCisKKyhkZWZpbmUtcHVibGljIGhhcmVjCisg IChsZXQgKChyZXZpc2lvbiAiMSIpCisgICAgICAgIChjb21taXQgImY1ZGExNGMxN2Y3MzRmMGJi YTVhNzQxOTk3Yjc5ZDNlNjVhODc3MTIiKSkKKyAgICAocGFja2FnZQorICAgICAgKG5hbWUgImhh cmVjIikKKyAgICAgICh2ZXJzaW9uIChnaXQtdmVyc2lvbiAiMC4wLjEiIHJldmlzaW9uIGNvbW1p dCkpCisgICAgICAoc291cmNlCisgICAgICAgIChvcmlnaW4KKyAgICAgICAgICAobWV0aG9kIGdp dC1mZXRjaCkKKyAgICAgICAgICAodXJpIChnaXQtcmVmZXJlbmNlCisgICAgICAgICAgICAgICAg ICh1cmwgImh0dHBzOi8vZ2l0LnNyLmh0L35zaXJjbXB3bi9oYXJlYyIpCisgICAgICAgICAgICAg ICAgIChjb21taXQgY29tbWl0KSkpCisgICAgICAgICAgKGZpbGUtbmFtZSAoZ2l0LWZpbGUtbmFt ZSBuYW1lIHZlcnNpb24pKQorICAgICAgICAgIChzaGEyNTYKKyAgICAgICAgICAgKGJhc2UzMiAi MXhkZjlwZHd5NWR2eGhndnc2aHFrcG5qbDh6NzZ4YzQxM3ZzbmJicWZ2d21maW5nNTN5biIpKSkp CisgICAgICAoYnVpbGQtc3lzdGVtIGdudS1idWlsZC1zeXN0ZW0pCisgICAgICAoYXJndW1lbnRz CisgICAgICAgIChsaXN0CisgICAgICAgICAgIzpwaGFzZXMKKyAgICAgICAgICAjfihtb2RpZnkt cGhhc2VzICVzdGFuZGFyZC1waGFzZXMKKyAgICAgICAgICAgICAgKGFkZC1iZWZvcmUgJ2NvbmZp Z3VyZSAnc2V0ZW52CisgICAgICAgICAgICAgICAgKGxhbWJkYSogKCM6a2V5IGlucHV0cyAjOmFs bG93LW90aGVyLWtleXMpCisgICAgICAgICAgICAgICAgICAoc2V0ZW52ICJBUiIgIyQoYXItZm9y LXRhcmdldCkpCisgICAgICAgICAgICAgICAgICAoc2V0ZW52ICJMRCIgIyQobGQtZm9yLXRhcmdl dCkpCisgICAgICAgICAgICAgICAgICAoc2V0ZW52ICJDQyIgIyQoY2MtZm9yLXRhcmdldCkpKSkK KyAgICAgICAgICAgICAgKHJlcGxhY2UgJ2NvbmZpZ3VyZQorICAgICAgICAgICAgICAgIChsYW1i ZGEqICgjOmtleSBvdXRwdXRzICM6YWxsb3ctb3RoZXIta2V5cykKKyAgICAgICAgICAgICAgICAg IChpbnZva2UgIi4vY29uZmlndXJlIgorICAgICAgICAgICAgICAgICAgICAoc3RyaW5nLWFwcGVu ZCAiLS1wcmVmaXg9IiAjJG91dHB1dCkpKSkpKSkKKyAgICAgIChuYXRpdmUtaW5wdXRzIChsaXN0 IHNjZG9jKSkKKyAgICAgIChpbnB1dHMgKGxpc3QgcWJlKSkKKyAgICAgIChzeW5vcHNpcyAiQm9v dHN0cmFwcGluZyBjb21waWxlciBmb3IgSGFyZSBsYW5ndWFnZSIpCisgICAgICAoZGVzY3JpcHRp b24gIkhhcmUgaXMgYSBzeXN0ZW1zIHByb2dyYW1taW5nIGxhbmd1YWdlIGRlc2lnbmVkIHRvIGJl CitzaW1wbGUsIHN0YWJsZSwgYW5kIHJvYnVzdC4gIEl0IHVzZXMgYSBzdGF0aWMgdHlwZSBzeXN0 ZW0sIG1hbnVhbCBtZW1vcnkKK21hbmFnZW1lbnQsIGFuZCBhIG1pbmltYWwgcnVudGltZS4gIFRo aXMgcGFja2FnZSBwcm92aWRlcyBvbmx5IHRoZSBjb21waWxlci4KK0lmIHlvdSB3YW50IHRvIGNv ZGUgaW4gSGFyZSwgQGNvZGV7aGFyZX0gcGFja2FnZSBpcyByZWNvbW1lbmRlZC4iKQorICAgICAg KGhvbWUtcGFnZSAiaHR0cHM6Ly9naXQuc3IuaHQvfnNpcmNtcHduL2hhcmVjIikKKyAgICAgIChs aWNlbnNlIGxpY2Vuc2U6Z3BsMykpKSkKCmJhc2UtY29tbWl0OiA5MTdhMjk5ODMxMzYxZjI1M2Vh NjY0ZjAwOTE3NmI0YmJlMDY5MDBhCi0tIAoyLjQxLjAKCg== --b1_7XaOJiDL3vpKdUEC9yZAWiSmn7VyHDns8inm7QnRdw Content-Type: text/x-patch; name=0002-gnu-Add-hare.patch Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename=0002-gnu-Add-hare.patch RnJvbSBmMjQ3ZTUyZTIxOTBmYmIzMTljZjUwMTg0YTIyZjYwNWEwNDNkZWRlIE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpNZXNzYWdlLUlEOiA8ZjI0N2U1MmUyMTkwZmJiMzE5Y2Y1MDE4NGEyMmY2 MDVhMDQzZGVkZS4xNjkxNDg2MTg4LmdpdC5la2FpdHpAZWxlbnEudGVjaD4KSW4tUmVwbHktVG86 IDwxMTBhNmFmMDI5NWJiZmMxNDg1NzdjZTY1NTQyOGZmZWJiY2I5MzI3LjE2OTE0ODYxODguZ2l0 LmVrYWl0ekBlbGVucS50ZWNoPgpSZWZlcmVuY2VzOiA8MTEwYTZhZjAyOTViYmZjMTQ4NTc3Y2U2 NTU0MjhmZmViYmNiOTMyNy4xNjkxNDg2MTg4LmdpdC5la2FpdHpAZWxlbnEudGVjaD4KRnJvbTog RWthaXR6IFphcnJhZ2EgPGVrYWl0ekBlbGVucS50ZWNoPgpEYXRlOiBUdWUsIDggQXVnIDIwMjMg MDE6NDI6NTcgKzAyMDAKU3ViamVjdDogW1BBVENIIDIvMl0gZ251OiBBZGQgaGFyZQoKKiBnbnUv cGFja2FnZXMvaGFyZS5zY20gKGhhcmUpOiBOZXcgdmFyaWFibGUKLS0tCiBnbnUvcGFja2FnZXMv aGFyZS5zY20gfCA0MSArKysrKysrKysrKysrKysrKysrKysrKysrKysrKysrKysrKysrKysrKwog MSBmaWxlIGNoYW5nZWQsIDQxIGluc2VydGlvbnMoKykKCmRpZmYgLS1naXQgYS9nbnUvcGFja2Fn ZXMvaGFyZS5zY20gYi9nbnUvcGFja2FnZXMvaGFyZS5zY20KaW5kZXggZGE1ODIwNTEwYS4uYTcz MTI2MDk2YiAxMDA2NDQKLS0tIGEvZ251L3BhY2thZ2VzL2hhcmUuc2NtCisrKyBiL2dudS9wYWNr YWdlcy9oYXJlLnNjbQpAQCAtNjUsMyArNjUsNDQgQEAgKGRlZmluZS1wdWJsaWMgaGFyZWMKIElm IHlvdSB3YW50IHRvIGNvZGUgaW4gSGFyZSwgQGNvZGV7aGFyZX0gcGFja2FnZSBpcyByZWNvbW1l bmRlZC4iKQogICAgICAgKGhvbWUtcGFnZSAiaHR0cHM6Ly9naXQuc3IuaHQvfnNpcmNtcHduL2hh cmVjIikKICAgICAgIChsaWNlbnNlIGxpY2Vuc2U6Z3BsMykpKSkKKworCisoZGVmaW5lLXB1Ymxp YyBoYXJlCisgIChsZXQgKChyZXZpc2lvbiAiMSIpCisgICAgICAgIChjb21taXQgIjA5MTk0MTJi ZTEzNzAzMjM1YzdkZWFiZGI2MjE2MjU0ZTRhMzk0MzIiKSkKKyAgICAocGFja2FnZQorICAgICAg KG5hbWUgImhhcmUiKQorICAgICAgKHZlcnNpb24gKGdpdC12ZXJzaW9uICIwLjAuMSIgcmV2aXNp b24gY29tbWl0KSkKKyAgICAgIChzb3VyY2UKKyAgICAgICAgKG9yaWdpbgorICAgICAgICAgICht ZXRob2QgZ2l0LWZldGNoKQorICAgICAgICAgICh1cmkgKGdpdC1yZWZlcmVuY2UKKyAgICAgICAg ICAgICAgICAgKHVybCAiaHR0cHM6Ly9naXQuc3IuaHQvfnNpcmNtcHduL2hhcmUiKQorICAgICAg ICAgICAgICAgICAoY29tbWl0IGNvbW1pdCkpKQorICAgICAgICAgIChmaWxlLW5hbWUgKGdpdC1m aWxlLW5hbWUgbmFtZSB2ZXJzaW9uKSkKKyAgICAgICAgICAoc2hhMjU2CisgICAgICAgICAgIChi YXNlMzIgIjA0MmR4ZGNuazlmd2djZmtkMWlhYzhxOTQ0cXNxNnFiMWM4djFzMTJpeHliYzNubW5u dmEiKSkpKQorICAgICAgKG5hdGl2ZS1pbnB1dHMgKGxpc3Qgc2Nkb2MpKQorICAgICAgKHByb3Bh Z2F0ZWQtaW5wdXRzIChsaXN0IHFiZSBoYXJlYykpCisgICAgICAoYnVpbGQtc3lzdGVtIGdudS1i dWlsZC1zeXN0ZW0pCisgICAgICAoYXJndW1lbnRzCisgICAgICAgIChsaXN0CisgICAgICAgICAg IzptYWtlLWZsYWdzCisgICAgICAgICAgI34obGlzdCAiSEFSRUNBQ0hFPS4vY2FjaGUiCisgICAg ICAgICAgICAgICAgICAoc3RyaW5nLWFwcGVuZCAiUFJFRklYPSIgIyRvdXRwdXQpKQorICAgICAg ICAgICM6cGhhc2VzCisgICAgICAgICAgI34obW9kaWZ5LXBoYXNlcyAlc3RhbmRhcmQtcGhhc2Vz CisgICAgICAgICAgICAgIChyZXBsYWNlICdjb25maWd1cmUKKyAgICAgICAgICAgICAgICAobGFt YmRhKiAoIzprZXkgaW5wdXRzICM6YWxsb3ctb3RoZXIta2V5cykKKyAgICAgICAgICAgICAgICAg IChyZW5hbWUtZmlsZSAiY29uZmlnLmV4YW1wbGUubWsiICJjb25maWcubWsiKSkpKSkpCisgICAg ICAobmF0aXZlLXNlYXJjaC1wYXRocworICAgICAgICAobGlzdCAoc2VhcmNoLXBhdGgtc3BlY2lm aWNhdGlvbgorICAgICAgICAgICAgICAgICh2YXJpYWJsZSAiSEFSRVBBVEgiKQorICAgICAgICAg ICAgICAgIChmaWxlcyAobGlzdCAic3JjL2hhcmUvc3RkbGliIiAic3JjL2hhcmUvdGhpcmQtcGFy dHkiKSkpKSkKKyAgICAgIChzeW5vcHNpcyAiU3lzdGVtcyBwcm9ncmFtbWluZyBsYW5ndWFnZSIp CisgICAgICAoZGVzY3JpcHRpb24gIkhhcmUgaXMgYSBzeXN0ZW1zIHByb2dyYW1taW5nIGxhbmd1 YWdlIGRlc2lnbmVkIHRvIGJlCitzaW1wbGUsIHN0YWJsZSwgYW5kIHJvYnVzdC4gIEl0IHVzZXMg YSBzdGF0aWMgdHlwZSBzeXN0ZW0sIG1hbnVhbCBtZW1vcnkKK21hbmFnZW1lbnQsIGFuZCBhIG1p bmltYWwgcnVudGltZS4gIFRoaXMgcGFja2FnZSBwcm92aWRlcyB0aGUgY29tcGlsZXIsIHRoZQor Y29tcGlsZXIgZHJpdmVyIGFuZCB0aGUgc3RhbmRhcmQgbGlicmFyeS4iKQorICAgICAgKGhvbWUt cGFnZSAiaHR0cHM6Ly9naXQuc3IuaHQvfnNpcmNtcHduL2hhcmUiKQorICAgICAgKGxpY2Vuc2Ug bGljZW5zZTpncGwzKSkpKQotLSAKMi40MS4wCgo= --b1_7XaOJiDL3vpKdUEC9yZAWiSmn7VyHDns8inm7QnRdw-- From unknown Fri Sep 19 21:29:42 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#64891] [PATCH] gnu: Add hare Resent-From: "(" Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 08 Aug 2023 10:49: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: Ekaitz Zarraga Cc: 64891@debbugs.gnu.org X-Debbugs-Original-Cc: 64891@debbugs.gnu.org, guix-patches@gnu.org Received: via spool by 64891-submit@debbugs.gnu.org id=B64891.169149172828316 (code B ref 64891); Tue, 08 Aug 2023 10:49:02 +0000 Received: (at 64891) by debbugs.gnu.org; 8 Aug 2023 10:48:48 +0000 Received: from localhost ([127.0.0.1]:35321 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qTKGe-0007Ma-3W for submit@debbugs.gnu.org; Tue, 08 Aug 2023 06:48:48 -0400 Received: from [178.21.23.139] (port=51782 helo=knopi.disroot.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qTKGa-0007Lz-2m for 64891@debbugs.gnu.org; Tue, 08 Aug 2023 06:48:45 -0400 Received: from localhost (localhost [127.0.0.1]) by disroot.org (Postfix) with ESMTP id 249E5411F8; Tue, 8 Aug 2023 12:48:43 +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 MNB2D7C6DBgu; Tue, 8 Aug 2023 12:48:42 +0200 (CEST) References: <87edkst6ma.fsf@disroot.org> DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=disroot.org; s=mail; t=1691491722; bh=XlNokWRvrwBFBSORgE+pmLVi9ib35TSPIc6x4Tl/RL4=; h=References:From:To:Cc:Subject:Date:In-reply-to; b=hJTSBkU1Gk947LuGmHX6SQpjh1PmSPoY0cnwozyMTIXXPxFh+hlDxS9j8+bwOI93G 2hrQY2v883XYYtc4plHCAtH8/v/gLUio7AUun+i/q991mE7qfbHI/GWi5r7zJS4AGp A/9mcx/HPWjuo1vn4qHkeBYO6wGAmxEkpyDnVfFzyqFHlNo01vjbjTA66MM9FP3I5Z cMEmbVZLTohxZigiJp/viOvLqoOjHkPCXArkmrGRA9vwgH1mW0+WJjGKbjb5YxD/Z4 8hIq9cc9PqbZ8Y7kHA2VnZ+eVte65g7iY/fovqT2KoZAT+Ldjvvbv/SP905a9K63aj r2SGiYOhFBWtA== From: "(" Date: Tue, 08 Aug 2023 11:43:17 +0100 In-reply-to: Message-ID: <87jzu524ja.fsf@disroot.org> MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: 1.3 (+) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: Ekaitz Zarraga writes: > Hi, > > I applied most of the proposed changes to the hare package, and I split the commit in two. Looks good :) It's easier to read and apply the patches if you send them with 'git send-email' as described by the manual, though: Content analysis details: (1.3 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -0.0 SPF_PASS SPF: sender matches SPF record 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record 1.3 RDNS_NONE Delivered to internal network by a host with no rDNS -0.0 T_SCC_BODY_TEXT_LINE No description available. X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 0.3 (/) Ekaitz Zarraga writes: > Hi, > > I applied most of the proposed changes to the hare package, and I split the commit in two. Looks good :) It's easier to read and apply the patches if you send them with 'git send-email' as described by the manual, though: https://guix.gnu.org/manual/devel/en/html_node/Sending-a-Patch-Series.html > 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. You can still do something like this, surely? (substitute* "foo/bar.ha" (("\"harec\") (search-input-file inputs "/bin/harec")) (("\"qbe\") (search-input-file inputs "/bin/qbe"))) -- ( From unknown Fri Sep 19 21:29:42 2025 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:52: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.169149191628691 (code B ref -1); Tue, 08 Aug 2023 10:52:02 +0000 Received: (at submit) by debbugs.gnu.org; 8 Aug 2023 10:51:56 +0000 Received: from localhost ([127.0.0.1]:35330 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qTKJg-0007Sg-5E for submit@debbugs.gnu.org; Tue, 08 Aug 2023 06:51:56 -0400 Received: from lists.gnu.org ([2001:470:142::17]:46318) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qTKJd-0007SG-Oe for submit@debbugs.gnu.org; Tue, 08 Aug 2023 06:51:54 -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 1qTKJY-0006Fd-I1 for guix-patches@gnu.org; Tue, 08 Aug 2023 06:51:48 -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 1qTKJV-0001Cq-VV for guix-patches@gnu.org; Tue, 08 Aug 2023 06:51:48 -0400 Date: Tue, 08 Aug 2023 10:51:27 +0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=elenq.tech; s=protonmail2; t=1691491902; x=1691751102; bh=2S7IuB2dMOFMOGXckgolll4LByUZG0Ii9nk/9LRz5i0=; 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=WJt2dVQfdNcV4qKpVNkEig3eRYOxdlxuWLo7o/hVj62x5p51phFmmP5N4GxnLB2te 48tlNNNtmyc0WhIEwUHRIGTsd09OVaP3kaprLFd+E3b1N5VTdJwjjxRG+ePLosaebQ QchotCdOp2VrA/BgPl/N013QY3WU18ZeAPFFNMM2q6fflv5hrO12id8aBDlcEOc5jL L5Lug7hl3izjaX5X7n010LeMw3icyvLUnr5AFe4/i1h00Q/10/uOoVIfg0z2QlwpH5 /oKB7/oYaNv2jMOkf7e5gNwrO2TcJGxYVR0jvyMavSbD2ZiTMoHRHdeHnxPXleuRVt Iv6x389smqq5A== From: Ekaitz Zarraga Message-ID: In-Reply-To: <87jzu524ja.fsf@disroot.org> References: <87edkst6ma.fsf@disroot.org> <87jzu524ja.fsf@disroot.org> Feedback-ID: 3263582:user:proton MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable 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-Spam-Score: 1.0 (+) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.0 (/) Hi, > Looks good :) It's easier to read and apply the patches if you send > them with 'git send-email' as described by the manual, though: >=20 > https://guix.gnu.org/manual/devel/en/html_node/Sending-a-Patch-Series.htm= l My email provider doesn't help with that at all. I'm sorry... I have to do = something about it. > > I talked with the devs and we need to propagate at least those variable= s because > > the config.mk file is not persisting the values. We'll patch that upstr= eam > > later. >=20 >=20 > You can still do something like this, surely? >=20 > (substitute* "foo/bar.ha" > (("\"harec\") (search-input-file inputs "/bin/harec")) > (("\"qbe\") (search-input-file inputs "/bin/qbe"))) >=20 > -- ( Let me take a look into this and give it a try. Thanks for the help! From unknown Fri Sep 19 21:29:42 2025 MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) X-Loop: help-debbugs@gnu.org From: help-debbugs@gnu.org (GNU bug Tracking System) To: Ekaitz Zarraga Subject: bug#64891: closed (Re: [PATCH] gnu: Add hare) Message-ID: References: <5701d4e5-58a8-1ff6-2dd5-0733ec95af2b@elenq.tech> X-Gnu-PR-Message: they-closed 64891 X-Gnu-PR-Package: guix-patches X-Gnu-PR-Keywords: patch Reply-To: 64891@debbugs.gnu.org Date: Thu, 03 Oct 2024 21:59:02 +0000 Content-Type: multipart/mixed; boundary="----------=_1727992742-24727-1" This is a multi-part message in MIME format... ------------=_1727992742-24727-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #64891: [PATCH] gnu: Add hare which was filed against the guix-patches package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 64891@debbugs.gnu.org. --=20 64891: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D64891 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1727992742-24727-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 64891-done) by debbugs.gnu.org; 3 Oct 2024 21:58:19 +0000 Received: from localhost ([127.0.0.1]:34033 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1swTpz-0006Po-9N for submit@debbugs.gnu.org; Thu, 03 Oct 2024 17:58:19 -0400 Received: from dane.soverin.net ([185.233.34.31]:60229) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1swTpw-0006Pb-T9 for 64891-done@debbugs.gnu.org; Thu, 03 Oct 2024 17:58:18 -0400 Received: from smtp.soverin.net (unknown [10.10.4.74]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by dane.soverin.net (Postfix) with ESMTPS id 4XKQXZ1wrkz2xtF; Thu, 3 Oct 2024 21:58:06 +0000 (UTC) Received: from smtp.soverin.net (smtp.soverin.net [10.10.4.99]) by soverin.net (Postfix) with ESMTPSA id 4XKQXY5lsLz6D; Thu, 3 Oct 2024 21:58:05 +0000 (UTC) Authentication-Results: smtp.soverin.net; dkim=pass (2048-bit key; unprotected) header.d=elenq.tech header.i=@elenq.tech header.a=rsa-sha256 header.s=soverin1 header.b=fe1O+DJC; dkim-atps=neutral DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=elenq.tech; s=soverin1; t=1727992686; 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: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=1IgXoMhDpMOqJ3nT8hWj+XzAx2qVV3sPkuEMLB+Il3k=; b=fe1O+DJC9OTQLTnhHqSNvVqCOSNYVGFnh+bkIIiv0/wbAbs0pxvGbqJNrDzGjWtcca9dtR yGeZL9E6a/UI2TBh2loj03jUnehHsC2AYHv0p0pC3iFW25Mqi7+nKLDvFKPo2vlO2uLtVb b7fEk82urOb0tjliPIHFHSe38f5veWAWcDNG6mbGEwP+TsKOpjyGT2GXqF7le9lmJ4mjWc y+isGxNjvPsCUVK0lArbW/w3lTnzJx/9Dn8q3d9p94x165ay2/VRUzcIF5CqgICmzguaZI phSVztGvADA782Db0Tp2P5gXzPxz6uKmT/lyh9XvGYffaZZQoRbqBhpq3QXI1g== Message-ID: <5701d4e5-58a8-1ff6-2dd5-0733ec95af2b@elenq.tech> Date: Thu, 3 Oct 2024 23:58:05 +0200 MIME-Version: 1.0 To: 64891-done@debbugs.gnu.org References: Subject: Re: [PATCH] gnu: Add hare Content-Language: en-US, es-ES, eu From: Ekaitz Zarraga In-Reply-To: Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-Spampanel-Class: ham X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 64891-done Cc: Ekaitz Zarraga X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) Close in favor of #72926 ------------=_1727992742-24727-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 27 Jul 2023 08:36:14 +0000 Received: from localhost ([127.0.0.1]:40705 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qOwTm-0001mx-1l for submit@debbugs.gnu.org; Thu, 27 Jul 2023 04:36:14 -0400 Received: from lists.gnu.org ([2001:470:142::17]:50650) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qOwTi-0001mi-QX for submit@debbugs.gnu.org; Thu, 27 Jul 2023 04:36:12 -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 1qOwTc-0004vt-7d for guix-patches@gnu.org; Thu, 27 Jul 2023 04:36:04 -0400 Received: from mail-0301.mail-europe.com ([188.165.51.139]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qOwTY-0001kk-7A for guix-patches@gnu.org; Thu, 27 Jul 2023 04:36:03 -0400 Date: Thu, 27 Jul 2023 08:35:45 +0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=elenq.tech; s=protonmail2; t=1690446953; x=1690706153; bh=JD+smJ5pZ9YdH522XMJ9dGTJBAF4+jCFlV9SlHHRhD8=; h=Date:To:From:Subject:Message-ID:Feedback-ID:From:To:Cc:Date: Subject:Reply-To:Feedback-ID:Message-ID:BIMI-Selector; b=Y/YVuowluCHTCwWe0jk75w/xfWJxpgAXColjFEwUtKxd8fYNsmqVLm7PQTvQopI+A cYcQKt1/7saKaMcy2tbvTcZWFhbPC5kce+BUMMq37hAKhm5uPOsMhEG6rh//0i9ilY mhdP7wUuBr9jcPMaxaV5rBSyziK/zrRGU2jrEhVi4NJnNsi1LdTNoUPNxVRT8uPfYs CaLzZ9wK7Cc/cGWgp6KDIwC0JViSN2Y85ANwWqNXMkQADQV2Ft8Wluxpnovu4fk29n 8GEG5AIScJHYsufFjkVFlw/tvS89Vr/8ATSKRtH0qg3kpRmfTstp8wSdDWK6/DoIF/ c49/bqqd72gdg== To: "guix-patches@gnu.org" From: Ekaitz Zarraga Subject: [PATCH] gnu: Add hare Message-ID: Feedback-ID: 3263582:user:proton MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=188.165.51.139; envelope-from=ekaitz@elenq.tech; helo=mail-0301.mail-europe.com 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_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: 1.0 (+) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.0 (/) >From 308b67848e93a25f627dd64e024e9a501979a157 Mon Sep 17 00:00:00 2001 Message-Id: <308b67848e93a25f627dd64e024e9a501979a157.1689368739.git.ekaitz= @elenq.tech> From: Ekaitz Zarraga Date: Fri, 14 Jul 2023 22:52:59 +0200 Subject: [PATCH] gnu: Add hare * gnu/packages/hare.scm (hare, harec): New variable. * gnu/local.mk: Add hare.scm --- gnu/local.mk | 2 + gnu/packages/hare.scm | 104 ++++++++++++++++++++++++++++++++++++++++++ 2 files changed, 106 insertions(+) create mode 100644 gnu/packages/hare.scm diff --git a/gnu/local.mk b/gnu/local.mk index 06a376a99a..4d1645c595 100644 --- a/gnu/local.mk +++ b/gnu/local.mk @@ -59,6 +59,7 @@ # Copyright =C2=A9 2023 Zheng Junjie <873216071@qq.com> # Copyright =C2=A9 2023 Ivana Drazovic # Copyright =C2=A9 2023 Andy Tai +# Copyright =C2=A9 2023 Ekaitz Zarraga # # This file is part of GNU Guix. # @@ -314,6 +315,7 @@ GNU_SYSTEM_MODULES =3D=09=09=09=09\ %D%/packages/gv.scm=09=09=09=09\ %D%/packages/gxmessage.scm=09=09=09\ %D%/packages/hardware.scm=09=09=09\ + %D%/packages/hare.scm=09=09=09=09\ %D%/packages/haskell.scm=09=09=09\ %D%/packages/haskell-apps.scm=09=09=09\ %D%/packages/haskell-check.scm=09=09\ diff --git a/gnu/packages/hare.scm b/gnu/packages/hare.scm new file mode 100644 index 0000000000..0c65463e92 --- /dev/null +++ b/gnu/packages/hare.scm @@ -0,0 +1,104 @@ +;;; GNU Guix --- Functional package management for GNU +;;; Copyright =C2=A9 2023 Ekaitz Zarraga +;;; +;;; This file is part of GNU Guix. +;;; +;;; GNU Guix is free software; you can redistribute it and/or modify it +;;; under the terms of the GNU General Public License as published by +;;; the Free Software Foundation; either version 3 of the License, or (at +;;; your option) any later version. +;;; +;;; GNU Guix is distributed in the hope that it will be useful, but +;;; WITHOUT ANY WARRANTY; without even the implied warranty of +;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +;;; GNU General Public License for more details. +;;; +;;; You should have received a copy of the GNU General Public License +;;; along with GNU Guix. If not, see . + +(define-module (gnu packages hare) + #:use-module (guix packages) + #:use-module (guix utils) + #:use-module (guix git-download) + #:use-module ((guix licenses) #:prefix license:) + #:use-module (guix build-system gnu) + #:use-module (gnu packages) + #:use-module (gnu packages c) + #:use-module (gnu packages man)) + +(define-public harec + (let ((revision "1") + (commit "f5da14c17f734f0bba5a741997b79d3e65a87712")) + (package + (name "harec") + (version (git-version "0.0.1" revision commit)) + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://git.sr.ht/~sircmpwn/harec") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 "1xdf9pdwy5dvxhgvw6hqkpnjl8z76xc413vsnbbqfvwmfing53yn"= )))) + (build-system gnu-build-system) + (arguments + `(#:phases + (modify-phases %standard-phases + (add-before 'configure 'setenv + (lambda _ + (setenv "CC" ,(cc-for-target)))) + (add-after 'configure 'configure-better + (lambda* (#:key outputs #:allow-other-keys) + (invoke "./configure" + (string-append "--prefix=3D" (assoc-ref outputs "o= ut"))))) + (delete 'configure)))) + (inputs (list qbe scdoc)) + (synopsis "Bootstrapping compiler for Hare") + (description "Hare is a systems programming language designed to be +simple, stable, and robust. Hare uses a static type system, manual memory +management, and a minimal runtime. It is well-suited to writing operating +systems, system tools, compilers, networking software, and other low-level= , +high performance tasks.") + (home-page "https://git.sr.ht/~sircmpwn/harec") + (license license:gpl3)))) + + +(define-public hare + (let ((revision "1") + (commit "112b75eb56d98c442094966fe59cbf3cd5feb909")) + (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 version))) + (file-name (git-file-name name version)) + (sha256 + (base32 "0ilnz56757k4v0ggdc2v4xsjw0c944y8r289nfmqhw4hwzsrvb4j"= )))) + (inputs (list scdoc)) + (propagated-inputs (list qbe harec)) + (build-system gnu-build-system) + (arguments + `(#:make-flags `("HARECACHE=3D./cache" + ,(string-append "PREFIX=3D" (assoc-ref %outputs "= out"))) + #:phases + (modify-phases %standard-phases + (add-before 'configure 'configure-make + (lambda _ + ;; NOTE: We are not really using this because overwriting = it via + ;; `make-flags` is way easier with our tooling. + ;; Maybe we should? + (copy-file "config.example.mk" "config.mk"))) + (delete 'configure)))) + (synopsis "Hare build driver") + (description "Hare is a systems programming language designed to be +simple, stable, and robust. Hare uses a static type system, manual memory +management, and a minimal runtime. It is well-suited to writing operating +systems, system tools, compilers, networking software, and other low-level= , +high performance tasks.") + (home-page "https://git.sr.ht/~sircmpwn/hare") + (license license:gpl3)))) base-commit: 917a299831361f253ea664f009176b4bbe06900a --=20 2.39.2 ------------=_1727992742-24727-1--