From: Antero Mejr via Guix-patches via <guix-patches@gnu.org>
To: 55606@debbugs.gnu.org
Subject: [bug#55606] [PATCH 2/2] gnu: Add hare.
Date: Sun, 26 Jun 2022 00:39:02 -0400 [thread overview]
Message-ID: <20220626043902.3076-2-antero@mailbox.org> (raw)
In-Reply-To: <20220626043902.3076-1-antero@mailbox.org>
* 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
next prev parent reply other threads:[~2022-06-26 4:40 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 ` Antero Mejr via Guix-patches via [this message]
2022-06-26 7:18 ` [bug#55606] [PATCH 2/2] gnu: Add hare 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 ` [bug#55606] [PATCH 2/2] gnu: Add hare Antero Mejr via Guix-patches via
2022-06-26 14:20 ` 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
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20220626043902.3076-2-antero@mailbox.org \
--to=guix-patches@gnu.org \
--cc=55606@debbugs.gnu.org \
--cc=antero@mailbox.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 external index
https://git.savannah.gnu.org/cgit/guix.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.