From unknown Wed Jun 18 23:11:30 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#55606 <55606@debbugs.gnu.org> To: bug#55606 <55606@debbugs.gnu.org> Subject: Status: [PATCH 2/2] gnu: Add hare. Reply-To: bug#55606 <55606@debbugs.gnu.org> Date: Thu, 19 Jun 2025 06:11:30 +0000 retitle 55606 [PATCH 2/2] gnu: Add hare. reassign 55606 guix-patches submitter 55606 Antero Mejr severity 55606 normal tag 55606 patch thanks From debbugs-submit-bounces@debbugs.gnu.org Mon May 23 21:23:24 2022 Received: (at submit) by debbugs.gnu.org; 24 May 2022 01:23:24 +0000 Received: from localhost ([127.0.0.1]:50505 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ntJGa-0001cY-Hp for submit@debbugs.gnu.org; Mon, 23 May 2022 21:23:24 -0400 Received: from lists.gnu.org ([209.51.188.17]:49730) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ntJGX-0001cP-3N for submit@debbugs.gnu.org; Mon, 23 May 2022 21:23:19 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:57994) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1ntJGW-0002In-U0 for guix-patches@gnu.org; Mon, 23 May 2022 21:23:16 -0400 Received: from mout-p-103.mailbox.org ([2001:67c:2050:0:465::103]:35994) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_CHACHA20_POLY1305:256) (Exim 4.90_1) (envelope-from ) id 1ntJGU-00062s-OY for guix-patches@gnu.org; Mon, 23 May 2022 21:23:16 -0400 Received: from smtp2.mailbox.org (smtp2.mailbox.org [IPv6:2001:67c:2050:b231:465::2]) (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-103.mailbox.org (Postfix) with ESMTPS id 4L6bzy4RXVz9sr0 for ; Tue, 24 May 2022 03:23:10 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mailbox.org; s=mail20150812; t=1653355390; 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=CLQh98odlV6anGWnxgdJf22OGSDYTNPTDbRXk82ZmTE=; b=jXPZxO/rHKkBThhoRmFzAZWnJePZL2+WA98SVM+PZKj38rUfVJiaRuTGMeAlwMExtFXgDA 7XKdGvErmZYGZVM4ZWJcxX8w/v/Dp/CFJkN8AxO3E8cK7HDRTI0zJWmByDFQfRh8NIgRac ys0iDBIY0gnkadQaKMwsLlJwf7wGPGO0OzKmFMicPc+YKauOmWL95SERbkhhKq00BlyWQw FbFNzJWa5/sRqSYubMgn4O7rIXqYd6byq0PaJHKNPlyJORV9LJnZVzgP0ZFAYrVA1j8nZx CsZF0CyQslCK2CPV9GJ2USzQTr9WRMBKX2nZe4pSl79pElT9r3b/m+ctXWx/HA== From: Antero Mejr DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mailbox.org; s=mail20150812; t=1653355388; 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=CLQh98odlV6anGWnxgdJf22OGSDYTNPTDbRXk82ZmTE=; b=VWJw4aLLnuChYhgMmmwz2ykaq8vrN9jNkBwraHnsd9i2Et6XjW+txCHFEzTyhQrl2ljvbZ I034Gw0sf5HL7pKHxci4Xz9gvvkBE3FsSCbHHZObVCrZ5BxLo9IKSDgpHbcpq9k0YAdDeC G89ckuL4S3uC53hjkXeUrHf9VgtEk9kiKu+9vbECdsc8e3Q44by7869Fv5AUFGAzME/wlz cTdT5kggMEpZXIGsMlkjSxK9WS5jYN5XLLhEziOezzr6x1WK4mbvIN+s63JNreMpk79Eka ymGWVI3tcf9Xu6QpwxzrOsIsDD6yYOboS2m0rz78YBPL5Tqs0W6VY5KhnJic+g== To: guix-patches@gnu.org Subject: [PATCH 2/2] gnu: Add hare. Date: Mon, 23 May 2022 21:21:55 -0400 Message-Id: <20220524012155.48729-2-antero@mailbox.org> In-Reply-To: <20220524012155.48729-1-antero@mailbox.org> References: <20220524012155.48729-1-antero@mailbox.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-MBO-RS-META: hhq7nti1oieat1f4ukc1q5o69ajqtwa5 X-MBO-RS-ID: b1dac82452a8b45a415 X-Rspamd-Queue-Id: 4L6bzy4RXVz9sr0 Received-SPF: pass client-ip=2001:67c:2050:0:465::103; envelope-from=antero@mailbox.org; helo=mout-p-103.mailbox.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: -1.3 (-) X-Debbugs-Envelope-To: submit Cc: Antero Mejr 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: -2.3 (--) * gnu/packages/hare.scm (hare): New variable. --- Guix style was indenting badly when applied to the hare package, putting the text far past 80 characters. Corrected it by hand. gnu/packages/hare.scm | 136 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 136 insertions(+) create mode 100644 gnu/packages/hare.scm diff --git a/gnu/packages/hare.scm b/gnu/packages/hare.scm new file mode 100644 index 0000000000..5936056fda --- /dev/null +++ b/gnu/packages/hare.scm @@ -0,0 +1,136 @@ +;;; GNU Guix --- Functional package management for GNU +;;; Copyright © 2022 Antero Mejr +;;; +;;; 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 licenses) #:prefix license:) + #:use-module (guix build-system gnu) + #:use-module (guix download) + #:use-module (guix gexp) + #:use-module (guix git-download) + #:use-module (guix packages) + #:use-module (guix utils) + #:use-module (gnu packages base) + #:use-module (gnu packages c) + #:use-module (gnu packages man) + #:use-module (gnu platform)) + +(define-public harec + (let ((commit "43b34048dd83bde5d4d2a7d93d37a593a9c12fda") (revision "0")) + (package + (name "harec") + (version (git-version "0.0" 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 + "0502xw96za7bvnqvh6jhfjwrw4ddqwppr4ihcn9f5jvjpgw95284")))) + (native-inputs (list qbe)) + (build-system gnu-build-system) + (arguments + `(#:tests? #f ;no test suite + #:make-flags + (list (string-append "CC=" + ,(cc-for-target)) + (string-append "DESTDIR=" + (assoc-ref %outputs "out")) "PREFIX=") + #:phases + (modify-phases %standard-phases + (replace 'configure + (lambda* (#:key configure-flags #:allow-other-keys) + (setenv "QBE" + (string-append (assoc-ref %build-inputs "qbe") + "/bin/qbe")) + ;; configure rejects unrecognized options + (apply invoke "./configure" configure-flags)))))) + (home-page "https://harelang.org") + (synopsis "Hare bootstrap compiler") + (description "Hare compiler written in C11 for POSIX-compatible +systems.") + (license license:gpl3+)))) + +(define-public hare + (let ((commit "5af4fbd5f2f552da47af0f8f765050e49b0ae73f") (revision "0")) + (package + (name "hare") + (version (git-version "0.0" 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 + "1gj2v5p73f8y5gpglm6mmfdadc6ih2bnd80nyax1xipsfy0f82di")))) + (build-system gnu-build-system) + (arguments + `(#:make-flags + (list (string-append "DESTDIR=" (assoc-ref %outputs "out")) + "BINDIR=/bin" + "MANDIR=/share/man" + "SRCDIR=/src" + "LOCALSRCDIR=/src/hare" + (string-append "HAREPATH=" + (assoc-ref %outputs "out") + "/src/hare/stdlib:" + (assoc-ref %outputs "out") + "/src/hare/third-party") + (string-append "PLATFORM=" "linux") + (string-append "ARCH=" + ,(platform-linux-architecture + (lookup-platform-by-target-or-system + (or (%current-target-system) + (%current-system))))) + (string-append "HAREC=" + (string-append (assoc-ref %build-inputs "harec") + "/bin/harec")) + "HAREFLAGS=" + (string-append "QBE=" + (string-append (assoc-ref %build-inputs "qbe") + "/bin/qbe")) + (string-append "AS=" + (string-append (assoc-ref %build-inputs "binutils") + "/bin/as")) + (string-append "LD=" + (string-append (assoc-ref %build-inputs "binutils") + "/bin/ld")) + (string-append "AR=" + (string-append (assoc-ref %build-inputs "binutils") + "/bin/ar")) + (string-append "SCDOC=" + (string-append (assoc-ref %build-inputs "scdoc") + "/bin/scdoc")) + "HARECACHE=.cache") + #:phases + (modify-phases %standard-phases + (delete 'configure) ;No configuration script. + ;; Use own make-flags instead of `config.mk`. + (add-before 'build 'dont-include-config-mk + (lambda _ + (substitute* "Makefile" + (("include config.mk") "")) #t))))) + (native-inputs (list scdoc)) + (propagated-inputs (list harec qbe binutils)) + (home-page "https://harelang.org") + (synopsis "Compiler for the Hare programming language") + (description "Hare is a systems programming language.") + (license (list license:gpl3+ license:mpl2.0))))) -- 2.36.1 From debbugs-submit-bounces@debbugs.gnu.org Tue May 24 02:43:39 2022 Received: (at control) by debbugs.gnu.org; 24 May 2022 06:43:39 +0000 Received: from localhost ([127.0.0.1]:50788 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ntOGZ-0001XV-4o for submit@debbugs.gnu.org; Tue, 24 May 2022 02:43:39 -0400 Received: from mailrelay.tugraz.at ([129.27.2.202]:36731) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ntOGW-0001XL-8C for control@debbugs.gnu.org; Tue, 24 May 2022 02:43:37 -0400 Received: from lprikler-laptop.ist.intra (gw.ist.tugraz.at [129.27.202.101]) by mailrelay.tugraz.at (Postfix) with ESMTPSA id 4L6l5c6HhRz3xbl for ; Tue, 24 May 2022 08:43:32 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=tugraz.at; s=mailrelay; t=1653374612; bh=jWJ91umRF81OsMtq4e2g2qbKmtL7TAHJ2MadcW6i6k8=; h=Subject:From:To:Date; b=pBGsjVHBs+NT8Am9T82q2ehenllbJeTK7aDA5wvTsrNODqgUKeppU9tWemUiuxiNU 7HYy/Hrexwb7xMBWnm5gydEgVBuB9DEoLjQHaNqOCF/gmcP59XIrTxtFjfJrUSiYOd kFTb22eO0YgRgkFnJ22a2n/M1s8q0ZONieUy3qes= Message-ID: <8fdea3aaa79939d25f1fbe1a7b92b7f73ae20cc1.camel@ist.tugraz.at> Subject: From: Liliana Marie Prikler To: control@debbugs.gnu.org Date: Tue, 24 May 2022 08:43:31 +0200 Content-Type: text/plain; charset="UTF-8" User-Agent: Evolution 3.42.1 MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-TUG-Backscatter-control: waObeELIUl4ypBWmcn/8wQ X-Spam-Scanner: SpamAssassin 3.003001 X-Spam-Score-relay: -1.9 X-Scanned-By: MIMEDefang 2.74 on 129.27.10.117 X-Spam-Score: 1.4 (+) 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: merge 53833 55151 55605 merge 55187 55606 block 55187 by 53833 block 53834 by 53833 thanks Content analysis details: (1.4 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 RCVD_IN_MSPIKE_H3 RBL: Good reputation (+3) [129.27.2.202 listed in wl.mailspike.net] -2.3 RCVD_IN_DNSWL_MED RBL: Sender listed at https://www.dnswl.org/, medium trust [129.27.2.202 listed in list.dnswl.org] 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record 0.0 SPF_NONE SPF: sender does not publish an SPF Record 0.0 RCVD_IN_MSPIKE_WL Mailspike good senders 2.0 BLANK_SUBJECT Subject is present but empty -0.0 T_SCC_BODY_TEXT_LINE No description available. 1.7 BODY_EMPTY No body text in message X-Debbugs-Envelope-To: control 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.4 (/) merge 53833 55151 55605 merge 55187 55606 block 55187 by 53833 block 53834 by 53833 thanks From debbugs-submit-bounces@debbugs.gnu.org Tue May 24 13:01:47 2022 Received: (at 55606) by debbugs.gnu.org; 24 May 2022 17:01:47 +0000 Received: from localhost ([127.0.0.1]:53213 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ntXul-0001ch-01 for submit@debbugs.gnu.org; Tue, 24 May 2022 13:01:47 -0400 Received: from andre.telenet-ops.be ([195.130.132.53]:38762) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ntXuf-0001cU-MX for 55606@debbugs.gnu.org; Tue, 24 May 2022 13:01:45 -0400 Received: from ptr-bvsjgyhxw7psv60dyze.18120a2.ip6.access.telenet.be ([IPv6:2a02:1811:8c09:9d00:3c5f:2eff:feb0:ba5a]) by andre.telenet-ops.be with bizsmtp id ah1g270064UW6Th01h1g09; Tue, 24 May 2022 19:01:40 +0200 Message-ID: Subject: Re: [bug#55606] [PATCH 2/2] gnu: Add hare. From: Maxime Devos To: Antero Mejr , 55606@debbugs.gnu.org Date: Tue, 24 May 2022 19:01:39 +0200 In-Reply-To: <20220524012155.48729-2-antero@mailbox.org> References: <20220524012155.48729-1-antero@mailbox.org> <20220524012155.48729-2-antero@mailbox.org> Content-Type: multipart/signed; micalg="pgp-sha512"; protocol="application/pgp-signature"; boundary="=-VhTYeVfyS3zsqUfHPA7P" User-Agent: Evolution 3.38.3-1 MIME-Version: 1.0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=telenet.be; s=r22; t=1653411700; bh=z6nejKnTpXFllLqA/lFtQw/4nm+IQpP+RNRf+KwqIzk=; h=Subject:From:To:Date:In-Reply-To:References; b=nv6XG9sIQ2B1estJplSMIcW9XhtKMydiGee9QsQxgX2bJLhyf1MdYxVWLkpl5/XDC 1fkIgeK/SjKLIlcV/ZKBajBuE9Bl7YxRRtp6oIUwNeW7vjBO1+BJ6oGwRhbKlk/+j1 a83lvgXiBDA1VZaLprPbSU7CbcvFyxJWFQAuW0IkdcVJ99eYpsyqjK5jXupHs5zxC3 1f0x7NsHzy77Se99HTPDpvBwJEP1wxhWme9YJKJV4/kcX1ZB/qcR6WV7cEhrAFbnt7 Fzx5PLMacXJ2Zpmvd00wB1m6Ipy+oNXvvUelH6uR603E/+/AUJNafkJ4R84J6bhdIv /hobLR66DxnbA== X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 55606 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 (-) --=-VhTYeVfyS3zsqUfHPA7P Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: base64 QW50ZXJvIE1lanIgdmlhIEd1aXgtcGF0Y2hlcyB2aWEgc2NocmVlZiBvcCBtYSAyMy0wNS0yMDIy IG9tIDIxOjIxIFstCjA0MDBdOgo+ICvCoMKgwqDCoMKgIChhcmd1bWVudHMKPiArwqDCoMKgwqDC oMKgIGAoIzp0ZXN0cz8gI2YgO25vIHRlc3Qgc3VpdGUKPiArwqDCoMKgwqDCoMKgwqDCoCAjOm1h a2UtZmxhZ3MKPiArwqDCoMKgwqDCoMKgwqDCoCAobGlzdCAoc3RyaW5nLWFwcGVuZCAiQ0M9Igo+ ICvCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgICwoY2MtZm9yLXRhcmdldCkpCj4gK8KgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgKHN0 cmluZy1hcHBlbmQgIkRFU1RESVI9Igo+ICvCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIChhc3NvYy1yZWYgJW91dHB1dHMgIm91dCIpKSAi UFJFRklYPSIpCj4gK8KgwqDCoMKgwqDCoMKgwqAgIzpwaGFzZXMKPiArwqDCoMKgwqDCoMKgwqDC oCAobW9kaWZ5LXBoYXNlcyAlc3RhbmRhcmQtcGhhc2VzCj4gK8KgwqDCoMKgwqDCoMKgwqDCoMKg IChyZXBsYWNlICdjb25maWd1cmUKPiArwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIChsYW1iZGEq ICgjOmtleSBjb25maWd1cmUtZmxhZ3MgIzphbGxvdy1vdGhlci1rZXlzKQo+ICvCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgIChzZXRlbnYgIlFCRSIKPiArwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgKHN0cmluZy1hcHBlbmQgKGFzc29jLXJlZiAlYnVpbGQt aW5wdXRzICJxYmUiKQo+ICvCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAiL2Jpbi9xYmUiKSkKPiArwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoCA7OyBjb25maWd1cmUgcmVqZWN0cyB1bnJlY29nbml6ZWQg b3B0aW9ucwo+ICvCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIChhcHBseSBpbnZva2UgIi4v Y29uZmlndXJlIiBjb25maWd1cmUtZmxhZ3MpKSkpKSkKCmlucHV0IGxhYmVscyBjYW4gYmUgZWxp bWluYXRlZCAoc2VlCjxodHRwczovL2d1aXguZ251Lm9yZy9lbi9ibG9nLzIwMjEvdGhlLWJpZy1j aGFuZ2UvPik6CgogIChhcmd1bWVudHMKICAgIChsaXN0IC4uLgogICAgICAgICAgIzpwaGFzZXMK ICAgICAgICAgICN+KG1vZGlmeS1waGFzZXMgLi4uCiAgICAgICAgICAgICAgIChzZXRlbnYgIlFC RSIgKHdoaWNoICJxYmUiKSkKICAgICAgICAgICAgICAgKGFwcGx5IGludm9rZSAuLi4pKSkpCgpB bHNvLCAncWJlJyBsb29rcyBsaWtlIGEgbm9uLW5hdGl2ZSBpbnB1dCBpbnB1dCwgSUlVQyB0aGF0 ICdoYXJlYycKaW52b2tlcyAncWJlJyB1bmRlciB0aGUgaG9vZC4gIChpbiB0aGF0IGNhc2UsIHVz ZSAoc2VhcmNoLWlucHV0LWZpbGUKaW5wdXRzICIvYmluL3FiZSIpIGluc3RlYWQpLiBBcyBhIHRl c3QsIHlvdSBjYW4gZG8gImd1aXggYnVpbGQgaGFyZWMiCmFuZCAiZ3VpeCBnYyAtLXJlZmVuY2Vz IC9nbnUvc3RvcmUvSEFTLWhhcmVjLVZFUlNJT04iIHRvIHNlZSBpZiBpdCBlbmRzCnVwIGluIHRo ZSByZWZlcmVuY2VzLgoKR3JlZXRpbmdzLApNYXhpbWUuCg== --=-VhTYeVfyS3zsqUfHPA7P Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- iI0EABYKADUWIQTB8z7iDFKP233XAR9J4+4iGRcl7gUCYo0PcxccbWF4aW1lZGV2 b3NAdGVsZW5ldC5iZQAKCRBJ4+4iGRcl7kQdAP9JmAdzbWViKpAuvLeYSzUi53CB Vhi7R/rYJPuwWzyo2gEAjUzyrtV+EX/3Q82PUBTo1pDuSi55qplAFbEf7Wcuvws= =H7kk -----END PGP SIGNATURE----- --=-VhTYeVfyS3zsqUfHPA7P-- From debbugs-submit-bounces@debbugs.gnu.org Tue May 24 13:07:28 2022 Received: (at 55606) by debbugs.gnu.org; 24 May 2022 17:07:29 +0000 Received: from localhost ([127.0.0.1]:53218 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ntY0G-0001lH-LU for submit@debbugs.gnu.org; Tue, 24 May 2022 13:07:28 -0400 Received: from xavier.telenet-ops.be ([195.130.132.52]:58686) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ntY0B-0001l1-Ud for 55606@debbugs.gnu.org; Tue, 24 May 2022 13:07:27 -0400 Received: from ptr-bvsjgyhxw7psv60dyze.18120a2.ip6.access.telenet.be ([IPv6:2a02:1811:8c09:9d00:3c5f:2eff:feb0:ba5a]) by xavier.telenet-ops.be with bizsmtp id ah7M2700T4UW6Th01h7NHL; Tue, 24 May 2022 19:07:22 +0200 Message-ID: <6fb4da7ebb8e56fd2e107e37293f3d76002d557d.camel@telenet.be> Subject: Re: [bug#55606] [PATCH 2/2] gnu: Add hare. From: Maxime Devos To: Antero Mejr , 55606@debbugs.gnu.org Date: Tue, 24 May 2022 19:07:21 +0200 In-Reply-To: <20220524012155.48729-2-antero@mailbox.org> References: <20220524012155.48729-1-antero@mailbox.org> <20220524012155.48729-2-antero@mailbox.org> Content-Type: multipart/signed; micalg="pgp-sha512"; protocol="application/pgp-signature"; boundary="=-zb7D5wwr423LmuzZIEVE" User-Agent: Evolution 3.38.3-1 MIME-Version: 1.0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=telenet.be; s=r22; t=1653412042; bh=MPPm+sZ17rJTZD8/IQ6tbjwCB8a2cIDzeIhs8o1yrC8=; h=Subject:From:To:Date:In-Reply-To:References; b=WaanobtSIs+Iuea/OXIcaGVsrrTB9kNLBkuzFklsNc4WeEZTG9y4c+znn2BGIj6oU mMkpIac3vxOs+81spvL7lky7JoTNEJjobsDUZpsqlT9MmThvf1fPiJBLC6BiijXP83 RTdwR+ndXjoAYDAM8a9nGClebx+CQVBl0HZo+i3lcenmqnMkRB9QH4m2Vf9sjS23z+ trLxoU/LwbL+7rVrlIqfXezUwo9/0KajHv0C3lgqAU8q+PFG8vRDCa+c66zsQdI/dj rpqtzxQGu6kD7SQHBJK/Vx3tOUu6wDX8j9Z0f+IJP4xGiKFfGQqSC6mNgLhTKVeImi G8npcrchpRoaw== X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 55606 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 (-) --=-zb7D5wwr423LmuzZIEVE Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Antero Mejr via Guix-patches via schreef op ma 23-05-2022 om 21:21 [- 0400]: > +=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 `(#:make-flags > +=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 (list (string-append "D= ESTDIR=3D" (assoc-ref %outputs "out")) > +=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0 "BINDIR=3D/bin" > +=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0 "MANDIR=3D/share/man" > +=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0 "SRCDIR=3D/src" > +=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0 "LOCALSRCDIR=3D/src/hare" See previous message about G-exp and DESTDIR. + (string-append "HAREPATH=3D" + (assoc-ref %outputs "out") + "/src/hare/stdlib:" + (assoc-ref %outputs "out") Likewise, (assoc-ref ... "out") -> #$output + (string-append "HAREC=3D" + (string-append (assoc-ref %build-inputs "harec") + "/bin/harec")) Likewise about input labels, though in this case search-input-file. Or (file-append #$(this-package-input "harec") "/bin/harec"). + (string-append "AS=3D" + (string-append (assoc-ref %build-inputs "binutils") IIRC %build-inputs does not exist when cross-compiling, try "guix build --target=3Daarch64-linux-gnu hare". Also, it is ambigious if you meant inputs or native-inptus here. You might need %build-target-input or one of those instead. They are undocumented though, so maybe better use this-package-{native,}-input. Those don't support implicit inputs though, so you may need to add the gcc manually (maybe look at (guix build-system gnu) for how). > + "HARECACHE=3D.cache") Is this used for building the hare compiler itself or for building hare libraries and applications? Greetings, Maxime. --=-zb7D5wwr423LmuzZIEVE Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- iI0EABYKADUWIQTB8z7iDFKP233XAR9J4+4iGRcl7gUCYo0QyRccbWF4aW1lZGV2 b3NAdGVsZW5ldC5iZQAKCRBJ4+4iGRcl7rckAQDd9wpIgNEu4pqcaDLLfItcfAZE GZvkwpHDcRGXa9BnvgEAi38kJIo3fZfnhvqkSO+1QRGBrfGpjgIobngwILkTGgo= =CU+j -----END PGP SIGNATURE----- --=-zb7D5wwr423LmuzZIEVE-- From debbugs-submit-bounces@debbugs.gnu.org Tue May 24 13:09:38 2022 Received: (at 55606) by debbugs.gnu.org; 24 May 2022 17:09:38 +0000 Received: from localhost ([127.0.0.1]:53223 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ntY2M-0001on-1z for submit@debbugs.gnu.org; Tue, 24 May 2022 13:09:38 -0400 Received: from andre.telenet-ops.be ([195.130.132.53]:50332) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ntY2J-0001od-FC for 55606@debbugs.gnu.org; Tue, 24 May 2022 13:09:36 -0400 Received: from ptr-bvsjgyhxw7psv60dyze.18120a2.ip6.access.telenet.be ([IPv6:2a02:1811:8c09:9d00:3c5f:2eff:feb0:ba5a]) by andre.telenet-ops.be with bizsmtp id ah9Z2702l4UW6Th01h9aUv; Tue, 24 May 2022 19:09:34 +0200 Message-ID: <957c71af73953ce8dcd1553c9b4141502eaaa45b.camel@telenet.be> Subject: Re: [bug#55606] [PATCH 2/2] gnu: Add hare. From: Maxime Devos To: Antero Mejr , 55606@debbugs.gnu.org Date: Tue, 24 May 2022 19:09:33 +0200 In-Reply-To: <20220524012155.48729-2-antero@mailbox.org> References: <20220524012155.48729-1-antero@mailbox.org> <20220524012155.48729-2-antero@mailbox.org> Content-Type: multipart/signed; micalg="pgp-sha512"; protocol="application/pgp-signature"; boundary="=-OouXspA4Njb2F7KxUYCd" User-Agent: Evolution 3.38.3-1 MIME-Version: 1.0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=telenet.be; s=r22; t=1653412174; bh=arTB3CDMEvME9p3UuU5ZKaMZKUUgEJARTOjMrcuzogI=; h=Subject:From:To:Date:In-Reply-To:References; b=WElC9py6QaDwzWWwkE6cPfwvstJLZ4Tk1e3KemAPRX//gRWJP5fc6G/pCp225tYva tBgkrfAucvdbnZ/FfSQ/eM446ZZxurLFS+d5OXGL0P6YtRYtKKuTBhgjrARR2Wpi3i oHO4ntlHFNY/0naakVJSSAM14KvlYToJNVq9pUSd/5QUrUp3eJQ0sprFO11Llx6en6 CpkonHa7+hycq7zTYEFem43y1GCYEHQapdvC+9vWD8pWLyjBFkFfcnxmI7mOwbsZmo lMPjf9YtM1XZmw1XPWDM9VxoHh0WT7MdxcxUXkDg8XekqsJuKgUGjOUWTrUEcpmi1U QbTtKXUIvHxZQ== X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 55606 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 (-) --=-OouXspA4Njb2F7KxUYCd Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: base64 QW50ZXJvIE1lanIgdmlhIEd1aXgtcGF0Y2hlcyB2aWEgc2NocmVlZiBvcCBtYSAyMy0wNS0yMDIy IG9tIDIxOjIxIFstCjA0MDBdOgo+ICvCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIChzdHJp bmctYXBwZW5kICJMRD0iCj4gK8KgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqAgKHN0cmluZy1hcHBlbmQgKGFzc29jLXJlZiAlYnVpbGQtaW5w dXRzICJiaW51dGlscyIpCgpMb29raW5nIGF0IHRoZSBtYWtlZmlsZSwgSSB0aGluayBhbGwgeW91 IG5lZWQgaXMgIkxEPWxkIi4gIE9yIG1heWJlCiJMRD1UQVJHRVQtbGQiLgo= --=-OouXspA4Njb2F7KxUYCd Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- iI0EABYKADUWIQTB8z7iDFKP233XAR9J4+4iGRcl7gUCYo0RTRccbWF4aW1lZGV2 b3NAdGVsZW5ldC5iZQAKCRBJ4+4iGRcl7oLjAQDECMgGD5AnxsI0KfQEixwsnd2u Q2cYgfBMiDyCy+mwNQD+JTqagzRUtPnYQnMsNkRNZ65qkogH/WgLkanmfMx3DgA= =I9Pc -----END PGP SIGNATURE----- --=-OouXspA4Njb2F7KxUYCd-- From debbugs-submit-bounces@debbugs.gnu.org Tue May 24 13:24:21 2022 Received: (at submit) by debbugs.gnu.org; 24 May 2022 17:24:21 +0000 Received: from localhost ([127.0.0.1]:53249 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ntYGb-0002Bo-CL for submit@debbugs.gnu.org; Tue, 24 May 2022 13:24:21 -0400 Received: from lists.gnu.org ([209.51.188.17]:37540) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ntYGZ-0002Bd-Av for submit@debbugs.gnu.org; Tue, 24 May 2022 13:24:19 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:41128) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1ntYGZ-0004bG-05 for guix-patches@gnu.org; Tue, 24 May 2022 13:24:19 -0400 Received: from tobias.gr ([2a02:c205:2020:6054::1]:52082) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1ntYGX-0006Q6-Ao for guix-patches@gnu.org; Tue, 24 May 2022 13:24:18 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; s=2018; bh=ooNUfILOZKrjc +ccmgv1f1aWaTqjBzBs0hqsGSyuv4g=; h=in-reply-to:date:subject:cc:to: from:references; d=tobias.gr; b=UXn4dCxQ+sio5I2CjmyUL6dQDL2iZ3qc+pn0+l B24SK5xYXHl1iYLv9NO49YieO9Srd/U0YfDIwULWL7V9iAsXH/Cr8PqUAJSD6VMNq9PT32 68U5OgwcLjRfH5Am7hjC9m2fDu6EB0eD5drehlMsR1WiNHbHD71AI/xajDFlWZ3ozczHUI R6T7CAOCPu2+472UviSAWdsauIPG3T/D/U6/kz6njXadGb6NUO4MsH/tFgAaqMzSd4/Rwu EH7ohmLIS3CFBQhqLNWXYV53MISVlNM6tRuJWTmnxVe9wRMaXsOyuEvw5+dgSHd8MUuTPp MB2EPsZnakPKt4acAIXArPCA== Received: by submission.tobias.gr (OpenSMTPD) with ESMTPSA id 05a1cf93 (TLSv1.3:AEAD-AES256-GCM-SHA384:256:NO); Tue, 24 May 2022 17:24:14 +0000 (UTC) References: <20220524012155.48729-1-antero@mailbox.org> <20220524012155.48729-2-antero@mailbox.org> From: Tobias Geerinckx-Rice To: Antero Mejr Subject: Re: [bug#55606] [PATCH 2/2] gnu: Add hare. Date: Tue, 24 May 2022 19:10:24 +0200 In-reply-to: <20220524012155.48729-2-antero@mailbox.org> BIMI-Selector: v=BIMI1; s=default; Message-ID: <87leuqaloi@nckx> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" Received-SPF: pass client-ip=2a02:c205:2020:6054::1; envelope-from=me@tobias.gr; helo=tobias.gr 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_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-Spam-Score: -1.7 (-) X-Debbugs-Envelope-To: submit Cc: 55606@debbugs.gnu.org, guix-patches@gnu.org 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: -2.7 (--) --=-=-= Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: quoted-printable Antero Mejr via Guix-patches via =E5=86=99=E9=81=93=EF=BC=9A > Guix style was indenting badly when applied to the hare package,=20 > putting the > text far past 80 characters. Corrected it by hand. This caught my attention; I didn't review anything. Guix style just follows the same rules we should follow. Don't=20 =E2=80=98fix=E2=80=99 the result unless there's a real bug in =E2=80=98guix= style=E2=80=99. Instead, work with it, in this case by adding newlines. This: (proc "foo" "bar") reads *wrong* to humans. Worse, it's forever a pain to maintain, because nobody can ever=20 auto-indent any changes they make to your hand-tweaked code. They=20 have to work around it. Instead, when necessary, write: (proc "foo" "bar") > + (list (string-append "DESTDIR=3D" (assoc-ref %outputs=20 > "out")) In this case you'd a newline after the above =E2=80=98string-append=E2=80= =99. > + (string-append "HAREC=3D" > + (string-append (assoc-ref=20 > %build-inputs "harec") > + "/bin/harec")) This is easy to fix: theres no need for the inner string-appends=20 in this section. (string-append "HAREC=3D" (assoc-ref %build-inputs "harec") "/bin/harec") is 100% equivalent. If the line is still too long, add newlines=20 where it keeps the code the clearest. With such changes, you can run =E2=80=98guix style=E2=80=99 (or let your ed= itor=20 indent the code) without worries or manual fix-ups. Kind regards, T G-R --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iIMEARYKACsWIQT12iAyS4c9C3o4dnINsP+IT1VteQUCYo0UvQ0cbWVAdG9iaWFz LmdyAAoJEA2w/4hPVW15gWcBAO0d9f1GuB1lvmoiFVLoEH9Oe5c1G3ttKJjQtZLn mWeOAQCKHNkcYAwPV5FqDd5lkQpWZjy3JC3400tTyc5Dc/NeBg== =6ISR -----END PGP SIGNATURE----- --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Sat May 28 20:55:41 2022 Received: (at 55606) by debbugs.gnu.org; 29 May 2022 00:55:41 +0000 Received: from localhost ([127.0.0.1]:39126 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nv7DY-0004q5-R3 for submit@debbugs.gnu.org; Sat, 28 May 2022 20:55:41 -0400 Received: from mout-p-101.mailbox.org ([80.241.56.151]:37068) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nv7DT-0004pk-5l for 55606@debbugs.gnu.org; Sat, 28 May 2022 20:55:39 -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-101.mailbox.org (Postfix) with ESMTPS id 4L9g7h2w3Gz9sRJ for <55606@debbugs.gnu.org>; Sun, 29 May 2022 02:55:28 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mailbox.org; s=mail20150812; t=1653785728; 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; bh=pxSka1HI8w5IWRZsDPuKnPqJiz4vVOtf1/rh3VmeP90=; b=QYjvLB3SF3ZjMHiOmBxsgEtM/BEUBeRmWO0WPpYJSLLlb7lPv8e546BgbqV70+8G7lUTHq Yjg+BMrjJ7bR5zVHSXJTYDTiNr9/56N1pjQYHzywYOAPHw3qTaTsWleXHaPu0O2W18ulJA irOqb4OhsEZoM4l8tGVxAzBbIJ10OV6+u4m3WzplNUDF+lijC/z9EIABMIQQmlvb4IdRRf nv4KSLFSZhRu8Z8Jii9tF8zuFfib7iCHuYVmzm0hGcu29lBkcLhzLhYuJCz31CoP9qdLmS baD0J3pGCwTEmDTFDPxSFi+kbfBT9dDcLiiByEBrM+sy0XBotBPEXVCAIrySQw== From: Antero Mejr DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mailbox.org; s=mail20150812; t=1653785726; 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; bh=pxSka1HI8w5IWRZsDPuKnPqJiz4vVOtf1/rh3VmeP90=; b=HKjtm8ocJOfTSiX5RLmf1MkVQdNiD7qJlHd7AGSJtZRrpnnBZ+VEZUduHZTlhEjVVKoh+1 BvOmEr8FOz6YFd2t5rmeQp7WyD6xQtF0+pM8QN6cTr9AEIeuCbXWNcinnxXVoQPFli0tyG yF11bSzUcfVoJdxmhBsyfc5nNvZlvNjsDFUpncNLag0GzcUOty8dB1+PdSNyvQLBOjcV+Q EUuguseSiHjuwCUZCGZ494CLmCoHMknLLFdKQYD+uRM0Chub94ndeVLizVcrPQXx/r3x7v aWAerBfucStUdfmFkKvOeXsbTwnT6XCLyHXXIIw4kxY8D+5/nBA+EIgztg57QQ== To: 55606@debbugs.gnu.org Subject: [PATCH] gnu: Add hare. Date: Sat, 28 May 2022 20:54:54 -0400 Message-Id: <20220529005455.331312-1-antero@mailbox.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-MBO-RS-ID: de5e5e7d4389db66dc2 X-MBO-RS-META: k98z6y1p5xqdr4n6k5z3y57aju581hoc X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 55606 Cc: Antero Mejr 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 (-) * gnu/packages/hare.scm (hare): New variable. --- gnu/packages/hare.scm | 145 ++++++++++++++++++++++++++++++++++++++++++ guix/utils.scm | 6 ++ 2 files changed, 151 insertions(+) create mode 100644 gnu/packages/hare.scm diff --git a/gnu/packages/hare.scm b/gnu/packages/hare.scm new file mode 100644 index 0000000000..b36bb3d475 --- /dev/null +++ b/gnu/packages/hare.scm @@ -0,0 +1,145 @@ +;;; GNU Guix --- Functional package management for GNU +;;; Copyright © 2022 Antero Mejr +;;; +;;; 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 licenses) #:prefix license:) + #:use-module (guix build-system gnu) + #:use-module (guix download) + #:use-module (guix gexp) + #:use-module (guix git-download) + #:use-module (guix packages) + #:use-module (guix utils) + #:use-module (gnu packages base) + #:use-module (gnu packages c) + #:use-module (gnu packages man) + #:use-module (gnu platform)) + +(define-public harec + (let ((commit "78989a15dfcc301ac2eca07afb1f906e172bd48b") (revision "0")) + (package + (name "harec") + (version (git-version "0.0.0" 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 + "1cv71vmrcf31rk7cjrmhb6ivwdfwzick7fyiglwh4ky6bf0r6cgx")))) + (build-system gnu-build-system) + (arguments + (list #:configure-flags + #~(list (string-append "--prefix=" + #$output)) + #:phases + #~(modify-phases %standard-phases + (add-before 'configure 'setenv + (lambda _ + (setenv "QBE" + (string-append #$qbe "/bin/qbe")) + (setenv "CC" + #$(cc-for-target)))) + (replace 'configure + (lambda* (#:key outputs + (configure-flags '()) #:allow-other-keys) + (apply invoke "./configure" configure-flags)))))) + (inputs (list qbe)) + (home-page "https://harelang.org") + (synopsis "Hare bootstrap compiler") + (description "Hare compiler written in C11 for POSIX-compatible +systems.") + (license license:gpl3+)))) + +(define-public hare + (let ((commit "19e380ccb7dfe2bcab5f94e6bd03004e3e2c6005") (revision "0")) + (package + (name "hare") + (version (git-version "0.0.0" 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 + "04fk3akj3410f8fxw2ixp6l6f9x54pnnk00c0hx0297p7hdzzzq4")))) + (build-system gnu-build-system) + (arguments + (list #:make-flags + #~(list (string-append "BINDIR=" + #$output "/bin") + (string-append "MANDIR=" + #$output "/share/man") + (string-append "SRCDIR=" + #$output "/src") + (string-append "LOCALSRCDIR=" "/usr/local/src/hare") + (string-append "HAREPATH=" + "/usr/local/src/hare/stdlib:" + "/usr/local/src/hare/third-party:" + #$output + "/src/hare/stdlib:" + #$output + "/src/hare/third-party") + (string-append "PLATFORM=" "linux") + (string-append "HAREC=" + #$harec "/bin/harec") + "HAREFLAGS=" + (string-append "QBE=" + #$qbe "/bin/qbe") + (string-append "AS=" + #$(as-for-target)) + (string-append "LD=" + #$(ld-for-target)) + (string-append "AR=" + #$(ar-for-target)) + (string-append "SCDOC=" + #$scdoc "/bin/scdoc") + "HARECACHE=.cache") + #:phases + #~(modify-phases %standard-phases + (delete 'configure) + (add-before 'build 'set-arch-env + (lambda _ + (let ((arch #$(platform-linux-architecture + (lookup-platform-by-target-or-system + (or (%current-target-system) + (%current-system)))))) + (setenv "ARCH" arch)) #t)) + (add-before 'build 'edit-files + (lambda _ + (substitute* "Makefile" + (("include config.mk") "") + (("\\$\\(LOCALSRCDIR\\)") "")) + (substitute* "math/complex/+test.ha" + (("return realalike && imagalike;") + "return true;")) #t))))) + (native-inputs (list scdoc)) + (inputs (list tzdata)) + (propagated-inputs (list harec qbe)) + (native-search-paths + (list (search-path-specification + (variable "HAREPATH") + (files '("src/hare/stdlib" + "src/hare/third-party"))))) + (home-page "https://harelang.org") + (synopsis "Compiler for the Hare programming language") + (description "Hare is a systems programming language.") + (license (list license:gpl3+ license:mpl2.0))))) diff --git a/guix/utils.scm b/guix/utils.scm index 44c46cb4a9..2cf5fb1db7 100644 --- a/guix/utils.scm +++ b/guix/utils.scm @@ -100,6 +100,7 @@ (define-module (guix utils) target-riscv64? target-64bit? ar-for-target + as-for-target cc-for-target cxx-for-target ld-for-target @@ -722,6 +723,11 @@ (define* (ar-for-target #:optional (target (%current-target-system))) (string-append target "-ar") "ar")) +(define* (as-for-target #:optional (target (%current-target-system))) + (if target + (string-append target "-as") + "as")) + (define* (cc-for-target #:optional (target (%current-target-system))) (if target (string-append target "-gcc") -- 2.36.1 From debbugs-submit-bounces@debbugs.gnu.org Fri Jun 03 13:55:04 2022 Received: (at 55606) by debbugs.gnu.org; 3 Jun 2022 17:55:04 +0000 Received: from localhost ([127.0.0.1]:56942 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nxBVo-0004b8-3y for submit@debbugs.gnu.org; Fri, 03 Jun 2022 13:55:04 -0400 Received: from mout-p-202.mailbox.org ([80.241.56.172]:50318) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nxBVj-0004aP-4e for 55606@debbugs.gnu.org; Fri, 03 Jun 2022 13:55:02 -0400 Received: from smtp1.mailbox.org (smtp1.mailbox.org [IPv6:2001:67c:2050:b231:465::1]) (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-202.mailbox.org (Postfix) with ESMTPS id 4LF9WZ6MY7z9t1d for <55606@debbugs.gnu.org>; Fri, 3 Jun 2022 19:54:50 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mailbox.org; s=mail20150812; t=1654278890; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=nLBcVHV12pdHDoHPHg0jTIxbIvaeSOZU+x4QSMyFWRs=; b=sk709WZ65aYEZ4Ru6KOhH7jBBRSQLdp0e+fOZk0oM5kh/fkFE5KfsCgrq8NtP/M4dlCH/E +uw+tKB7f6MCEzC+jaNQYEeJjNFmoSEyyF4Ox6yfvj+KViipK1yDj+gaEPst9e/JjNyWST BzAeU0GRdG91CL3wleqVWjl+J4LOl39XoiKya7RAArdlvpn3rkX29RiVCdZI7nYYjkoaH1 LFsoOkTN2qchee7dRrNdt95AfTVi2dSdG4LwH9rael3o3lkMKilHfRUpsEvAKjMIPyFLVr 29frEupeM09NAxx5PCCOm77vG0+ifWwbz3u7hACl3zfljUJsKztJ+b8e5B4Wpg== Date: Fri, 3 Jun 2022 13:54:50 -0400 (EDT) From: Antero Mejr To: "55606@debbugs.gnu.org" <55606@debbugs.gnu.org> Message-ID: <1494793954.947626.1654278890520@office.mailbox.org> Subject: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit X-Priority: 3 Importance: Normal X-MBO-RS-META: sk5dbdyjs5pmz8s6ksbcw9piupedbgdz X-MBO-RS-ID: ef89ae5d21e365f50f1 X-Rspamd-Queue-Id: 4LF9WZ6MY7z9t1d 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: Thanks for the suggestions Maxime and Tobias, the patch above uses the new gexps and has better styling. The new patch was tested by building the hare programs 'hautils', which compiled and ran succes [...] Content analysis details: (1.3 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -0.7 RCVD_IN_DNSWL_LOW RBL: Sender listed at https://www.dnswl.org/, low trust [80.241.56.172 listed in list.dnswl.org] -0.0 SPF_PASS SPF: sender matches SPF record 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record 2.0 BLANK_SUBJECT Subject is present but empty -0.0 T_SCC_BODY_TEXT_LINE No description available. X-Debbugs-Envelope-To: 55606 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 (/) Thanks for the suggestions Maxime and Tobias, the patch above uses the new gexps and has better styling. The new patch was tested by building the hare programs 'hautils', which compiled and ran successfully. Maxime, the HARECACHE directory is a temporary build directory for the compiler itself, yes. Please let me know if there are any futher issues. From debbugs-submit-bounces@debbugs.gnu.org Sat Jun 25 12:55:04 2022 Received: (at 55606) by debbugs.gnu.org; 25 Jun 2022 16:55:04 +0000 Received: from localhost ([127.0.0.1]:46143 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o593o-0006BR-38 for submit@debbugs.gnu.org; Sat, 25 Jun 2022 12:55:04 -0400 Received: from mail-ej1-f65.google.com ([209.85.218.65]:33648) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o593m-0006Ap-7M for 55606@debbugs.gnu.org; Sat, 25 Jun 2022 12:55:02 -0400 Received: by mail-ej1-f65.google.com with SMTP id mf9so10826408ejb.0 for <55606@debbugs.gnu.org>; Sat, 25 Jun 2022 09:55:02 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=message-id:subject:from:to:cc:date:in-reply-to:references :user-agent:mime-version:content-transfer-encoding; bh=ERg/8cBqAVaB5asuDuC3hFO2hmZAb5dV4j8rsSf4GmQ=; b=iaZj9+x82deZE3zJGmwR5uqKTW0mLPwe0VVAWxVm5Cpsb3fDBpAG/cgnQhj2FJR4ba /esYG2goaiPyM9iZqJzeIjIG5PU3IwRRURjrvMrlBoGADzmgbI8Ijv8vtO8capDuUCdm 862uF+DauVXaj7SWWaBjt7TLvD/ZwBLOSXMHm69wcljVXmjtuOz/yllz9S6J76byyhm9 KbEJ5jLT85gJxUgTZ5LrpoR6ujDTfrz9CACrqeWwgUuUZUcT2oWhiEs0JLC5PwLQSc6k uwjbpX0q5gkA1pbVKpUAQTMZ79dqMFmwC+KW0mN4hU6e/fL9xVgvWb3NTRXl3pA+T258 pxYA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:message-id:subject:from:to:cc:date:in-reply-to :references:user-agent:mime-version:content-transfer-encoding; bh=ERg/8cBqAVaB5asuDuC3hFO2hmZAb5dV4j8rsSf4GmQ=; b=ZKj1Af6gKKCxIATdV0BFNKV6Hj2/otl+n4ZeJVJWJuyuCvlZtU1kou6NEK99scneBF rUgiErQtHAyDCCQtRTv2/cV99EAUYXXdAveRO2+/lOiW351j0hfE1lVCtOeE/KmmAHuB pvtOPSb8KRRXg1q3fQ7Oqg3ywDqA/ZvcvR9DzKsbQlf1QWcH8+yvU2NAPVdK0+n9pEm3 lfliegd9q0OgCF/u7VQMBjjyPpAxix5Nos3SyWoDqhkonfATAHUJH5O+sBzu1TUmO4h/ ipzIdp/RjdGd7FwyssTTZIntV9aviYxyjM9MTaWSzZSLb/5VEVZEOgp/UaoA1OJRfuW+ ui1Q== X-Gm-Message-State: AJIora/xePQs13zYiwKHOhkTO8TmIijbn+YLfEaNQDEBdojl0/+8FSZM uwC0j9G7LcnBsZE3sIVUOXo= X-Google-Smtp-Source: AGRyM1vmq5qxq5X+88odA4BkPxAxWlypfl/pWH3kVtWigclrSn04zj8i/NCFd7FMaPp0G+h4IekbKg== X-Received: by 2002:a17:907:9620:b0:726:9316:54b7 with SMTP id gb32-20020a170907962000b00726931654b7mr1668994ejc.73.1656176096380; Sat, 25 Jun 2022 09:54:56 -0700 (PDT) Received: from nijino.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id i3-20020a170906444300b006feec47dae7sm2836693ejp.149.2022.06.25.09.54.55 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 25 Jun 2022 09:54:56 -0700 (PDT) Message-ID: <0f62a23e7014fa02404683d144bbeffa52732ebc.camel@gmail.com> Subject: Re: [PATCH 2/2] gnu: Add hare. From: Liliana Marie Prikler To: Antero Mejr , "55606@debbugs.gnu.org" <55606@debbugs.gnu.org> Date: Sat, 25 Jun 2022 18:54:55 +0200 In-Reply-To: <1494793954.947626.1654278890520@office.mailbox.org> References: <1494793954.947626.1654278890520@office.mailbox.org> Content-Type: text/plain; charset="UTF-8" User-Agent: Evolution 3.42.1 MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 55606 Cc: Tobias Geerinckx-Rice , Maxime Devos 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 (-) Am Freitag, dem 03.06.2022 um 13:54 -0400 schrieb Antero Mejr: > Please let me know if there are any futher issues. For what it's worth, the patch should probably be split in three (one for as-for-target, one for harec, one for hare). Maxime, Tobias, what else is missing? From debbugs-submit-bounces@debbugs.gnu.org Sat Jun 25 13:53:18 2022 Received: (at 55606) by debbugs.gnu.org; 25 Jun 2022 17:53:18 +0000 Received: from localhost ([127.0.0.1]:46190 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o59yA-0007ec-82 for submit@debbugs.gnu.org; Sat, 25 Jun 2022 13:53:18 -0400 Received: from knopi.disroot.org ([178.21.23.139]:37716) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o59y5-0007eR-U3 for 55606@debbugs.gnu.org; Sat, 25 Jun 2022 13:53:17 -0400 Received: from localhost (localhost [127.0.0.1]) by disroot.org (Postfix) with ESMTP id 8546245917; Sat, 25 Jun 2022 19:53:12 +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 hKOfRDMoeW1T; Sat, 25 Jun 2022 19:53:11 +0200 (CEST) Mime-Version: 1.0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=disroot.org; s=mail; t=1656179589; bh=r7iDqjGn6fcPKDUnX0luhrxJAEYet+54pel3FcEFW4U=; h=Date:Cc:Subject:From:To:References:In-Reply-To; b=K8jO5qFNHHCZN2an/hQ1NpjlzwDojayn85zjfx7jasy5aA/dPR6+lMVvN2SfVgFfD qeshlP8CI5RPiqDpzEZeaWS68osKby3w+GlMTbMdMMBRXfrD8Ye+xSQbOVHocu7/o3 0l64rCo6tkPHZvWXWQijmExQO+m73xThwcjlj90gAtBiL6ZDYmo5XC5xE9pTcZx+WC 8csOA9J1CiitTTfjqT5BNTxcUqTg3RjHUocIYRTGN5WKFNYtIuKOQQCAUW44tXpTUI Xef1JWpmToJdHUN9GRu0djAGLeDWfIkdO7xdXPALFaViZW/BhFFpiz7gYe2rGLBJO1 6OqARgJMHyf5Q== Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=UTF-8 Date: Sat, 25 Jun 2022 18:53:08 +0100 Message-Id: Subject: Re: [bug#55606] [PATCH 2/2] gnu: Add hare. From: "(" To: "Liliana Marie Prikler" , "Antero Mejr" , "55606@debbugs.gnu.org" <55606@debbugs.gnu.org> References: <1494793954.947626.1654278890520@office.mailbox.org> <0f62a23e7014fa02404683d144bbeffa52732ebc.camel@gmail.com> In-Reply-To: <0f62a23e7014fa02404683d144bbeffa52732ebc.camel@gmail.com> X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 55606 Cc: Tobias Geerinckx-Rice , Maxime Devos 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 (-) FYI, I added Hare packages and libraries to Guix 'R Us a while ago, but was waiting for 1.0 to send it here: https://git.sr.ht/~whereiseveryone/guixrus/tree/master/item/guixrus/package= s/hare.scm https://git.sr.ht/~whereiseveryone/guixrus/tree/master/item/guixrus/package= s/common/hare.scm -- ( From debbugs-submit-bounces@debbugs.gnu.org Sat Jun 25 13:59:15 2022 Received: (at 55606) by debbugs.gnu.org; 25 Jun 2022 17:59:15 +0000 Received: from localhost ([127.0.0.1]:46194 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o5A3u-0007n0-SR for submit@debbugs.gnu.org; Sat, 25 Jun 2022 13:59:15 -0400 Received: from knopi.disroot.org ([178.21.23.139]:32796) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o5A3t-0007ms-8g for 55606@debbugs.gnu.org; Sat, 25 Jun 2022 13:59:13 -0400 Received: from localhost (localhost [127.0.0.1]) by disroot.org (Postfix) with ESMTP id 846014598A; Sat, 25 Jun 2022 19:59:12 +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 6rdVpujw6t6O; Sat, 25 Jun 2022 19:59:11 +0200 (CEST) Mime-Version: 1.0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=disroot.org; s=mail; t=1656179951; bh=/p0WrM76NNr6Y2ThXp3xutAwKeHhfVVUQbjDSrzz8Ag=; h=Date:Cc:Subject:From:To:References:In-Reply-To; b=ijVyZGgoREWSoJmIVPg9D3WDjQFxmn0topfXP+ylbGyM53OU9NNxxnTaN78qT+S3k l7NVtvdEUWHmGuZq5zg00c9o9XcL03B/o3a5/fBqvSQTlL4u2u/4YCBKAoej8ppBwu KSPOqrpg+Hwk2G44PNCjYRQ3XBPM7vw/y3Q9uSzYrl3O+HCj5LQhOrfkgT83cZNWCx emoFVX+zwje0zlEoi6jNvro/O8QO6AcaQSm93DMLa/a/6g6nxqYLgcHoXt7GK+cBH0 WcTaPAHc9ivOlske5QKbf7HGO84YA8eH5Ob0+p0Mn/13PgwSW9bvadsC3VwQej1aXU LwP+2hpbBW6RA== Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=UTF-8 Date: Sat, 25 Jun 2022 18:59:10 +0100 Message-Id: Subject: Re: [bug#55606] [PATCH 2/2] gnu: Add hare. From: "(" To: "Liliana Marie Prikler" , "Antero Mejr" , "55606@debbugs.gnu.org" <55606@debbugs.gnu.org> References: <1494793954.947626.1654278890520@office.mailbox.org> <0f62a23e7014fa02404683d144bbeffa52732ebc.camel@gmail.com> In-Reply-To: <0f62a23e7014fa02404683d144bbeffa52732ebc.camel@gmail.com> X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 55606 Cc: Tobias Geerinckx-Rice , Maxime Devos 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 (-) Some notes: + `hare` is not a compiler for Hare, it's a build tool. (It's going to include a self-hosted compiler eventually though :)) + I think the way this patch handles config.mk from `hare` is better. + The Guix 'R Us version works with cross-compilation; I don't think this one does? + harec and qbe probably shouldn't be propagated; their paths should be patched into the source code. -- ( From debbugs-submit-bounces@debbugs.gnu.org Sat Jun 25 18:05:40 2022 Received: (at 55606) by debbugs.gnu.org; 25 Jun 2022 22:05:40 +0000 Received: from localhost ([127.0.0.1]:46376 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o5DuO-0005V0-BN for submit@debbugs.gnu.org; Sat, 25 Jun 2022 18:05:40 -0400 Received: from mout-p-101.mailbox.org ([80.241.56.151]:34780) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o5DuL-0005Ul-VC for 55606@debbugs.gnu.org; Sat, 25 Jun 2022 18:05:39 -0400 Received: from smtp2.mailbox.org (smtp2.mailbox.org [IPv6:2001:67c:2050:b231:465::2]) (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-101.mailbox.org (Postfix) with ESMTPS id 4LVp2d5trPz9sQW; Sun, 26 Jun 2022 00:05:29 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mailbox.org; s=mail20150812; t=1656194729; 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=wZDGDCMuVYojXWToTjttZRGOmZF4mSPkvrUyhRS64Fc=; b=sh7lWgZKiVmMbPk+ncvcDgFQPc+ofTNZscLIatg813aKwP0AzolvrWLndma+ljAcFwWlm/ 7jgtzZTjRQoPyR0a7DMUvmDpakpzrQFNJ+K/1v3B4C1m3rfc1c2FmZhJwbNzHjzlLY/1SH 1Vl86LIu+NzJ1Cp67T1QRpZVSWhHQ0EE32SrI0QSu4MwY7Oe4FhFoldX3MZ6Vz5ChvS8Yy de5kIHyt/+vxPqv2WV2uPmE9gfBSpIyoXy1NxeoJBAg+KRRJ+hRfTWeKxl/ldAMdmMKKAD 3Aj+kvIDdyPPPnzX/cPxiFh94cnR3wmq4snhoKTRL4AOZGeCs3XUnNGq+0WeiQ== References: <1494793954.947626.1654278890520@office.mailbox.org> <0f62a23e7014fa02404683d144bbeffa52732ebc.camel@gmail.com> From: Antero Mejr To: Liliana Marie Prikler Subject: Re: [PATCH 2/2] gnu: Add hare. Date: Sat, 25 Jun 2022 21:32:34 +0000 In-reply-to: <0f62a23e7014fa02404683d144bbeffa52732ebc.camel@gmail.com> Message-ID: <8735fss8kl.fsf@mailbox.org> MIME-Version: 1.0 Content-Type: text/plain X-MBO-RS-ID: ed2ae1a78886a5175c9 X-MBO-RS-META: pzbgpih5shfp1p58tbctjzinw64kww5i X-Rspamd-Queue-Id: 4LVp2d5trPz9sQW X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 55606 Cc: "55606@debbugs.gnu.org" <55606@debbugs.gnu.org>, Tobias Geerinckx-Rice , Maxime Devos 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 (-) Liliana Marie Prikler writes: > For what it's worth, the patch should probably be split in three (one > for as-for-target, one for harec, one for hare). I split out as-for-target into a new patch/issue #56224, since it does not directly involve hare: https://issues.guix.gnu.org/56224 From debbugs-submit-bounces@debbugs.gnu.org Sun Jun 26 00:39:24 2022 Received: (at 55606) by debbugs.gnu.org; 26 Jun 2022 04:39:24 +0000 Received: from localhost ([127.0.0.1]:46510 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o5K3P-0000Jg-TY for submit@debbugs.gnu.org; Sun, 26 Jun 2022 00:39:24 -0400 Received: from mout-p-103.mailbox.org ([80.241.56.161]:52828) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o5K3O-0000JQ-5l for 55606@debbugs.gnu.org; Sun, 26 Jun 2022 00:39:22 -0400 Received: from smtp2.mailbox.org (smtp2.mailbox.org [10.196.197.2]) (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-103.mailbox.org (Postfix) with ESMTPS id 4LVymx4VVzz9sQk for <55606@debbugs.gnu.org>; Sun, 26 Jun 2022 06:39:13 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mailbox.org; s=mail20150812; t=1656218353; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=way1BjmslFZM4SzX26LKHUrBRnkd9O0P0LRKTxo9pQs=; b=MExnauaMgsjF66MtZzEJlxoPRzeqLLjX0nunVVv+IlkwHkFwDOzIMf4mKfldyQ/oXytWKq 7P4aC+AmjCnhmRdtRv2SOkoHvRIdZ19DGUtcI/oXHXuC4lYTo7JWuzyVA+ycOrbMwlm9OZ nfV8FjeHjILfyXmMsP+PTittbIXdSw2DFga42Jc8Xt4n1SHF3lMl2LatCCEZxJLHXFcGCI sqVfBw23GzHEvHmRNz7/7503tb1ahwFs0pyiPgx7qWmdLYPQMisF72lj0+0I7NpHp0YCQ1 4ydp51BEQUljcibDT5Xr3d4XuDQQyX4Fs/t7rEwmmjTBM5wDvmsL+uqbGGYS6w== From: Antero Mejr To: 55606@debbugs.gnu.org Subject: [PATCH 1/2] gnu: Add harec. Date: Sun, 26 Jun 2022 00:39:01 -0400 Message-Id: <20220626043902.3076-1-antero@mailbox.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-MBO-RS-META: f6ezj4wfnmcqrehcwc64exbr7f6kcu98 X-MBO-RS-ID: 69442184ca77d9cbd8a X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 55606 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 (-) * gnu/packages/hare.scm (harec): New variable. --- gnu/packages/hare.scm | 66 +++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 66 insertions(+) create mode 100644 gnu/packages/hare.scm diff --git a/gnu/packages/hare.scm b/gnu/packages/hare.scm new file mode 100644 index 0000000000..a1149499d5 --- /dev/null +++ b/gnu/packages/hare.scm @@ -0,0 +1,66 @@ +;;; GNU Guix --- Functional package management for GNU +;;; Copyright © 2022 (unmatched parenthesis +;;; Copyright © 2022 Antero Mejr +;;; +;;; 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 (gnu packages base) + #:use-module (gnu packages c) + #:use-module (gnu packages man) + #:use-module (guix build-system gnu) + #:use-module (guix download) + #:use-module ((guix licenses) #:prefix license:) + #:use-module (guix gexp) + #:use-module (guix git-download) + #:use-module (guix packages) + #:use-module (guix platform) + #:use-module (guix utils)) + +(define-public harec + (let ((commit "bbabe09bddf74bd699f8ad2224fdd6e2eefbd35e") (revision "0")) + (package + (name "harec") + (version (git-version "0.0.0" 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 + "0sa8rjj5w01n55svql8drv761ks6i1bl9q4gj1yzr31dixaf6xvr")))) + (build-system gnu-build-system) + (arguments + (list #:configure-flags #~(list (string-append "--prefix=" #$output)) + #:phases #~(modify-phases %standard-phases + (replace 'configure + (lambda* (#:key outputs + (configure-flags '()) #:allow-other-keys) + (setenv "AR" #$(ar-for-target)) + (setenv "AS" #$(as-for-target)) + (setenv "CC" #$(cc-for-target)) + (setenv "LD" #$(ld-for-target)) + (setenv "QBE" (string-append #$qbe "/bin/qbe")) + (apply invoke "./configure" configure-flags)))))) + (inputs (list qbe)) + (home-page "https://harelang.org") + (synopsis "Hare bootstrap compiler in C") + (description "This package provides @code{harec}, the Hare language's +bootstrap written in C. Currently, the self-hosting @code{harec} rewrite is +incomplete, so this is used as the default compiler in the build driver.") + (license license:gpl3)))) -- 2.36.1 From debbugs-submit-bounces@debbugs.gnu.org Sun Jun 26 00:39:28 2022 Received: (at 55606) by debbugs.gnu.org; 26 Jun 2022 04:39:28 +0000 Received: from localhost ([127.0.0.1]:46512 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o5K3U-0000Jw-AV for submit@debbugs.gnu.org; Sun, 26 Jun 2022 00:39:28 -0400 Received: from mout-p-101.mailbox.org ([80.241.56.151]:34788) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o5K3O-0000JS-MV for 55606@debbugs.gnu.org; Sun, 26 Jun 2022 00:39:25 -0400 Received: from smtp2.mailbox.org (smtp2.mailbox.org [10.196.197.2]) (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-101.mailbox.org (Postfix) with ESMTPS id 4LVymy4v1mz9sTd for <55606@debbugs.gnu.org>; Sun, 26 Jun 2022 06:39:14 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mailbox.org; s=mail20150812; t=1656218354; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=Kfq1+0JTeX2r3J7E9sqPiD3bpHXcj9+aqSL+O0NrxwQ=; b=kr5NqHWegSTXpO0bipIzJledFpFwywceQIwxZDRnkHbuUMJRGvQGYMX5fYNt9QwLG3dZhq 5NUH5nOF5PrplBulkwTpZX5oJtuwQjvJPNoet4SV382ESE0o9MEv+J0AxdIB5a8+s9Gqba hANWRy5V15K54QBYTc2QjZKNn7NiT/6J0zCXvyRjytL3lxvS3i7xiOW+SYFJ38CLdGerl+ epwLpf8fIA4hSCYuxjOAH6VVGtjS142U5nDwIQncK02Hsh1PktyajlvRqEIP7aT4Jx1nse 6T9N6VNSGKNEAQL7SYwfRzQxID27M25onAp4d+0+ecp2oiwaPZ+sKND1qwpjAg== From: Antero Mejr To: 55606@debbugs.gnu.org Subject: [PATCH 2/2] gnu: Add hare. Date: Sun, 26 Jun 2022 00:39:02 -0400 Message-Id: <20220626043902.3076-2-antero@mailbox.org> In-Reply-To: <20220626043902.3076-1-antero@mailbox.org> References: <20220626043902.3076-1-antero@mailbox.org> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-MBO-RS-ID: 297c6704efa3076e36e X-MBO-RS-META: bzkf3t3o7qqn9d4w3gqk6ym56wprkqco X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 55606 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 (-) * gnu/packages/hare.scm (hare): New variable. --- gnu/packages/hare.scm | 73 +++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 73 insertions(+) diff --git a/gnu/packages/hare.scm b/gnu/packages/hare.scm index a1149499d5..16c7d8e2dd 100644 --- a/gnu/packages/hare.scm +++ b/gnu/packages/hare.scm @@ -64,3 +64,76 @@ (define-public harec bootstrap written in C. Currently, the self-hosting @code{harec} rewrite is incomplete, so this is used as the default compiler in the build driver.") (license license:gpl3)))) + +(define-public hare + (let ((commit "19e380ccb7dfe2bcab5f94e6bd03004e3e2c6005") (revision "0")) + (package + (name "hare") + (version (git-version "0.0.0" 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 + "04fk3akj3410f8fxw2ixp6l6f9x54pnnk00c0hx0297p7hdzzzq4")))) + (build-system gnu-build-system) + (arguments + (list #:make-flags + #~(list (string-append "BINDIR=" #$output "/bin") + (string-append "MANDIR=" #$output "/share/man") + (string-append "SRCDIR=" #$output "/src") + (string-append "LOCALSRCDIR=" #$output "/src/hare") + (string-append "HAREC=" #$harec "/bin/harec") + (string-append "PLATFORM=" "linux") + (string-append "HAREPATH=" + #$output "/src/hare/stdlib:" + #$output "/src/hare/third-party") + (string-append "ARCH=" + #$(platform-linux-architecture + (lookup-platform-by-target-or-system + (or (%current-target-system) + (%current-system))))) + (string-append "AR=" #$(ar-for-target)) + (string-append "AS=" #$(as-for-target)) + (string-append "LD=" #$(ld-for-target)) + (string-append "QBE=" #$qbe "/bin/qbe") + (string-append "SCDOC=" #$scdoc "/bin/scdoc") + "HARECACHE=.cache" + "BINOUT=.bin") + #:phases + #~(modify-phases %standard-phases + (add-after 'unpack 'patch-failing-tests + (lambda _ + ;; These tests fail due to a NaN-related bug in QBE when + ;; used on glibc. + (substitute* "math/complex/+test.ha" + (("@test (fn (cos|cosh|exp)\\(\\) void =)" _ func) + func)))) + (add-after 'unpack 'patch-makefile + (lambda _ + (substitute* "Makefile" + (("include config.mk") "")))) + (delete 'configure)))) + (native-inputs (list scdoc)) + (inputs (list tzdata)) + (propagated-inputs (list binutils harec qbe)) + (supported-systems (list "x86_64-linux" "aarch64-linux" "riscv64-linux")) + (native-search-paths + (list (search-path-specification + (variable "HAREPATH") + (files '("src/hare/stdlib" "src/hare/third-party"))))) + (home-page "https://harelang.org") + (synopsis "Systems programming language") + (description "Hare is a systems programming language that aims to improve +on C while retaining its core philosophy. Its principles are: +@itemize +@item Trust the programmer. +@item Provide tools the programmer may use when they don't trust themselves. +@item Prefer explicit behavior over implicit behavior. +@item A good program must be both correct and simple. +@end itemize") + (license (list license:gpl3 ;compiler and build driver + license:mpl2.0))))) ;standard library -- 2.36.1 From debbugs-submit-bounces@debbugs.gnu.org Sun Jun 26 00:56:38 2022 Received: (at 55606) by debbugs.gnu.org; 26 Jun 2022 04:56:38 +0000 Received: from localhost ([127.0.0.1]:46530 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o5KK5-0000lX-N2 for submit@debbugs.gnu.org; Sun, 26 Jun 2022 00:56:38 -0400 Received: from mout-p-201.mailbox.org ([80.241.56.171]:36060) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o5KK1-0000lH-E4 for 55606@debbugs.gnu.org; Sun, 26 Jun 2022 00:56:37 -0400 Received: from smtp1.mailbox.org (smtp1.mailbox.org [IPv6:2001:67c:2050:b231:465::1]) (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-201.mailbox.org (Postfix) with ESMTPS id 4LVz8n32gfz9sS1; Sun, 26 Jun 2022 06:56:25 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mailbox.org; s=mail20150812; t=1656219385; 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=AgfRnildXQmTVm+xM6BfHUul0a+K8ffnwICML+SZo3A=; b=ds8SayF5g6c77pEDd6rNbVPjwb+bsjgxewwTRxfShb7PxrIIk0oN3GkChNGuhqWGDJq/qV ktXMp1edWrNMn6O2ENftl3RMQvil58fRH7dxHAzERrD0WlGtENprYKCEiKJMXITGHtWQ1G 6vs2CjwZBahoYozZzC7wiGIqpO6ojdpu8LhRiS2UAJ5FhapMOIT8wEMaicuE5iBGcbapU2 q5kew7fuK/mYicMD47XZXLV8JM1Umm2kYPWXwa9+KvNnHlAEfQp01lW1X877Fe8uzP/Ci4 wPVob+3WV5o9rk73kA7/1Cg2vQ3mfH00a32bQjgcZpbgUFm1hXZf++DOM3EQvg== References: <1494793954.947626.1654278890520@office.mailbox.org> <0f62a23e7014fa02404683d144bbeffa52732ebc.camel@gmail.com> From: Antero Mejr To: "(" Subject: Re: [bug#55606] [PATCH 2/2] gnu: Add hare. Date: Sun, 26 Jun 2022 00:40:45 -0400 In-reply-to: Message-ID: <87v8so81lg.fsf@mailbox.org> MIME-Version: 1.0 Content-Type: text/plain X-MBO-RS-META: sn4dtz5tf6j4xdomzko6f7tsziejfec4 X-MBO-RS-ID: 14fea3f1959f40b9369 X-Rspamd-Queue-Id: 4LVz8n32gfz9sS1 X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 55606 Cc: "55606@debbugs.gnu.org" <55606@debbugs.gnu.org>, Tobias Geerinckx-Rice , Maxime Devos , Liliana Marie Prikler 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 (-) Hi (, "(" writes: > Some notes: > > + `hare` is not a compiler for Hare, it's a build tool. (It's going to > include a self-hosted compiler eventually though :)) The above 2 patches are a combination of your guixrus patches and mine. The descriptions are replaced with your better ones, and you are credited at the top. > + I think the way this patch handles config.mk from `hare` is better. I kept that part in the new patches. > + The Guix 'R Us version works with cross-compilation; I don't think this > one does? You mean cross-compilation of hare code? When I try to use hare build -t (the target flag) it gives me a not implemented error, so I don't think hare cross-compilation is possible right now. As for cross-compilation of the guix hare build, I think the platform-linux-architecture bit should take care of it, right? > + harec and qbe probably shouldn't be propagated; their paths should be > patched into the source code. > > -- ( 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. Thanks, Antero From debbugs-submit-bounces@debbugs.gnu.org Sun Jun 26 01:00:33 2022 Received: (at 55606) by debbugs.gnu.org; 26 Jun 2022 05:00:33 +0000 Received: from localhost ([127.0.0.1]:46535 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o5KNs-0000se-W6 for submit@debbugs.gnu.org; Sun, 26 Jun 2022 01:00:33 -0400 Received: from mout-p-101.mailbox.org ([80.241.56.151]:34792) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o5KNr-0000sR-P9 for 55606@debbugs.gnu.org; Sun, 26 Jun 2022 01:00:32 -0400 Received: from smtp102.mailbox.org (smtp102.mailbox.org [IPv6:2001:67c:2050:b231:465::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-101.mailbox.org (Postfix) with ESMTPS id 4LVzFM6hL5z9sV2; Sun, 26 Jun 2022 07:00:23 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mailbox.org; s=mail20150812; t=1656219623; 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=Xq+GUpcWShF+glpzBFO1PV3jIH3i002WnOglZdN57uM=; b=pLNBEUXOcOkKTJgRGo9SFrFehJQr22d1pJVfLFVfypjsN/LjNPN00LzvpI3Maf1I4o+ue0 Vdg1jtsK7ryTLpPl/O+axrZdY42IYwjlS1YnYSDdcBY3pTcATQzEifC5X02cs6KIrtAPuI XwlzJnmd9feilxhnoFagUhNbrlIc0eMVsCyZn5epoPUTSy0ey6h38trZxcrj6JZ1B0iUQm fsjJSSo5iOXycuCP2354b396zPh2lcDKXpFp414CntxyLcRTBvFo2QUjr+lILCUSj8hxvE uqrvhbSV/asG4lqRnTIFd96qF3Yr4jhM2ctmZ+Iy+2PGJWATg1QRTJ5f1PLqtg== References: <1494793954.947626.1654278890520@office.mailbox.org> <0f62a23e7014fa02404683d144bbeffa52732ebc.camel@gmail.com> From: Antero Mejr To: "(" Subject: Re: [bug#55606] [PATCH 2/2] gnu: Add hare. Date: Sun, 26 Jun 2022 00:56:47 -0400 In-reply-to: Message-ID: <87r13c81ek.fsf@mailbox.org> MIME-Version: 1.0 Content-Type: text/plain X-MBO-RS-ID: 2f2601d140d3d68d30c X-MBO-RS-META: aoyirq34c5ycuimascihg6cn5fx3nbhc X-Rspamd-Queue-Id: 4LVzFM6hL5z9sV2 X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 55606 Cc: "55606@debbugs.gnu.org" <55606@debbugs.gnu.org>, Tobias Geerinckx-Rice , Maxime Devos , Liliana Marie Prikler 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 (-) "(" writes: > FYI, I added Hare packages and libraries to Guix 'R Us a while ago, but > was waiting for 1.0 to send it here: > Hare is already in Nixpkgs and AUR, so I think it would be good to make the language available in Guix. I haven't seen a release plan, so 1.0.0 could still be far off. From debbugs-submit-bounces@debbugs.gnu.org Sun Jun 26 02:50:49 2022 Received: (at 55606) by debbugs.gnu.org; 26 Jun 2022 06:50:50 +0000 Received: from localhost ([127.0.0.1]:46597 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o5M6Y-0003vr-AH for submit@debbugs.gnu.org; Sun, 26 Jun 2022 02:50:49 -0400 Received: from mail-ed1-f67.google.com ([209.85.208.67]:41832) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o5M6T-0003va-Uv for 55606@debbugs.gnu.org; Sun, 26 Jun 2022 02:50:44 -0400 Received: by mail-ed1-f67.google.com with SMTP id cf14so8873747edb.8 for <55606@debbugs.gnu.org>; Sat, 25 Jun 2022 23:50:41 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=message-id:subject:from:to:cc:date:in-reply-to:references :user-agent:mime-version:content-transfer-encoding; bh=d+Ry4JhjlUMDfmHDcxvHMTfP6w0iwB1roRzePaKZU70=; b=IOtPxsxcpwRuVi9G2X43KgmbIrJSL4LSBNjOfu2UGawUULt7ZlSFsNSZ4Y87cLZHns eJIoxDHD4YErZG3BWJHvWqwSjd0/QnKomQkwGu/+CFf/xPkl2k8o0a35Y2JcJpuXtH21 27jTisPdJ1c8QAl6Xes/jTeUpY1g2fRQbhghR3UtOIXZGDzb09kF23JhDy1CuwC2EDrB 4UCKk3/5SA4VTkHmYWwJZevbp8yfQ+2LBXj6H9ja12dUGJGD21WJ5A+XwTed+i9CFP9E cFlsEDCpSqFQHfRLGvV2aVwYN2klUDBEaZ6/FtMLqMt2yKjO2dYTdLZgGh8L4ESOBdf6 KzMw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:message-id:subject:from:to:cc:date:in-reply-to :references:user-agent:mime-version:content-transfer-encoding; bh=d+Ry4JhjlUMDfmHDcxvHMTfP6w0iwB1roRzePaKZU70=; b=n41CsWTAYkPAt3so88XF/ulO0lnAol69XYB7NcTd52IbpLBCybnE1R3g6zMnB9OuED XNNgJuHIRKjNskF0EfkGdlUdpoeXLz8N0/nyjGIg79MVnt7Xlk/XK0r/0qvM5LJLVzVF HdQgMBftztW1Mmb3SfYhB4JERDiAFFdPCL6TEv62/KIdUMtJlmXR94xSJTCjBVuYflv4 5echtpgxVf9twlX9SDogjeM+aKsDpNh4CiLOXE7vUWs9MDH5dYHX41439qSKq8L8waip p9BGzcvw3nblFQ0lw8JgF9m/A4vDKVhPutmdrgG17stVmiGM6bzQQ4ZOcVqEIoO39Tmc WIiQ== X-Gm-Message-State: AJIora8J8zge2wq52HUwZWPH4xE9YqrE3GqodRlXYei1ZIX9CrD0TSkM MNxEVxNeCyUJDngOjU63GSY= X-Google-Smtp-Source: AGRyM1tTP40bCoRjlxxLu8gXgNxOQ03GZYBfONfJML9xdyHsKqg6pjyPTpq+NIad8mlUZLYBYMQOaQ== X-Received: by 2002:aa7:c14f:0:b0:435:7b75:fd06 with SMTP id r15-20020aa7c14f000000b004357b75fd06mr9399941edp.352.1656226234679; Sat, 25 Jun 2022 23:50:34 -0700 (PDT) Received: from nijino.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id i21-20020a17090639d500b006fe98fb9523sm3437770eje.129.2022.06.25.23.50.33 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 25 Jun 2022 23:50:34 -0700 (PDT) Message-ID: <83e1d5b4523b9ecb6ca2540fe3fa7866425118ff.camel@gmail.com> Subject: Re: [PATCH 1/2] gnu: Add harec. From: Liliana Marie Prikler To: Antero Mejr , 55606@debbugs.gnu.org Date: Sun, 26 Jun 2022 08:50:32 +0200 In-Reply-To: <20220626043902.3076-1-antero@mailbox.org> References: <20220626043902.3076-1-antero@mailbox.org> Content-Type: text/plain; charset="UTF-8" User-Agent: Evolution 3.42.1 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 55606 Cc: "\(" , Tobias Geerinckx-Rice , Maxime Devos 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 (-) Hi, added the others back to CC; don't forget to set those when using guix send-email. Am Sonntag, dem 26.06.2022 um 00:39 -0400 schrieb Antero Mejr: > * gnu/packages/hare.scm (harec): New variable. > --- >  gnu/packages/hare.scm | 66 > +++++++++++++++++++++++++++++++++++++++++++ >  1 file changed, 66 insertions(+) >  create mode 100644 gnu/packages/hare.scm > > diff --git a/gnu/packages/hare.scm b/gnu/packages/hare.scm > new file mode 100644 > index 0000000000..a1149499d5 > --- /dev/null > +++ b/gnu/packages/hare.scm > @@ -0,0 +1,66 @@ > +;;; GNU Guix --- Functional package management for GNU > +;;; Copyright © 2022 (unmatched parenthesis > +;;; Copyright © 2022 Antero Mejr > +;;; > +;;; 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 (gnu packages base) > +  #:use-module (gnu packages c) > +  #:use-module (gnu packages man) > +  #:use-module (guix build-system gnu) > +  #:use-module (guix download) > +  #:use-module ((guix licenses) #:prefix license:) > +  #:use-module (guix gexp) > +  #:use-module (guix git-download) > +  #:use-module (guix packages) > +  #:use-module (guix platform) > +  #:use-module (guix utils)) > + > +(define-public harec > +  (let ((commit "bbabe09bddf74bd699f8ad2224fdd6e2eefbd35e") > (revision "0")) Despite what (guix style) may tell you, revision goes to an extra line. > +    (package > +      (name "harec") > +      (version (git-version "0.0.0" 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 > +                  > "0sa8rjj5w01n55svql8drv761ks6i1bl9q4gj1yzr31dixaf6xvr")))) > +      (build-system gnu-build-system) > +      (arguments > +       (list #:configure-flags #~(list (string-append "--prefix=" > #$output)) > +             #:phases #~(modify-phases %standard-phases > +                          (replace 'configure > +                            (lambda* (#:key outputs > +                                      (configure-flags '()) #:allow- > other-keys) > +                              (setenv "AR" #$(ar-for-target)) > +                              (setenv "AS" #$(as-for-target)) > +                              (setenv "CC" #$(cc-for-target)) > +                              (setenv "LD" #$(ld-for-target)) > +                              (setenv "QBE" (string-append #$qbe > "/bin/qbe")) Should be (which "qbe"), or some elaborate search-input-file. Also qbe should be a native input. I do wonder if some of those get embedded into the compiler or how they're supposed to be used (outside of build time); if you find a place where harec invokes qbe, you'd need to patch that in the source. > +                              (apply invoke "./configure" configure- > flags)))))) > +      (inputs (list qbe)) > +      (home-page "https://harelang.org") > +      (synopsis "Hare bootstrap compiler in C") > +      (description "This package provides @code{harec}, the Hare > language's > +bootstrap written in C.  Currently, the self-hosting @code{harec} > rewrite is > +incomplete, so this is used as the default compiler in the build > driver.") I don't see why it's necessary to state that harec can't self-host yet. We would need to bootstrap it from C anyways, so having this architecture in place actually makes things simpler. > +      (license license:gpl3)))) Cheers From debbugs-submit-bounces@debbugs.gnu.org Sun Jun 26 03:18:57 2022 Received: (at 55606) by debbugs.gnu.org; 26 Jun 2022 07:18:57 +0000 Received: from localhost ([127.0.0.1]:46613 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o5MXo-0004b5-Op for submit@debbugs.gnu.org; Sun, 26 Jun 2022 03:18:57 -0400 Received: from mail-ed1-f67.google.com ([209.85.208.67]:35549) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o5MXk-0004aq-J5 for 55606@debbugs.gnu.org; Sun, 26 Jun 2022 03:18:55 -0400 Received: by mail-ed1-f67.google.com with SMTP id e40so8961936eda.2 for <55606@debbugs.gnu.org>; Sun, 26 Jun 2022 00:18:52 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=message-id:subject:from:to:cc:date:in-reply-to:references :user-agent:mime-version:content-transfer-encoding; bh=AgySP8psQ+QWnw2lYZCyUFJZgSczcgjz8OBVwRB7yYQ=; b=QjJakrWp4SUCVMlz8BF2RkWh37sDK6Khoy3SSNoAZk+iEOutqLq/ygbcQ4DjyUnC1j s9LL14gTkFZx2l3ess5bJoyWlpiX7zLA323Mq5P3JcJZPka5wzB0xsXriP/HuDgJREgF AKZ6tauX8K1U5qYPFrSK0ccMHZmguefe1bvHlMLUcg/IhsXWUMhyAlc275aOjVAxFq+V E35uNzzoUPMIGhGMy3m05s2KzwK/RsXtgeWr1WJLfXzIe3ElhVR5SQ5t9oWySec+5TiD AP6XkSHyYMUguM1RNibvl9OvB9j7vjBbBa1C01ojV4OAqfZcoTUTDAxIVnyw61cllqLi bJPA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:message-id:subject:from:to:cc:date:in-reply-to :references:user-agent:mime-version:content-transfer-encoding; bh=AgySP8psQ+QWnw2lYZCyUFJZgSczcgjz8OBVwRB7yYQ=; b=jMyy9Ihgiv7zAITjGUVhE+7NkaWbrUBaakQrDUEjOe5L1SAcrZN0GCPITUdSaiD/Nb 3BQs+RU9Acghs6MCp+mTfG1fYLGA3RyD8XCCHTfAz/0W1ulAUYs+eLlIzCUCMkk0xlMu E94JH6C1KBIfRBxyiAE+v0BkORIMlb4qlutaZ/31uSGPzFzTtpT899AkOlWWLn4iRBCW nCejJAT0u+3uAa+WHVuBeVxtOqi6dWDXg+FAbP24ejU6OpFrHBlyWmKhJmEuvYEeyHWT I/c1dxUGxVeRSD7CJYBLFM3PtQqp3pdOroUNRq4/WJPanuyFf6W3fpwG94Zh5YBKuE0r jCRg== X-Gm-Message-State: AJIora+wxLISh8M1LoElTOpFLKnSlocs9jKqIl1d5fFz5GeyHIAsEXmi JIN0Shdfa12VAox59IAhGOY= X-Google-Smtp-Source: AGRyM1sxDsBuyMQh6vhAcj+0z5ClkiykLkFTLrN/7SewIgkZhoFI6Lycx8goEJwHfBWv40B7m7A0vA== X-Received: by 2002:aa7:d94a:0:b0:435:75bf:48a0 with SMTP id l10-20020aa7d94a000000b0043575bf48a0mr9358531eds.187.1656227926548; Sun, 26 Jun 2022 00:18:46 -0700 (PDT) Received: from nijino.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id q10-20020a170906940a00b006fe8bf56f53sm3509887ejx.43.2022.06.26.00.18.45 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sun, 26 Jun 2022 00:18:46 -0700 (PDT) Message-ID: <415a5fd68a5540c6ba45bdd69edbbf8fb39335d9.camel@gmail.com> Subject: Re: [PATCH 2/2] gnu: Add hare. From: Liliana Marie Prikler To: Antero Mejr , 55606@debbugs.gnu.org Date: Sun, 26 Jun 2022 09:18:45 +0200 In-Reply-To: <20220626043902.3076-2-antero@mailbox.org> References: <20220626043902.3076-1-antero@mailbox.org> <20220626043902.3076-2-antero@mailbox.org> Content-Type: text/plain; charset="UTF-8" User-Agent: Evolution 3.42.1 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 55606 Cc: "\(" , Tobias Geerinckx-Rice , Maxime Devos 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 (-) Hi, Am Sonntag, dem 26.06.2022 um 00:39 -0400 schrieb Antero Mejr: > * gnu/packages/hare.scm (hare): New variable. > --- >  gnu/packages/hare.scm | 73 > +++++++++++++++++++++++++++++++++++++++++++ >  1 file changed, 73 insertions(+) > > diff --git a/gnu/packages/hare.scm b/gnu/packages/hare.scm > index a1149499d5..16c7d8e2dd 100644 > --- a/gnu/packages/hare.scm > +++ b/gnu/packages/hare.scm > @@ -64,3 +64,76 @@ (define-public harec >  bootstrap written in C.  Currently, the self-hosting @code{harec} > rewrite is >  incomplete, so this is used as the default compiler in the build > driver.") >        (license license:gpl3)))) > + > +(define-public hare > +  (let ((commit "19e380ccb7dfe2bcab5f94e6bd03004e3e2c6005") > (revision "0")) As with harec. > +    (package > +      (name "hare") > +      (version (git-version "0.0.0" 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 > +                  > "04fk3akj3410f8fxw2ixp6l6f9x54pnnk00c0hx0297p7hdzzzq4")))) > +      (build-system gnu-build-system) > +      (arguments > +       (list #:make-flags > +             #~(list (string-append "BINDIR=" #$output "/bin") > +                     (string-append "MANDIR=" #$output "/share/man") > +                     (string-append "SRCDIR=" #$output "/src") > +                     (string-append "LOCALSRCDIR=" #$output > "/src/hare") > +                     (string-append "HAREC=" #$harec "/bin/harec") Should have a (this-package-input) or (this-package-native-input) for harec. If it's the latter, (which "harec") might also be acceptable. > +                     (string-append "PLATFORM=" "linux") > +                     (string-append "HAREPATH=" > +                                    #$output "/src/hare/stdlib:" > +                                    #$output "/src/hare/third- > party") > +                     (string-append "ARCH=" > +                                    #$(platform-linux-architecture > +                                       (lookup-platform-by-target- > or-system > +                                        (or (%current-target-system) > +                                            (%current-system))))) > +                     (string-append "AR=" #$(ar-for-target)) > +                     (string-append "AS=" #$(as-for-target)) > +                     (string-append "LD=" #$(ld-for-target)) > +                     (string-append "QBE=" #$qbe "/bin/qbe") As with harec. > +                     (string-append "SCDOC=" #$scdoc "/bin/scdoc") As with harec. > +                     "HARECACHE=.cache" > +                     "BINOUT=.bin") I suppose neither of those ought to be installed? > +             #:phases > +             #~(modify-phases %standard-phases > +                 (add-after 'unpack 'patch-failing-tests > +                   (lambda _ > +                     ;; These tests fail due to a NaN-related bug in > QBE when > +                     ;; used on glibc. > +                     (substitute* "math/complex/+test.ha" > +                       (("@test (fn (cos|cosh|exp)\\(\\) void =)" _ > func) > +                        func)))) > +                 (add-after 'unpack 'patch-makefile > +                   (lambda _ > +                     (substitute* "Makefile" > +                       (("include config.mk") "")))) > +                 (delete 'configure)))) Why delete configure here, but not in harec? I'm pretty sure we can use the same hack for both packages. > +      (native-inputs (list scdoc)) > +      (inputs (list tzdata)) > +      (propagated-inputs (list binutils harec qbe)) > +      (supported-systems (list "x86_64-linux" "aarch64-linux" > "riscv64-linux")) > +      (native-search-paths > +       (list (search-path-specification > +              (variable "HAREPATH") > +              (files '("src/hare/stdlib" "src/hare/third-party"))))) Is there a need to split HAREPATH like that? From a functionality perspective, a singular "include/hare" or similar ought to be enough. I'd specifically avoid "src" since it exists "only for reference purposes" in the FHS. Other distros mandate that the linux kernel source code be put there. > +      (home-page "https://harelang.org") > +      (synopsis "Systems programming language") > +      (description "Hare is a systems programming language that aims > to improve > +on C while retaining its core philosophy. Its principles are: > +@itemize > +@item Trust the programmer. > +@item Provide tools the programmer may use when they don't trust > themselves. > +@item Prefer explicit behavior over implicit behavior. > +@item A good program must be both correct and simple. > +@end itemize") > +      (license (list license:gpl3 ;compiler and build driver > +                     license:mpl2.0))))) ;standard library Cheers From debbugs-submit-bounces@debbugs.gnu.org Sun Jun 26 03:30:40 2022 Received: (at 55606) by debbugs.gnu.org; 26 Jun 2022 07:30:40 +0000 Received: from localhost ([127.0.0.1]:46631 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o5MjA-0004u8-6J for submit@debbugs.gnu.org; Sun, 26 Jun 2022 03:30:40 -0400 Received: from baptiste.telenet-ops.be ([195.130.132.51]:42778) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o5Mix-0004tm-GI for 55606@debbugs.gnu.org; Sun, 26 Jun 2022 03:30:39 -0400 Received: from ptr-bvsjgyhxw7psv60dyze.18120a2.ip6.access.telenet.be ([IPv6:2a02:1811:8c09:9d00:3c5f:2eff:feb0:ba5a]) by baptiste.telenet-ops.be with bizsmtp id njWR270094UW6Th01jWRLV; Sun, 26 Jun 2022 09:30:25 +0200 Message-ID: Subject: Re: [bug#55606] [PATCH 2/2] gnu: Add hare. From: Maxime Devos To: Antero Mejr , "(" Date: Sun, 26 Jun 2022 09:30:24 +0200 In-Reply-To: <87v8so81lg.fsf@mailbox.org> References: <1494793954.947626.1654278890520@office.mailbox.org> <0f62a23e7014fa02404683d144bbeffa52732ebc.camel@gmail.com> <87v8so81lg.fsf@mailbox.org> Content-Type: multipart/signed; micalg="pgp-sha512"; protocol="application/pgp-signature"; boundary="=-hBHCZ0vLPGEyvRmXnd/3" User-Agent: Evolution 3.38.3-1 MIME-Version: 1.0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=telenet.be; s=r22; t=1656228626; bh=X7AuldLFQdCo7R8GXUTbfrLk4yMy8WQvR7XHKFR3I7E=; h=Subject:From:To:Cc:Date:In-Reply-To:References; b=M59iLAjtcOxHdKRieA1dy/kxil62lz/ehvz6oLeJsb/ZYZXJn0R0RppeIVq22TtKl GzC8pNzkoSE90hyKsq9dKIlnjvQB+Lm6FFrmDVtcacn1OLGSv+dZIAB419h6l4X39K wPKNzz5uE/sHg1cicUdDqwxluTmvSoFSryAkFcZVL/UpyvWw/OaqGZ04Wwd8v0Z1fG i+ca5ldgyYaS4Lq1gMP8p3ipofV5GW0G5e7+U2W/+EyruasfHlm3vUOsXXDYVxOmfL zBp9+2Uz2cMHAKkZT2x4BM6WdkaVxTdgfXX4BrGs9VaRZjKymKzXBm+3oaJ+R6WcVW 7SoKjMXmYi8bQ== X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 55606 Cc: "55606@debbugs.gnu.org" <55606@debbugs.gnu.org>, Tobias Geerinckx-Rice , Liliana Marie Prikler 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 (-) --=-hBHCZ0vLPGEyvRmXnd/3 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Antero Mejr schreef op zo 26-06-2022 om 00:40 [-0400]: > > + The Guix 'R Us version works with cross-compilation; I don't > > think this > > =C2=A0=C2=A0 one does? > You mean cross-compilation of hare code? When I try to use hare build > -t (the target flag) it gives me a not implemented error, so I don't > think hare cross-compilation is possible right now. IIRC, it was for cross-compiling the compiler itself, not using harec as a cross-compiler. Greetings, Maxime. --=-hBHCZ0vLPGEyvRmXnd/3 Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- iI0EABYKADUWIQTB8z7iDFKP233XAR9J4+4iGRcl7gUCYrgLEBccbWF4aW1lZGV2 b3NAdGVsZW5ldC5iZQAKCRBJ4+4iGRcl7gGJAP96sffch53aCaNIhAY+SiMgGZBp CReB6BboaaGGHEvM2AD/ShFKNCXuH3VaIYTtgIh2BZtzvb2G7ku6UQWr072+uAQ= =UqI0 -----END PGP SIGNATURE----- --=-hBHCZ0vLPGEyvRmXnd/3-- From debbugs-submit-bounces@debbugs.gnu.org Sun Jun 26 03:34:24 2022 Received: (at 55606) by debbugs.gnu.org; 26 Jun 2022 07:34:24 +0000 Received: from localhost ([127.0.0.1]:46641 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o5Mml-0004zf-TD for submit@debbugs.gnu.org; Sun, 26 Jun 2022 03:34:24 -0400 Received: from andre.telenet-ops.be ([195.130.132.53]:46558) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o5Mmj-0004zU-4y for 55606@debbugs.gnu.org; Sun, 26 Jun 2022 03:34:22 -0400 Received: from ptr-bvsjgyhxw7psv60dyze.18120a2.ip6.access.telenet.be ([IPv6:2a02:1811:8c09:9d00:3c5f:2eff:feb0:ba5a]) by andre.telenet-ops.be with bizsmtp id njaK2700E4UW6Th01jaLVU; Sun, 26 Jun 2022 09:34:20 +0200 Message-ID: <74953c055d467420fdd4b0d13a6d42800da2eafb.camel@telenet.be> Subject: Re: [bug#55606] [PATCH 2/2] gnu: Add hare. From: Maxime Devos To: Antero Mejr , "(" Date: Sun, 26 Jun 2022 09:34:18 +0200 In-Reply-To: <87v8so81lg.fsf@mailbox.org> References: <1494793954.947626.1654278890520@office.mailbox.org> <0f62a23e7014fa02404683d144bbeffa52732ebc.camel@gmail.com> <87v8so81lg.fsf@mailbox.org> Content-Type: multipart/signed; micalg="pgp-sha512"; protocol="application/pgp-signature"; boundary="=-fdY+ctWZxST23he2ORJu" User-Agent: Evolution 3.38.3-1 MIME-Version: 1.0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=telenet.be; s=r22; t=1656228860; bh=i0h2QmSP+6WLa+JCirIcTrwco5Tsjbkl9Lp3lWZFFvg=; h=Subject:From:To:Cc:Date:In-Reply-To:References; b=GqVDzR3ZeCxZIBRMfiQGfPyP54jtf5+p0SSaXxk9lVmS4tHKEB2qPr0/J2m7xTy3f +cSHyfMZkOjfS6wQZfTBhM1QvNGXYGq5HzFOavn+u4H2PoP8AuRWjnMBg3ME1mC5vE BXtK/wlrWV6SGMJbKVkNsH/DhANe3QweppF6xec2AgSr/9VZ1KPmhwuR8NzYR+z7lw qd1EBbxfcpOmZarQZyODWxmEDxrqOz1AzCit28uSGPSWF7CsmMxiLB7ISizDZVNHKW A9Y9PNlwqn0zvdbO2Vtkd4WC/ef+tM6lkWofZXV+n2lUw7qnwYZKCBtAn5ISnnCyC1 c5JWduJfgnjzA== X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 55606 Cc: "55606@debbugs.gnu.org" <55606@debbugs.gnu.org>, Tobias Geerinckx-Rice , Liliana Marie Prikler 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 (-) --=-fdY+ctWZxST23he2ORJu Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Antero Mejr schreef op zo 26-06-2022 om 00:40 [-0400]: > > + harec and qbe probably shouldn't be propagated; their paths > > should be > > =C2=A0=C2=A0 patched into the source code. > >=20 > > =C2=A0=C2=A0=C2=A0=C2=A0 -- ( >=20 > I'm unsure about this one - maybe the user would want to use harec or > qbe by themselves to debug a build step? FWIW, they can use "guix install harec qbe" for that. Greetings, Maxime. --=-fdY+ctWZxST23he2ORJu Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- iI0EABYKADUWIQTB8z7iDFKP233XAR9J4+4iGRcl7gUCYrgL+xccbWF4aW1lZGV2 b3NAdGVsZW5ldC5iZQAKCRBJ4+4iGRcl7sMNAQCKMJEagJT72SY/xgCz5ghR204C oFDJDAygbOHiFKqFcAEAs+ILkirAhL6Mh1Lhnl1d9HGWy1+StfWfdv6j/hx8Lgc= =83Ve -----END PGP SIGNATURE----- --=-fdY+ctWZxST23he2ORJu-- From debbugs-submit-bounces@debbugs.gnu.org Sun Jun 26 06:58:48 2022 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: Subject: Re: [bug#55606] [PATCH 2/2] gnu: Add hare. From: "(" To: "Antero Mejr" References: <1494793954.947626.1654278890520@office.mailbox.org> <0f62a23e7014fa02404683d144bbeffa52732ebc.camel@gmail.com> <87v8so81lg.fsf@mailbox.org> In-Reply-To: <87v8so81lg.fsf@mailbox.org> X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 55606 Cc: "55606@debbugs.gnu.org" <55606@debbugs.gnu.org>, Tobias Geerinckx-Rice , Maxime Devos , Liliana Marie Prikler 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 (-) 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. -- ( From debbugs-submit-bounces@debbugs.gnu.org Sun Jun 26 07:06:00 2022 Received: (at 55606) by debbugs.gnu.org; 26 Jun 2022 11:06:00 +0000 Received: from localhost ([127.0.0.1]:46835 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o5Q5X-0001sO-VD for submit@debbugs.gnu.org; Sun, 26 Jun 2022 07:06:00 -0400 Received: from knopi.disroot.org ([178.21.23.139]:60908) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o5Q5V-0001sI-Ol for 55606@debbugs.gnu.org; Sun, 26 Jun 2022 07:05:58 -0400 Received: from localhost (localhost [127.0.0.1]) by disroot.org (Postfix) with ESMTP id 2A94F45A84; Sun, 26 Jun 2022 13:05:57 +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 umobYgF3PRGo; Sun, 26 Jun 2022 13:05:56 +0200 (CEST) Mime-Version: 1.0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=disroot.org; s=mail; t=1656241556; bh=sBt2i5yXRHDn7av2nufzBPk/2DFn3ApA+MUY323N+0s=; h=Date:From:To:Cc:Subject:References:In-Reply-To; b=U8gMYsxcpMiiLigEFggcKW9GzYroznlgNourA0quLFo+v5itRu+rqEKB0HCVNELwH S9CEbfzrkK9BKW4sdKbPV2/rYCPzCPcJl096tjpQ0NoicdspQE6VYmgFq4+uV7gidf rinBdc+Ngd6KT7/Cru8FJjq9i/bpU0ofFgCEakEai8XyRg6PH64T7qwDYK5ksZj7Ag JHstAu3ElEshqrrLKz3RyDMlOKDZdcJ5/gh4u2KA7ZZsS+deLRtCV4RKkl1z78sCYT Knm7VLoe9jTC1sarbugPW6dLLWFQSgQjMB//rmt0fRMHGXI3BnEPiL+iU57008egpQ EYspStL6Rc8mw== Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=UTF-8 Date: Sun, 26 Jun 2022 12:05:55 +0100 Message-Id: From: "(" To: "Liliana Marie Prikler" , "Antero Mejr" , <55606@debbugs.gnu.org> Subject: Re: [PATCH 2/2] gnu: Add hare. References: <20220626043902.3076-1-antero@mailbox.org> <20220626043902.3076-2-antero@mailbox.org> <415a5fd68a5540c6ba45bdd69edbbf8fb39335d9.camel@gmail.com> In-Reply-To: <415a5fd68a5540c6ba45bdd69edbbf8fb39335d9.camel@gmail.com> X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 55606 Cc: Tobias Geerinckx-Rice , Maxime Devos 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 (-) On Sun Jun 26, 2022 at 8:18 AM BST, Liliana Marie Prikler wrote: > Is there a need to split HAREPATH like that? Yes. The standard library modules and third-party modules are stored in different directories. (Don't ask... :P) > From a functionality > perspective, a singular "include/hare" or similar ought to be enough.=20 > I'd specifically avoid "src" since it exists "only for reference > purposes" in the FHS. Other distros mandate that the linux kernel > source code be put there. Well, it contains source code, and Hare makefiles install into /usr/src by default, so using src makes sense. -- ( From debbugs-submit-bounces@debbugs.gnu.org Sun Jun 26 10:00:15 2022 Received: (at 55606) by debbugs.gnu.org; 26 Jun 2022 14:00:16 +0000 Received: from localhost ([127.0.0.1]:48441 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o5SoB-0004cF-AL for submit@debbugs.gnu.org; Sun, 26 Jun 2022 10:00:15 -0400 Received: from mout-p-103.mailbox.org ([80.241.56.161]:52834) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o5So7-0004am-L9 for 55606@debbugs.gnu.org; Sun, 26 Jun 2022 10:00:14 -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-103.mailbox.org (Postfix) with ESMTPS id 4LWCD31YDzz9sQZ; Sun, 26 Jun 2022 16:00:03 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mailbox.org; s=mail20150812; t=1656252003; 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; bh=m30FbTXR/pKCRL/HX22JKnjW83DEjR87AGHfI999ZDw=; b=W/TtpHqHY8u9ScGovUCVV1jLwKQf9Woa2WD69MCdNGwnDQN9sj3QMeOrI4KSVpqnCnxZ8l as4mnTYQDUOQt5Stmfy3V2z+6kUAZSAeaOK2ka92UDttMh+exw0/pDrzn8xwxsMz1klg3F MTZLK1JXXP02xutxsOjRdUwzdtIEn9/4PM0c97CCy8jsX2X6FPgcnmTtKcx6Xo3kOrTRVo c1rVbNOJbdROhChuVkqP4FMTeOQcJwsDmzTm0XC6MKay19YfOokVgaqMim2GGI7WlHDr5Z DRk+vXM3BbyNgOJK6gySgnk5vjoLA2GhnjwuANxhnyrGdDOsoy6k4YHYyVjhBA== From: Antero Mejr To: 55606@debbugs.gnu.org Subject: [PATCH 1/2] gnu: Add harec. Date: Sun, 26 Jun 2022 09:59:39 -0400 Message-Id: <20220626135940.10504-1-antero@mailbox.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-MBO-RS-META: ctdadhsdddcb1fgia7y63fyi15i4go4s X-MBO-RS-ID: 0e1c3f26e32e1cd0461 X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 55606 Cc: paren@disroot.org, me@tobias.gr, maximedevos@telenet.be, liliana.prikler@gmail.com 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 (-) Resolving the issues mentioned above. * gnu/packages/hare.scm (harec): New variable. --- gnu/packages/hare.scm | 67 +++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 67 insertions(+) create mode 100644 gnu/packages/hare.scm diff --git a/gnu/packages/hare.scm b/gnu/packages/hare.scm new file mode 100644 index 0000000000..abded91007 --- /dev/null +++ b/gnu/packages/hare.scm @@ -0,0 +1,67 @@ +;;; GNU Guix --- Functional package management for GNU +;;; Copyright © 2022 (unmatched parenthesis +;;; Copyright © 2022 Antero Mejr +;;; +;;; 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 (gnu packages base) + #:use-module (gnu packages c) + #:use-module (gnu packages man) + #:use-module (guix build-system gnu) + #:use-module (guix download) + #:use-module ((guix licenses) #:prefix license:) + #:use-module (guix gexp) + #:use-module (guix git-download) + #:use-module (guix packages) + #:use-module (guix platform) + #:use-module (guix utils)) + +(define-public harec + (let ((commit "bbabe09bddf74bd699f8ad2224fdd6e2eefbd35e") + (revision "0")) + (package + (name "harec") + (version (git-version "0.0.0" 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 + "0sa8rjj5w01n55svql8drv761ks6i1bl9q4gj1yzr31dixaf6xvr")))) + (build-system gnu-build-system) + (arguments + (list #:configure-flags #~(list (string-append "--prefix=" #$output)) + #:phases #~(modify-phases %standard-phases + (replace 'configure + (lambda* (#:key outputs + (configure-flags '()) #:allow-other-keys) + (setenv "AR" #$(ar-for-target)) + (setenv "AS" #$(as-for-target)) + (setenv "CC" #$(cc-for-target)) + (setenv "LD" #$(ld-for-target)) + (setenv "QBE" (which "qbe")) + (apply invoke "./configure" configure-flags)))))) + (native-inputs (list qbe)) + (home-page "https://harelang.org") + (synopsis "Hare bootstrap compiler in C") + (description "This package provides @code{harec}, the Hare language's +bootstrap written in C. Currently, @code{harec} is used as the default +compiler in the @code{hare} build driver.") + (license license:gpl3)))) -- 2.36.1 From debbugs-submit-bounces@debbugs.gnu.org Sun Jun 26 10:00:19 2022 Received: (at 55606) by debbugs.gnu.org; 26 Jun 2022 14:00:19 +0000 Received: from localhost ([127.0.0.1]:48443 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o5SoE-0004cX-Th for submit@debbugs.gnu.org; Sun, 26 Jun 2022 10:00:19 -0400 Received: from mout-p-201.mailbox.org ([80.241.56.171]:37698) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o5So9-0004ay-1G for 55606@debbugs.gnu.org; Sun, 26 Jun 2022 10:00:16 -0400 Received: from smtp102.mailbox.org (smtp102.mailbox.org [IPv6:2001:67c:2050:b231:465::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-201.mailbox.org (Postfix) with ESMTPS id 4LWCD472Xkz9sSB; Sun, 26 Jun 2022 16:00:04 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mailbox.org; s=mail20150812; t=1656252005; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=qIpwal3ril4hHNiF5FCuRpouGna4wxUC9m0dpMDeGKI=; b=ThUnhDHIT0K+JCd1OtN+9VfakCv51JVnezmvZojMFgVSlLRcK1jTWRouIHRZc+hcs47syK WvjiPUNDTcHc2yWyK3gk0loWLopABPQ47TH6JDTW6LaWbwvyF3JxYxRTVbaUu2g8baRLAD SdJ2yKyvB3H9iAK/tVX+L5lVS4f7+3rEmBJO91RL3/8C0CW9Qb27GfKJ+v+nxw1XYF91R/ RlPTejWEffgrpKFUMwGiV8sBHSNOhm849Jsde6Q9PippPx+3Dxi8jxnYsofu+NEJcrRbdh ijsfqRYOc3ke1SzgJ7SOi2vMbJbFXQPfsyzssXbmCxpcMdGCD33hAmSTBG0A9Q== From: Antero Mejr To: 55606@debbugs.gnu.org Subject: [PATCH 2/2] gnu: Add hare. Date: Sun, 26 Jun 2022 09:59:40 -0400 Message-Id: <20220626135940.10504-2-antero@mailbox.org> In-Reply-To: <20220626135940.10504-1-antero@mailbox.org> References: <20220626135940.10504-1-antero@mailbox.org> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-MBO-RS-ID: d10cc2bc82a75958924 X-MBO-RS-META: etdd3d1659zj9gdaueudefmi8dhcx33i X-Rspamd-Queue-Id: 4LWCD472Xkz9sSB X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 55606 Cc: paren@disroot.org, me@tobias.gr, maximedevos@telenet.be, liliana.prikler@gmail.com 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 (-) * gnu/packages/hare.scm (hare): New variable. --- gnu/packages/hare.scm | 74 +++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 74 insertions(+) diff --git a/gnu/packages/hare.scm b/gnu/packages/hare.scm index abded91007..5e51ace67f 100644 --- a/gnu/packages/hare.scm +++ b/gnu/packages/hare.scm @@ -65,3 +65,77 @@ (define-public harec bootstrap written in C. Currently, @code{harec} is used as the default compiler in the @code{hare} build driver.") (license license:gpl3)))) + +(define-public hare + (let ((commit "19e380ccb7dfe2bcab5f94e6bd03004e3e2c6005") + (revision "0")) + (package + (name "hare") + (version (git-version "0.0.0" 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 + "04fk3akj3410f8fxw2ixp6l6f9x54pnnk00c0hx0297p7hdzzzq4")))) + (build-system gnu-build-system) + (arguments + (list #:phases + #~(modify-phases %standard-phases + (add-after 'unpack 'patch-failing-tests + (lambda _ + ;; These tests fail due to a NaN-related bug in QBE when + ;; used on glibc. + (substitute* "math/complex/+test.ha" + (("@test (fn (cos|cosh|exp)\\(\\) void =)" _ func) + func)))) + (add-after 'unpack 'patch-makefile + (lambda _ + (substitute* "Makefile" + (("include config.mk") "")))) + (add-before 'build 'set-env + (lambda _ + (setenv "BINDIR" (string-append #$output "/bin")) + (setenv "MANDIR" (string-append #$output "/share/man")) + (setenv "SRCDIR" (string-append #$output "/src")) + (setenv "LOCALSRCDIR" (string-append #$output "/src/hare")) + (setenv "HAREC" (which "harec")) + (setenv "PLATFORM" "linux") + (setenv "HAREPATH" (string-append + #$output "/src/hare/stdlib:" + #$output "/src/hare/third-party")) + (setenv "ARCH" + #$(platform-linux-architecture + (lookup-platform-by-target-or-system + (or (%current-target-system) + (%current-system))))) + (setenv "AR" #$(ar-for-target)) + (setenv "AS" #$(as-for-target)) + (setenv "LD" #$(ld-for-target)) + (setenv "QBE" (which "qbe")) + (setenv "SCDOC" (which "scdoc")) + (setenv "HARECACHE" ".cache") + (setenv "BINOUT" ".bin"))) + (delete 'configure)))) + (native-inputs (list harec qbe scdoc)) + (inputs (list tzdata)) + (supported-systems (list "x86_64-linux" "aarch64-linux" "riscv64-linux")) + (native-search-paths + (list (search-path-specification + (variable "HAREPATH") + (files '("src/hare/stdlib" "src/hare/third-party"))))) + (home-page "https://harelang.org") + (synopsis "Systems programming language") + (description "Hare is a systems programming language that aims to improve +on C while retaining its core philosophy. Its principles are: +@itemize +@item Trust the programmer. +@item Provide tools the programmer may use when they don't trust themselves. +@item Prefer explicit behavior over implicit behavior. +@item A good program must be both correct and simple. +@end itemize") + (license (list license:gpl3 ;compiler and build driver + license:mpl2.0))))) ;standard library -- 2.36.1 From debbugs-submit-bounces@debbugs.gnu.org Sun Jun 26 10:06:08 2022 Received: (at 55606) by debbugs.gnu.org; 26 Jun 2022 14:06:08 +0000 Received: from localhost ([127.0.0.1]:48451 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o5Str-0004mE-Nr for submit@debbugs.gnu.org; Sun, 26 Jun 2022 10:06:08 -0400 Received: from mout-p-202.mailbox.org ([80.241.56.172]:48442) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o5Stj-0004lZ-DQ for 55606@debbugs.gnu.org; Sun, 26 Jun 2022 10:06:06 -0400 Received: from smtp1.mailbox.org (smtp1.mailbox.org [10.196.197.1]) (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-202.mailbox.org (Postfix) with ESMTPS id 4LWCLl4p6Vz9sS7; Sun, 26 Jun 2022 16:05:51 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mailbox.org; s=mail20150812; t=1656252351; 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=OFmjWBiClXPXZOCjAj3aXC4Cr0eb7N1ekbaFRlbhxiI=; b=gYAkMcCDC1X4fBMH4/1xzRnJi7UvfWTJt4T1A/LxXcmC/+6lC+Ln63hhlYfaOftWPZwYay HEG3ybF6DsgBiXAE47HyGPzHLL2u5tCZRS5VfNcqXy5dsqKphT0+LaNvQHrQWXUenVLOyx 3cz8x0i6Su530eSrU0ffqz12UYlPINwC7YnwycnJcBUWuwPizFKeArWZanYTPFIPfY/O22 vf37mjS4wuPyWFRgd9woCKJdQ6K3DkArhbCDYGeVpVyYg3R5z6ue7GH2lFkZupMvKV3xB8 Vb+hO0jCKun9Yoj3BjaN896EKN0lm9AL/iRjWuy/0dNb0M+gHzyXTSZoOXitGQ== References: <20220626043902.3076-1-antero@mailbox.org> <20220626043902.3076-2-antero@mailbox.org> <415a5fd68a5540c6ba45bdd69edbbf8fb39335d9.camel@gmail.com> From: Antero Mejr To: Liliana Marie Prikler Subject: Re: [PATCH 2/2] gnu: Add hare. Date: Sun, 26 Jun 2022 10:00:28 -0400 In-reply-to: <415a5fd68a5540c6ba45bdd69edbbf8fb39335d9.camel@gmail.com> Message-ID: <87tu87frkd.fsf@mailbox.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: base64 X-MBO-RS-META: 37ogh9ayx8c8nru4t3dexj7r3omwbjif X-MBO-RS-ID: a28b7bb8d6efd5fdcf5 X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 55606 Cc: 55606@debbugs.gnu.org, Tobias Geerinckx-Rice , Maxime Devos , "\(" 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 (-) DQpMaWxpYW5hIE1hcmllIFByaWtsZXIgPGxpbGlhbmEucHJpa2xlckBnbWFpbC5jb20+IHdyaXRl czoNCg0KPj4gK8KgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgKHN0cmlu Zy1hcHBlbmQgIkhBUkVDPSIgIyRoYXJlYyAiL2Jpbi9oYXJlYyIpDQo+IFNob3VsZCBoYXZlIGEg KHRoaXMtcGFja2FnZS1pbnB1dCkgb3IgKHRoaXMtcGFja2FnZS1uYXRpdmUtaW5wdXQpIGZvcg0K PiBoYXJlYy4gIElmIGl0J3MgdGhlIGxhdHRlciwgKHdoaWNoICJoYXJlYyIpIG1pZ2h0IGFsc28g YmUgYWNjZXB0YWJsZS4NCg0KRG9uZS4NCg0KPj4gK8KgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqAgKHN0cmluZy1hcHBlbmQgIlFCRT0iICMkcWJlICIvYmluL3FiZSIpDQo+ IEFzIHdpdGggaGFyZWMuDQoNCkRvbmUuDQoNCj4+ICvCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgIChzdHJpbmctYXBwZW5kICJTQ0RPQz0iICMkc2Nkb2MgIi9iaW4vc2Nk b2MiKQ0KPiBBcyB3aXRoIGhhcmVjLg0KDQpEb25lLg0KDQo+PiArwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAiSEFSRUNBQ0hFPS5jYWNoZSINCj4+ICvCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgICJCSU5PVVQ9LmJpbiIpDQo+IEkgc3VwcG9z ZSBuZWl0aGVyIG9mIHRob3NlIG91Z2h0IHRvIGJlIGluc3RhbGxlZD8NCg0KUmlnaHQsIHRoZXkn cmUgdGVtcCBkaXJzLiBJIGNoZWNrZWQgdGhlIGJ1aWxkIG91dHB1dCBhbmQgbWFkZSBzdXJlIHRo ZXkNCmFyZSBub3QgaW5jbHVkZWQuDQoNCj4+ICvCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoCAoZGVsZXRlICdjb25maWd1cmUpKSkpDQo+IFdoeSBkZWxldGUgY29uZmlndXJlIGhlcmUs IGJ1dCBub3QgaW4gaGFyZWM/ICBJJ20gcHJldHR5IHN1cmUgd2UgY2FuDQo+IHVzZSB0aGUgc2Ft ZSBoYWNrIGZvciBib3RoIHBhY2thZ2VzLg0KDQpoYXJlIGRvZXNuJ3QgaGF2ZSBhIGNvbmZpZ3Vy ZSwgc28gd2UgaGF2ZSB0byBzZXQgdGhlIGZsYWdzIGZvciB0aGUNCmJ1aWxkIG1hbnVhbGx5LiBo YXJlYyBkb2VzIGhhdmUgYSBjb25maWd1cmUgdGhhdCBjb3JyZWN0bHkgc2V0cyBtYW55DQpvZiB0 aGUgYnVpbGQgZmxhZ3MsIHNvIEkgdXNlZCBpdC4NCg0KVGhhbmtzLA0KQW50ZXJvDQo= From debbugs-submit-bounces@debbugs.gnu.org Sun Jun 26 10:20:42 2022 Received: (at 55606) by debbugs.gnu.org; 26 Jun 2022 14:20:42 +0000 Received: from localhost ([127.0.0.1]:48467 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o5T7x-00058h-RA for submit@debbugs.gnu.org; Sun, 26 Jun 2022 10:20:42 -0400 Received: from laurent.telenet-ops.be ([195.130.137.89]:58118) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o5T7u-00058V-Iu for 55606@debbugs.gnu.org; Sun, 26 Jun 2022 10:20:40 -0400 Received: from ptr-bvsjgyhxw7psv60dyze.18120a2.ip6.access.telenet.be ([IPv6:2a02:1811:8c09:9d00:3c5f:2eff:feb0:ba5a]) by laurent.telenet-ops.be with bizsmtp id nqLc270024UW6Th01qLc4E; Sun, 26 Jun 2022 16:20:36 +0200 Message-ID: Subject: Re: [PATCH 2/2] gnu: Add hare. From: Maxime Devos To: Antero Mejr , 55606@debbugs.gnu.org Date: Sun, 26 Jun 2022 16:20:30 +0200 In-Reply-To: <20220626135940.10504-2-antero@mailbox.org> References: <20220626135940.10504-1-antero@mailbox.org> <20220626135940.10504-2-antero@mailbox.org> Content-Type: multipart/signed; micalg="pgp-sha512"; protocol="application/pgp-signature"; boundary="=-0a8BXX4jUclzKJLjUiXc" User-Agent: Evolution 3.38.3-1 MIME-Version: 1.0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=telenet.be; s=r22; t=1656253236; bh=z1tc8/ZO3POKQ1+On8VqYFn/c1MvECH/tBxZpxuMHys=; h=Subject:From:To:Cc:Date:In-Reply-To:References; b=dbuyOfk7R3RYpGQ04rMe38e/uSgr2/gXoJTQnkSoVJltUzHcTdHd/wObZhqWcmvnk /Dq8TAdy2jcUH4anmHfCtZMG5P5JdgFr2VJ+ECYn+TUGpIWjyXly2nMYrO2vnde1ow bAMboI4mlZyQxLCWcR5588cU2fhp84NcoduYmMJ/MUm+/SR+7Zu+7/MyOFSRTY9s+y zr2hM1/XgCM9l3MfiPdKkj5KvBKuKtzYASdouoXM7K4C2a3LzHApYoi4j40IAYNqVr fj4BXVdJk/kZLQX3iXOeabk4hWfaXHPsNLSQbYD8c4FCOIuNsQpYTRSC9pNu2ONnJh 0S6A+u5RtB7WQ== X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 55606 Cc: paren@disroot.org, me@tobias.gr, liliana.prikler@gmail.com 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 (-) --=-0a8BXX4jUclzKJLjUiXc Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Antero Mejr schreef op zo 26-06-2022 om 09:59 [-0400]: > +=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 (inputs (list tzdata)) What's this input for? Packages shouldn't have tzdata in their inputs, because it's a bunch of facts about the external world. When doing this, running hare's equivalent of=C2=A0`date` from an old profile would give a bogus result because of out-of-date time zone info. Also, the rebuilding problem, from (gnu packages base): ;;; A "fixed" version of tzdata, which is used in the test suites of glib a= nd R ;;; and a few other places. We can update this whenever we are able to rebu= ild ;;; thousands of packages (for example, in a core-updates rebuild). This pa= ckage ;;; will typically be obsolete and should never be referred to by a built ;;; package. ;;; ;;; Please make this a hidden-package if it is different from the primary t= zdata ;;; package. (define-public tzdata-for-tests tzdata) Greetings, Maxime. --=-0a8BXX4jUclzKJLjUiXc Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- iI0EABYKADUWIQTB8z7iDFKP233XAR9J4+4iGRcl7gUCYrhrLhccbWF4aW1lZGV2 b3NAdGVsZW5ldC5iZQAKCRBJ4+4iGRcl7qgdAP9ICrumLPIBfbQG6CE5WOBMqraO Xz24/IgWL4ZhKmCs7gEAysC6CZTodiOi/e6v1S55BboLSkw4q9yAF3TZrp590A4= =Vkmu -----END PGP SIGNATURE----- --=-0a8BXX4jUclzKJLjUiXc-- From debbugs-submit-bounces@debbugs.gnu.org Sun Jun 26 10:21:12 2022 Received: (at 55606) by debbugs.gnu.org; 26 Jun 2022 14:21:12 +0000 Received: from localhost ([127.0.0.1]:48477 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o5T8S-0005AU-EV for submit@debbugs.gnu.org; Sun, 26 Jun 2022 10:21:12 -0400 Received: from mout-p-103.mailbox.org ([80.241.56.161]:52836) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o5T8Q-0005AG-8i for 55606@debbugs.gnu.org; Sun, 26 Jun 2022 10:21:11 -0400 Received: from smtp102.mailbox.org (smtp102.mailbox.org [IPv6:2001:67c:2050:b231:465::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-103.mailbox.org (Postfix) with ESMTPS id 4LWChG2fMjz9sTD; Sun, 26 Jun 2022 16:21:02 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mailbox.org; s=mail20150812; t=1656253262; 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=qS37vywoxPAFCvYGK49e17fZuHpcz+efxVRUEs6AI1c=; b=w6gTJa2QXoqD3EjhTcP/Ne5p2FAIY/D7IoXnLM5ci0UMf9MU35j0A/5S+WgDIh10E/sKQH +Tbcz4NBlr5L+WP9mvZMkWT7q3oQzslriZXiuYia8Wf9eJ9sLjirAkoRRUhuCH9o9IWDz6 GJRF2PiXU356cqkMgHjGRCazc4fp2TrJAEinNdQ8tr41LQx9hObalX1cPgxb6z9xXA1kJa pFb9VzCznbPAh+LbvA+SrA9RpMXcBNex30Otj1qW2psvubOEraGhlBIUP5qCsLxerPn4Yb uVEMtoViLDX/Ph1NbbBeC1+aNrXG7u2gEuz0Xmn1/gbMxG4xYYwum2GrR1doBg== References: <1494793954.947626.1654278890520@office.mailbox.org> <0f62a23e7014fa02404683d144bbeffa52732ebc.camel@gmail.com> <87v8so81lg.fsf@mailbox.org> From: Antero Mejr To: "(" Subject: Re: [bug#55606] [PATCH 2/2] gnu: Add hare. Date: Sun, 26 Jun 2022 10:07:28 -0400 In-reply-to: Message-ID: <87bkuffquv.fsf@mailbox.org> MIME-Version: 1.0 Content-Type: text/plain X-MBO-RS-META: 8nmeyd617f398bgdrxpj8n3qxeth9f4z X-MBO-RS-ID: c11c5368b53a17a91d8 X-Rspamd-Queue-Id: 4LWChG2fMjz9sTD X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 55606 Cc: "55606@debbugs.gnu.org" <55606@debbugs.gnu.org>, Tobias Geerinckx-Rice , Maxime Devos , Liliana Marie Prikler 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 (-) "(" writes: > 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. If harec/qbe are not installed, hare raises an error saying that it cannot find the program, so users will know to install it. So yes it should be fine, I moved those programs into native-inputs. If we moved qbe/harec to inputs, we could patch os::tryenv in schedule.ha to resolve to the guix path. That way the user gets a working toolchain by default, but they could still swap in different versions of qbe/harec using the QBE/HAREC environment variables. Let me know if that would be preferred over leaving qbe/harec in native-inputs. Thanks, Antero From debbugs-submit-bounces@debbugs.gnu.org Sun Jun 26 10:22:46 2022 Received: (at 55606) by debbugs.gnu.org; 26 Jun 2022 14:22:46 +0000 Received: from localhost ([127.0.0.1]:48482 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o5T9x-0005Cf-Pv for submit@debbugs.gnu.org; Sun, 26 Jun 2022 10:22:45 -0400 Received: from laurent.telenet-ops.be ([195.130.137.89]:59734) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o5T9v-0005CX-IS for 55606@debbugs.gnu.org; Sun, 26 Jun 2022 10:22:44 -0400 Received: from ptr-bvsjgyhxw7psv60dyze.18120a2.ip6.access.telenet.be ([IPv6:2a02:1811:8c09:9d00:3c5f:2eff:feb0:ba5a]) by laurent.telenet-ops.be with bizsmtp id nqNi2700H4UW6Th01qNimY; Sun, 26 Jun 2022 16:22:42 +0200 Message-ID: <972c0ec00f8ae99cfa8ae569146b767c2c450d67.camel@telenet.be> Subject: Re: [PATCH 2/2] gnu: Add hare. From: Maxime Devos To: Antero Mejr , 55606@debbugs.gnu.org Date: Sun, 26 Jun 2022 16:22:42 +0200 In-Reply-To: <20220626135940.10504-2-antero@mailbox.org> References: <20220626135940.10504-1-antero@mailbox.org> <20220626135940.10504-2-antero@mailbox.org> Content-Type: multipart/signed; micalg="pgp-sha512"; protocol="application/pgp-signature"; boundary="=-t5vljLqgcKSTOwfxaS7z" User-Agent: Evolution 3.38.3-1 MIME-Version: 1.0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=telenet.be; s=r22; t=1656253362; bh=dvEC4rZvgUKoAKwA9RPrFgORqn4LhD9Tr61qq/SXou8=; h=Subject:From:To:Cc:Date:In-Reply-To:References; b=AvZEBunAhghnnhP4chYulbmpGYwowS+uGbPm+uRd2zAB2HRaJyUqmN5Zwz046SA14 EIx42o6DPI0Io3eSOyiE6OwrmKBUb5TAzwkeo21FIO5bEu+frsvp5YGtlEJrZkti3b ywceYweru6SQAojFJsTkBPBpUlRBHfvRlF8kBKY3xhqwr/MPOUrjpF4qNGZZ6dF+NS S/m8QLfuu5arFsf8HPtVhustnni648mitLHod3JHp/vW6yyv69kjgUUN93i3Z/SGbD ZUl6f8Kp2x07Wlc6VmktBFO4FO6ddzz9d8a02nX9BnWv+Wna2KR9AWSjiVIIv5uR9O 5lPWy3nSZuYPQ== X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 55606 Cc: paren@disroot.org, me@tobias.gr, liliana.prikler@gmail.com 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 (-) --=-t5vljLqgcKSTOwfxaS7z Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Antero Mejr schreef op zo 26-06-2022 om 09:59 [-0400]: > +=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 (synopsis "Systems programming language") You can't package the language itself. DYM: =E2=80=98The Hare compiler=E2= =80=99, or maybe: =E2=80=98The Hare standard library=E2=80=99, or both? Greetings, Maxime. --=-t5vljLqgcKSTOwfxaS7z Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- iI0EABYKADUWIQTB8z7iDFKP233XAR9J4+4iGRcl7gUCYrhrshccbWF4aW1lZGV2 b3NAdGVsZW5ldC5iZQAKCRBJ4+4iGRcl7iYhAP0Vs3ALSm2wteuR8Vbj8Oro34Mj zEZHllEIhF00Ujba7wD/ddP3vaypw3KCmV/MrcVDzHNP+i7f10W0Xu6/gn1lrQA= =ArMH -----END PGP SIGNATURE----- --=-t5vljLqgcKSTOwfxaS7z-- From debbugs-submit-bounces@debbugs.gnu.org Sun Jun 26 10:27:58 2022 Received: (at 55606) by debbugs.gnu.org; 26 Jun 2022 14:27:58 +0000 Received: from localhost ([127.0.0.1]:48490 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o5TF0-0005KP-KI for submit@debbugs.gnu.org; Sun, 26 Jun 2022 10:27:58 -0400 Received: from michel.telenet-ops.be ([195.130.137.88]:43002) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o5TEz-0005KF-ME for 55606@debbugs.gnu.org; Sun, 26 Jun 2022 10:27:58 -0400 Received: from ptr-bvsjgyhxw7psv60dyze.18120a2.ip6.access.telenet.be ([IPv6:2a02:1811:8c09:9d00:3c5f:2eff:feb0:ba5a]) by michel.telenet-ops.be with bizsmtp id nqTv2700H4UW6Th06qTvBy; Sun, 26 Jun 2022 16:27:56 +0200 Message-ID: Subject: Re: [bug#55606] [PATCH 2/2] gnu: Add hare. From: Maxime Devos To: Antero Mejr , "(" Date: Sun, 26 Jun 2022 16:27:55 +0200 In-Reply-To: <87bkuffquv.fsf@mailbox.org> References: <1494793954.947626.1654278890520@office.mailbox.org> <0f62a23e7014fa02404683d144bbeffa52732ebc.camel@gmail.com> <87v8so81lg.fsf@mailbox.org> <87bkuffquv.fsf@mailbox.org> Content-Type: multipart/signed; micalg="pgp-sha512"; protocol="application/pgp-signature"; boundary="=-6sA2IyVDTLbRDjNy9I6Z" User-Agent: Evolution 3.38.3-1 MIME-Version: 1.0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=telenet.be; s=r22; t=1656253676; bh=jOCt/1vH8aMsQ1jIZguaNnwRVOYxEml1yD+/pqaoQLQ=; h=Subject:From:To:Cc:Date:In-Reply-To:References; b=eezPvZYOKyQIK9GIp/U5b077+qbiIPwvAORJVFCGzvdfhYrpIQiyfbGTwVdCOvauF adiOrIZVmfWtSrMhKYr9sPzvrBsbFLDWm/X5uDPgUsC9KnHQP0fzh9VAowa7hwOWQe yj3CUY1JSqU0eNxkLA/l4o6bddi3xAzPfb4DHg87zhrEUnZqaPgKVQPv5JoQFZWckW +Kn9vRyVrzxoZ6h8g9aznfVl63fXw6hDxvWBavIKbAmQrRlCLicqolOscmS9usGg37 wJ6KENhJ5pIuUf9ltiC4PgxY7e8hcjpmlHKfIK4MbfRd11QDg1lMVgcgMJEiAdAMIF lBBuWMbNOmzFw== X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 55606 Cc: "55606@debbugs.gnu.org" <55606@debbugs.gnu.org>, Tobias Geerinckx-Rice , Liliana Marie Prikler 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 (-) --=-6sA2IyVDTLbRDjNy9I6Z Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Antero Mejr schreef op zo 26-06-2022 om 10:07 [-0400]: > If harec/qbe are not installed, hare raises an error saying that it > cannot find the program, so users will know to install it. So yes it > should be fine, >=20 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. Greetings, Maxime. --=-6sA2IyVDTLbRDjNy9I6Z Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- iI0EABYKADUWIQTB8z7iDFKP233XAR9J4+4iGRcl7gUCYrhs6xccbWF4aW1lZGV2 b3NAdGVsZW5ldC5iZQAKCRBJ4+4iGRcl7mfeAQDQRSd0nVUpJ2mBJn5y6DDCR9Zl ANTaxk7aKRZfeHB5wgEA20go8Xiq09Rt57KLFe13WJsmDu+ICuhtHbkQvOJx0wg= =dCgL -----END PGP SIGNATURE----- --=-6sA2IyVDTLbRDjNy9I6Z-- From debbugs-submit-bounces@debbugs.gnu.org Sun Jun 26 10:33:06 2022 Received: (at 55606) by debbugs.gnu.org; 26 Jun 2022 14:33:06 +0000 Received: from localhost ([127.0.0.1]:48501 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o5TJy-0005Tp-CC for submit@debbugs.gnu.org; Sun, 26 Jun 2022 10:33:06 -0400 Received: from mout-p-202.mailbox.org ([80.241.56.172]:48532) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o5TJv-0005TD-MQ for 55606@debbugs.gnu.org; Sun, 26 Jun 2022 10:33:05 -0400 Received: from smtp202.mailbox.org (smtp202.mailbox.org [IPv6:2001:67c:2050:b231:465::202]) (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-202.mailbox.org (Postfix) with ESMTPS id 4LWCxz2mT9z9sT7; Sun, 26 Jun 2022 16:32:55 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mailbox.org; s=mail20150812; t=1656253975; 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=SqPi2EKlR581MTsqoPSjOdVXlpw9K+e61f6EZR0MSWs=; b=puPEAse3nVKkhkd/agfK/Kf8TxGqSwjYb9wVCbXgPRqebXFuScT54EEBWZOgiu51vj+79e Rjz1UyyYj4pLf/92n1zifvGhQ0ALdxw7kvcLbo92QW7nFgb7ZIe3NabOfyjM18Yof27HdT +npZ60nH0LHoOKic41vv7UFc4DGFSDUguVsLviBvz1MidnuuW/0OTbtFNbsQM04ttntnjs aadQrn/3vC9O96ZifCFH3HZJP7dgbmB17QYDrysL700TnkYUbdXSjKdk64bBAKc9ue+Rn0 cN/V6WrOyjrMXhOupyXIjOqDZdR66qRkTbcCjwb5UwHqZ3HiXYlFZhE3jnQnQg== References: <20220626135940.10504-1-antero@mailbox.org> <20220626135940.10504-2-antero@mailbox.org> From: Antero Mejr To: Maxime Devos Subject: Re: [PATCH 2/2] gnu: Add hare. Date: Sun, 26 Jun 2022 10:30:02 -0400 In-reply-to: Message-ID: <874k07fqb1.fsf@mailbox.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-MBO-RS-META: 9wqcjtcopcfznriwzjc1zkw5nqqouqwy X-MBO-RS-ID: d93478a556f846d4b18 X-Rspamd-Queue-Id: 4LWCxz2mT9z9sT7 X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 55606 Cc: 55606@debbugs.gnu.org, me@tobias.gr, liliana.prikler@gmail.com, paren@disroot.org 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 (-) Maxime Devos writes: >> +=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 (inputs (list tzdata)) > > What's this input for? Packages shouldn't have tzdata in their inputs, > because it's a bunch of facts about the external world. When doing > this, running hare's equivalent of=C2=A0`date` from an old profile would > give a bogus result because of out-of-date time zone info. I forgot to patch the path in leapsec.ha to use for Guix's leapseconds file. Should I do that, or leave out tzdata? >From the hare mailing list: "Notably, Hare requires the installation of the leap-seconds.list file in the tzdata package in order to handle leap seconds properly. Hare will work in the absence of this file, or of tzdata as a whole, but users will encounter bugs in timekeeping logic." https://lists.sr.ht/~sircmpwn/hare-distributions/%3CCKB9HRGYXORK.A6V2HBE01V= D5%40taiga%3E From debbugs-submit-bounces@debbugs.gnu.org Sun Jun 26 10:34:57 2022 Received: (at 55606) by debbugs.gnu.org; 26 Jun 2022 14:34:57 +0000 Received: from localhost ([127.0.0.1]:48516 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o5TLl-0005XL-3J for submit@debbugs.gnu.org; Sun, 26 Jun 2022 10:34:57 -0400 Received: from mout-p-103.mailbox.org ([80.241.56.161]:52840) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o5TLj-0005X6-9U for 55606@debbugs.gnu.org; Sun, 26 Jun 2022 10:34:55 -0400 Received: from smtp2.mailbox.org (smtp2.mailbox.org [IPv6:2001:67c:2050:b231:465::2]) (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-103.mailbox.org (Postfix) with ESMTPS id 4LWD075NRVz9sTN; Sun, 26 Jun 2022 16:34:47 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mailbox.org; s=mail20150812; t=1656254087; 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=epdHW54tTf/w4pTJ/FJr4kEJnJIemNpCtinXZj1EBR8=; b=xxz3PfGcVSzarzuGQVxpwim05DpziZWiuHgLyxM1zTQHc9DPuotLA+0eNhq60rcTOZB+6t Py2lUQAqXH14yj3lpK8y4qsPKpofrc0lX8ZCYHXKbLi9HKJMe/VP54Iwjk+ba89OVRnHz+ 83jZbbPQdXyL7bfsYtVkSTajDEuT0N/3ZKQbaZjlWSnHDasevEQbivMK+//MjslM1n9DPV jRAs3Kr01cjEo4BeDaOKryBbXtmUjMOOxIAlfT1JkVnAAh46TdPkuFbqyEX0ssTmHlSn0h hOSCEGshQ+Y2mvWxsAAPukoOFnU925CUKl3YjvKn3oL7g8SbDSZn6mwAt0Dhuw== References: <20220626135940.10504-1-antero@mailbox.org> <20220626135940.10504-2-antero@mailbox.org> <972c0ec00f8ae99cfa8ae569146b767c2c450d67.camel@telenet.be> From: Antero Mejr To: Maxime Devos Subject: Re: [PATCH 2/2] gnu: Add hare. Date: Sun, 26 Jun 2022 10:33:44 -0400 In-reply-to: <972c0ec00f8ae99cfa8ae569146b767c2c450d67.camel@telenet.be> Message-ID: <87zghzebnh.fsf@mailbox.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-MBO-RS-META: qtx3emcb788cfb5i5ixcqixjtkeooe3x X-MBO-RS-ID: 6df4f49db39ea5f8122 X-Rspamd-Queue-Id: 4LWD075NRVz9sTN X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 55606 Cc: 55606@debbugs.gnu.org, me@tobias.gr, liliana.prikler@gmail.com, paren@disroot.org 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 (-) Maxime Devos writes: >> +=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 (synopsis "Systems programming language") > > You can't package the language itself. DYM: =E2=80=98The Hare compiler= =E2=80=99, or > maybe: =E2=80=98The Hare standard library=E2=80=99, or both? I was going to use "Hare programming language build driver and standard library" in the next patch. From debbugs-submit-bounces@debbugs.gnu.org Sun Jun 26 10:39:17 2022 Received: (at 55606) by debbugs.gnu.org; 26 Jun 2022 14:39:17 +0000 Received: from localhost ([127.0.0.1]:48521 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o5TPr-0005dh-JQ for submit@debbugs.gnu.org; Sun, 26 Jun 2022 10:39:17 -0400 Received: from michel.telenet-ops.be ([195.130.137.88]:52460) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o5TPq-0005dZ-5k for 55606@debbugs.gnu.org; Sun, 26 Jun 2022 10:39:11 -0400 Received: from ptr-bvsjgyhxw7psv60dyze.18120a2.ip6.access.telenet.be ([IPv6:2a02:1811:8c09:9d00:3c5f:2eff:feb0:ba5a]) by michel.telenet-ops.be with bizsmtp id nqf8270054UW6Th06qf8iw; Sun, 26 Jun 2022 16:39:08 +0200 Message-ID: <2133c0d9e8ac58612b34d40c323236b481b39e80.camel@telenet.be> Subject: Re: [PATCH 2/2] gnu: Add hare. From: Maxime Devos To: Antero Mejr Date: Sun, 26 Jun 2022 16:39:03 +0200 In-Reply-To: <874k07fqb1.fsf@mailbox.org> References: <20220626135940.10504-1-antero@mailbox.org> <20220626135940.10504-2-antero@mailbox.org> <874k07fqb1.fsf@mailbox.org> Content-Type: multipart/signed; micalg="pgp-sha512"; protocol="application/pgp-signature"; boundary="=-O9Jo8hA2hLWobcCrmJyQ" User-Agent: Evolution 3.38.3-1 MIME-Version: 1.0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=telenet.be; s=r22; t=1656254348; bh=8gZ40lCZbcbTLVPRkKWItzwcJsGZzCSSXL1kh8WKAms=; h=Subject:From:To:Cc:Date:In-Reply-To:References; b=QQW99Lg6rEvQVK7+Hlm+Q8tAKExu5lBOfvHC/ogTv0TaSpDKXRSjSL2U+rrB9WrIE jghBf/xcPevp1QVMkwtiXtsCiJ1vkRBa/br8PKaq88N3svn4novzPUdSChKfeu6AmN VP6nalhvVPggzh7rhLyaoqbInyoDf8WNz5amAhRnGvwQRwiYqKiSprpmPCZfMr7CEE byRp/RKzYwtSDL+qi6gz1Q228xZ+ZANKOC/UPsQkSHj0EYsOLiwCXw/JLZY5ym1X8q QrrnuxbLTt9chXaaWsZxqzdLBJt/nxvCNJc5trsEGgEMNWkiOypqMgQn6y9ZgK0MVZ kdx2SXNleFy4g== X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 55606 Cc: 55606@debbugs.gnu.org, me@tobias.gr, liliana.prikler@gmail.com, paren@disroot.org 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 (-) --=-O9Jo8hA2hLWobcCrmJyQ Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Antero Mejr schreef op zo 26-06-2022 om 10:30 [-0400]: > I forgot to patch the path in leapsec.ha to use for Guix's leapseconds > file. Should I do that, or leave out tzdata? Looking at , harec expects it to be located in /usr/share/zoneinfo/leap-seconds.list by default (not /gnu/store/.../share/tzdata), so adding tzdata as input doesn't accomplish anything here. So to have time zone things working on Guix System, it seems like hare needs to be patched to support the $TZDIR environment variable (if it doesn't support that already). Also, I think there was some mail or message on #guix some time ago about Guix not installing that particular file yet in the tzdata package? That would need to be fixed as well ... Greetings, Maxime. --=-O9Jo8hA2hLWobcCrmJyQ Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- iI0EABYKADUWIQTB8z7iDFKP233XAR9J4+4iGRcl7gUCYrhvhxccbWF4aW1lZGV2 b3NAdGVsZW5ldC5iZQAKCRBJ4+4iGRcl7gj+AQDY31LkBSttpUTnnYBNCgidm54Q KAhyM7MZaxbPL2V5FQEAmPviVsDDl486IoA+efPGuWpZsDjBYdIBsp8YxRa3rw0= =Chhv -----END PGP SIGNATURE----- --=-O9Jo8hA2hLWobcCrmJyQ-- From debbugs-submit-bounces@debbugs.gnu.org Sun Jun 26 10:44:28 2022 Received: (at 55606) by debbugs.gnu.org; 26 Jun 2022 14:44:28 +0000 Received: from localhost ([127.0.0.1]:48530 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o5TUy-0005lZ-AH for submit@debbugs.gnu.org; Sun, 26 Jun 2022 10:44:28 -0400 Received: from laurent.telenet-ops.be ([195.130.137.89]:49898) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o5TUx-0005lR-19 for 55606@debbugs.gnu.org; Sun, 26 Jun 2022 10:44:27 -0400 Received: from ptr-bvsjgyhxw7psv60dyze.18120a2.ip6.access.telenet.be ([IPv6:2a02:1811:8c09:9d00:3c5f:2eff:feb0:ba5a]) by laurent.telenet-ops.be with bizsmtp id nqkQ2700E4UW6Th01qkRaC; Sun, 26 Jun 2022 16:44:25 +0200 Message-ID: Subject: Re: [PATCH 2/2] gnu: Add hare. From: Maxime Devos To: Antero Mejr Date: Sun, 26 Jun 2022 16:44:24 +0200 In-Reply-To: <87zghzebnh.fsf@mailbox.org> References: <20220626135940.10504-1-antero@mailbox.org> <20220626135940.10504-2-antero@mailbox.org> <972c0ec00f8ae99cfa8ae569146b767c2c450d67.camel@telenet.be> <87zghzebnh.fsf@mailbox.org> Content-Type: multipart/signed; micalg="pgp-sha512"; protocol="application/pgp-signature"; boundary="=-XtcDRgRj9kundLPH+n29" User-Agent: Evolution 3.38.3-1 MIME-Version: 1.0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=telenet.be; s=r22; t=1656254665; bh=gNJTgGdiBV11gPvvTW594hzsiB0UZnU3luUKA+SBLfE=; h=Subject:From:To:Cc:Date:In-Reply-To:References; b=g/ROM9yJXZxa8075PTDe/k4S0dDhcvgjYRG8vEeGIQdta/mhg/unQF4GaUx2QVK7+ KBc0Xh6zQLyvxB9JLFsrkat1lmAcKPIpifjvyMmCzNQsEyRoHM7iuyAq/F5B0O7D0m baEyHpxdMV3L0HPvX75XhV7Sx8rgGC14TkV0ohT7I6x/at4m0lElXUT3HyS9vIMyuj AtGuTrnAdjrYX2gFwqTv7g1GuuxdSgD8ooezS4wR5MF/zaSXOiVUyJmX53GUfZbR6r Q6uzLlvIYxvGDAF1XRO1b6Zceq3EI6IPk1gyvjFBmEpE1EnEfU3zjBJLqodGyQCwrN OU4+Fq+XcEAoQ== X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 55606 Cc: 55606@debbugs.gnu.org, me@tobias.gr, liliana.prikler@gmail.com, paren@disroot.org 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 (-) --=-XtcDRgRj9kundLPH+n29 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Antero Mejr schreef op zo 26-06-2022 om 10:33 [-0400]: > I was going to use > "Hare programming language build driver and standard library" > in the next patch. I don't have a clue what a =E2=80=98build driver=E2=80=99 is (a kernel-styl= e driver + something about building -> a compiler inside the (Linux) kernel?=20 Doesn't seem to apply here). I'd use =E2=80=98compiler=E2=80=99 instead, w= hich I believe to be more widely understood (e.g., it has an entry on Wikipedia). Greetings, Maxime. --=-XtcDRgRj9kundLPH+n29 Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- iI0EABYKADUWIQTB8z7iDFKP233XAR9J4+4iGRcl7gUCYrhwyBccbWF4aW1lZGV2 b3NAdGVsZW5ldC5iZQAKCRBJ4+4iGRcl7rCuAP42mhxbZ4Z64eCH16T43+AosS+2 d7OLF2X9dpsKOInSVAD8CRgzppITggj2rSHBXWoJGcMq32/SHD5CFgWMmuJQlgw= =v28Z -----END PGP SIGNATURE----- --=-XtcDRgRj9kundLPH+n29-- From debbugs-submit-bounces@debbugs.gnu.org Sun Jun 26 10:50:22 2022 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> From: Antero Mejr To: Maxime Devos Subject: Re: [bug#55606] [PATCH 2/2] gnu: Add hare. 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-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 55606 Cc: "\(" , Tobias Geerinckx-Rice , Liliana Marie Prikler , "55606@debbugs.gnu.org" <55606@debbugs.gnu.org> 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 (-) 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. From debbugs-submit-bounces@debbugs.gnu.org Sun Jun 26 10:54:04 2022 Received: (at 55606) by debbugs.gnu.org; 26 Jun 2022 14:54:04 +0000 Received: from localhost ([127.0.0.1]:48616 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o5TeG-0008JI-0G for submit@debbugs.gnu.org; Sun, 26 Jun 2022 10:54:04 -0400 Received: from albert.telenet-ops.be ([195.130.137.90]:51396) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o5TeD-0008IR-Ku for 55606@debbugs.gnu.org; Sun, 26 Jun 2022 10:54:02 -0400 Received: from ptr-bvsjgyhxw7psv60dyze.18120a2.ip6.access.telenet.be ([IPv6:2a02:1811:8c09:9d00:3c5f:2eff:feb0:ba5a]) by albert.telenet-ops.be with bizsmtp id nqtz270024UW6Th06qtzcB; Sun, 26 Jun 2022 16:54:00 +0200 Message-ID: Subject: Re: [bug#55606] [PATCH 2/2] gnu: Add hare. From: Maxime Devos To: Antero Mejr Date: Sun, 26 Jun 2022 16:53:59 +0200 In-Reply-To: References: <20220626135940.10504-1-antero@mailbox.org> <20220626135940.10504-2-antero@mailbox.org> <972c0ec00f8ae99cfa8ae569146b767c2c450d67.camel@telenet.be> <87zghzebnh.fsf@mailbox.org> Content-Type: multipart/signed; micalg="pgp-sha512"; protocol="application/pgp-signature"; boundary="=-ovYonposZ8gUSM85oH3D" User-Agent: Evolution 3.38.3-1 MIME-Version: 1.0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=telenet.be; s=r22; t=1656255240; bh=6xamsNaCtWEQ+fISmZ/ckjtLiCdcaWkg2GdrxX6mrQo=; h=Subject:From:To:Cc:Date:In-Reply-To:References; b=hvodfksBBeQQBalYMQ9N7geIrFHi3ECsnfhrRhAH0wWeSzBm3VdsrJBc8j9HnGTBS 22eN8H35xn52aUqU4GJpYUKcNrX0nJrDBH6fJFb4yoPXCfYWRG0PgnS8c1O/Nqzj3m R6NirgG9/FtF7TXGg/LyC3WGSLoApvrP+2/It3oJoODN8sn7d6Pr3yLlhASFrIWINP +P64RL9+M6cnbnyeVHdlk3fx3QxiQSPX4OOCm7tkf+UY7PhEStBYXSzi8r2NkJg01t CQD7Xlr7LDgA9Dbi8CZQMKnWoOMYfxTFEOhdc0FbKU0D6dHNzFH0oqLqpaRGxZDMDj IGyfZ2VMJELhg== X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 55606 Cc: 55606@debbugs.gnu.org, me@tobias.gr, liliana.prikler@gmail.com, paren@disroot.org 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 (-) --=-ovYonposZ8gUSM85oH3D Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Maxime Devos schreef op zo 26-06-2022 om 16:44 [+0200]: > Antero Mejr schreef op zo 26-06-2022 om 10:33 [-0400]: > > I was going to use > > "Hare programming language build driver and standard library" > > in the next patch. >=20 > I don't have a clue what a =E2=80=98build driver=E2=80=99 is (a kernel-st= yle driver + > something about building -> a compiler inside the (Linux) kernel?=20 > Doesn't seem to apply here).=C2=A0 I'd use =E2=80=98compiler=E2=80=99 ins= tead, which I > believe to be more widely understood (e.g., it has an entry on > Wikipedia). >=20 Maybe nevermind. From #guix: 14:47 < nckx> 'The build driver is responsible for collecting input files,= =20 resolving their dependencies, and producing a plan for=20 compiling your program.' =E2=80=94=20 https://harelang.org/blog/2021-03-26-high-level-data-structur= es/ 14:48 < nckx> Seemingly not synonymous. although: 14:51 < maximed> (OTOH, technically 'gcc' isn't the compiler but 'cc1' is .= ..) and yet we call 'gcc' a compiler and seems a bit of an implementation detai= l to me, so I dunno. Greetings, Maxime. --=-ovYonposZ8gUSM85oH3D Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- iI0EABYKADUWIQTB8z7iDFKP233XAR9J4+4iGRcl7gUCYrhzBxccbWF4aW1lZGV2 b3NAdGVsZW5ldC5iZQAKCRBJ4+4iGRcl7jhpAP9EszBaPWFXsRGErGOaxxKQhg9Q hMZZBnYH6koX63NitQD/XD6qJ4lPDM1aeHugPwuAhkK9hsMQHMR/bIBznA6gQAg= =kTfk -----END PGP SIGNATURE----- --=-ovYonposZ8gUSM85oH3D-- From debbugs-submit-bounces@debbugs.gnu.org Thu Jun 30 12:55:19 2022 Received: (at control) by debbugs.gnu.org; 30 Jun 2022 16:55:20 +0000 Received: from localhost ([127.0.0.1]:35432 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o6xRm-0006lt-Sp for submit@debbugs.gnu.org; Thu, 30 Jun 2022 12:55:19 -0400 Received: from knopi.disroot.org ([178.21.23.139]:38596) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o6xRg-0006lc-Ru for control@debbugs.gnu.org; Thu, 30 Jun 2022 12:55:17 -0400 Received: from localhost (localhost [127.0.0.1]) by disroot.org (Postfix) with ESMTP id 5219C45958 for ; Thu, 30 Jun 2022 18:55:11 +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 EZ2s5lu5qr-K for ; Thu, 30 Jun 2022 18:55:10 +0200 (CEST) Mime-Version: 1.0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=disroot.org; s=mail; t=1656608110; bh=VkUM4YP8Aaqq+mj0iSBpUw01jds2EdUIUiDcKmOZebY=; h=Date:From:To:Subject; b=AzHmp4cvdIz3Hyu9YXGuFAFGMaNZNdfEo4gvpx/dYkX6vjwDw0zhAXmm6iNTYd34m M78xsRisD5q1bRfhL7F4P4KiKhUPe6dc2b6G5Tl12a6h8Q9u1JfNfbdXrFZAPLTYn3 1MCDLg6yg8Cj4BBZB4mr5zCqra4qU7rD39p5inJhVT4HZRstEdHMbyF8140XHSLxO3 BJX9qeT922xWDc5PwvTxkE/bF+GqbGu2IZA+WTj+Pk4DE5l9JBNTNKMO20L6z5DOFo C7fLXcWGWTadlE9dFpiuvlBe6OFYTBHqRb4EVQkPfNPk6bAKHHVmh5vSqisrV7PBtf sOeidfRFo3Hiw== Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=UTF-8 Date: Thu, 30 Jun 2022 17:55:09 +0100 Message-Id: From: "(" To: Subject: X-Spam-Score: 2.0 (++) 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: close 55187 thanks Superseded by #55606. -- ( Content analysis details: (2.0 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 2.0 BLANK_SUBJECT Subject is present but empty -0.0 T_SCC_BODY_TEXT_LINE No description available. X-Debbugs-Envelope-To: control 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 (+) close 55187 thanks Superseded by #55606. -- ( From debbugs-submit-bounces@debbugs.gnu.org Sun Jul 24 12:10:18 2022 Received: (at 55606) by debbugs.gnu.org; 24 Jul 2022 16:10:18 +0000 Received: from localhost ([127.0.0.1]:48528 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oFeBN-0001co-PU for submit@debbugs.gnu.org; Sun, 24 Jul 2022 12:10:18 -0400 Received: from knopi.disroot.org ([178.21.23.139]:46504) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oFeBL-0001cY-8f for 55606@debbugs.gnu.org; Sun, 24 Jul 2022 12:10:16 -0400 Received: from localhost (localhost [127.0.0.1]) by disroot.org (Postfix) with ESMTP id 8716540DF4; Sun, 24 Jul 2022 18:10:13 +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 ldOTs7_0JHoU; Sun, 24 Jul 2022 18:10:12 +0200 (CEST) Mime-Version: 1.0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=disroot.org; s=mail; t=1658679011; bh=bxmBMhA9FLsmP8nsarDzpY+k37oxKnByY4cu2dZLizY=; h=Date:To:Cc:Subject:From:References:In-Reply-To; b=J6UAShCRKS3gZP0pKjZ5otrQ2K0QBgGuRmPKnVG1qqaFJz3m8uEwMczhocS4WZvL4 U1flHH9FphOHYsUpaUMYhQtIgV+9yYBWEehyeJV7A/uEH68gZvLj4uiv2omtrF9sdh S9iX+rA2Vh9uc+2meK8ob811WQ3+auuhFFUfkmATA2dFosMrQ9PV7I7rt/81A5fSKe WGiaPGTXN47k6cnS98xX5b72VZwHqlfXwoUjLTpL9LnhS6822Lg58JAoQbmiZ7bRP3 SNnsEGMH+W9ML8fA9t6BHuZXdjKn1Icu3T3YWGYHa7Qsai7lj6XKfvAyzbp4JB49px bppaOLy6vkZnQ== Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=UTF-8 Date: Sun, 24 Jul 2022 17:10:09 +0100 Message-Id: To: "Antero Mejr" Subject: Re: [bug#55606] [PATCH 2/2] gnu: Add hare. From: "(" References: <1494793954.947626.1654278890520@office.mailbox.org> <0f62a23e7014fa02404683d144bbeffa52732ebc.camel@gmail.com> <87v8so81lg.fsf@mailbox.org> <87bkuffquv.fsf@mailbox.org> In-Reply-To: <87bkuffquv.fsf@mailbox.org> X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 55606 Cc: "55606@debbugs.gnu.org" <55606@debbugs.gnu.org>, Tobias Geerinckx-Rice , Maxime Devos , Liliana Marie Prikler 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 (-) On Sun Jun 26, 2022 at 3:07 PM BST, Antero Mejr wrote: > If we moved qbe/harec to inputs, we could patch os::tryenv in > schedule.ha to resolve to the guix path. That way the user gets a > working toolchain by default, but they could still swap in different > versions of qbe/harec using the QBE/HAREC environment variables. Yes, that's what I meant. (Sorry for the late reply :)) -- ( From unknown Wed Jun 18 23:11:30 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Mon, 22 Aug 2022 11:24:04 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator