From: Antero Mejr via Guix-patches via <guix-patches@gnu.org>
To: 55606@debbugs.gnu.org
Cc: paren@disroot.org, me@tobias.gr, maximedevos@telenet.be,
liliana.prikler@gmail.com
Subject: [bug#55606] [PATCH 2/2] gnu: Add hare.
Date: Sun, 26 Jun 2022 09:59:40 -0400 [thread overview]
Message-ID: <20220626135940.10504-2-antero@mailbox.org> (raw)
In-Reply-To: <20220626135940.10504-1-antero@mailbox.org>
* 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
next prev parent reply other threads:[~2022-06-26 14:01 UTC|newest]
Thread overview: 38+ messages / expand[flat|nested] mbox.gz Atom feed top
2022-05-24 1:21 [bug#55605] [PATCH 1/2] gnu: Add qbe Antero Mejr via Guix-patches via
2022-05-24 1:21 ` [bug#55606] [PATCH 2/2] gnu: Add hare Antero Mejr via Guix-patches via
2022-05-24 17:01 ` Maxime Devos
2022-05-24 17:07 ` Maxime Devos
2022-05-24 17:09 ` Maxime Devos
2022-05-24 17:10 ` Tobias Geerinckx-Rice via Guix-patches via
2022-05-29 0:54 ` [bug#55606] [PATCH] " Antero Mejr via Guix-patches via
2022-06-03 17:54 ` [bug#55606] Antero Mejr via Guix-patches via
2022-06-25 16:54 ` [bug#55606] [PATCH 2/2] gnu: Add hare Liliana Marie Prikler
2022-06-25 17:53 ` ( via Guix-patches via
2022-06-26 4:56 ` Antero Mejr via Guix-patches via
2022-06-25 17:59 ` ( via Guix-patches via
2022-06-26 4:40 ` Antero Mejr via Guix-patches via
2022-06-26 7:30 ` Maxime Devos
2022-06-26 7:34 ` Maxime Devos
2022-06-26 10:58 ` ( via Guix-patches via
2022-06-26 14:07 ` Antero Mejr via Guix-patches via
2022-06-26 14:27 ` Maxime Devos
2022-06-26 14:39 ` Antero Mejr via Guix-patches via
2022-07-24 16:10 ` ( via Guix-patches via
2022-06-25 21:32 ` Antero Mejr via Guix-patches via
2022-06-26 4:39 ` [bug#55606] [PATCH 1/2] gnu: Add harec Antero Mejr via Guix-patches via
2022-06-26 4:39 ` [bug#55606] [PATCH 2/2] gnu: Add hare Antero Mejr via Guix-patches via
2022-06-26 7:18 ` Liliana Marie Prikler
2022-06-26 11:05 ` ( via Guix-patches via
2022-06-26 14:00 ` Antero Mejr via Guix-patches via
2022-06-26 6:50 ` [bug#55606] [PATCH 1/2] gnu: Add harec Liliana Marie Prikler
2022-06-26 13:59 ` Antero Mejr via Guix-patches via
2022-06-26 13:59 ` Antero Mejr via Guix-patches via [this message]
2022-06-26 14:20 ` [bug#55606] [PATCH 2/2] gnu: Add hare Maxime Devos
2022-06-26 14:30 ` Antero Mejr via Guix-patches via
2022-06-26 14:39 ` Maxime Devos
2022-06-26 14:22 ` Maxime Devos
2022-06-26 14:33 ` Antero Mejr via Guix-patches via
2022-06-26 14:44 ` Maxime Devos
2022-06-26 14:53 ` Maxime Devos
2022-05-24 16:56 ` [bug#55605] [PATCH 1/2] gnu: Add qbe Maxime Devos
2022-05-24 21:06 ` Maxime Devos
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
List information: https://guix.gnu.org/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20220626135940.10504-2-antero@mailbox.org \
--to=guix-patches@gnu.org \
--cc=55606@debbugs.gnu.org \
--cc=antero@mailbox.org \
--cc=liliana.prikler@gmail.com \
--cc=maximedevos@telenet.be \
--cc=me@tobias.gr \
--cc=paren@disroot.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this public inbox
https://git.savannah.gnu.org/cgit/guix.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).