;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2025 Lilah Tascheter <lilah@lunabee.space>
;;;
;;; 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 <http://www.gnu.org/licenses/>.
(define-module (gnu packages hare)
#:use-module (gnu packages)
#:use-module (gnu packages base)
#:use-module (gnu packages c)
#:use-module (gnu packages commencement)
#:use-module (gnu packages cross-base)
#:use-module (gnu packages less)
#:use-module (gnu packages man)
#:use-module (guix build-system gnu)
#:use-module (guix build-system hare)
#:use-module (guix deprecation)
#:use-module (guix gexp)
#:use-module (guix git-download)
#:use-module ((guix licenses) #:prefix license:)
#:use-module (guix packages)
#:use-module (guix search-paths)
#:use-module (guix utils)
#:re-export (%hare-supported-systems target->hare-arch))
(define-deprecated/public-alias hare-supported-systems %hare-supported-systems)
(define (cross-target? target) ; only has to work for supported arches
(and target (not (if (%current-target-system)
(string=? (%current-target-system) target)
(string-prefix? (%current-system) target)))))
(define (tools-for-target target)
(let* ((cross? (and=> target cross-target?))
(with-target (lambda (f) (if cross? (f target) (f))))
(prefix (string-upcase (with-target target->hare-arch)))
(prefix-for (lambda (v) (if target (string-append prefix "_" v) v)))
(toolchain (if cross? (cross-gcc-toolchain target) gcc-toolchain))
(bin-for (lambda (t) (file-append toolchain "/bin/" (with-target t)))))
#~((#$(prefix-for "CC") #$(bin-for cc-for-target))
(#$(prefix-for "AS") #$(bin-for as-for-target))
(#$(prefix-for "LD") #$(bin-for ld-for-target)))))
(define hare-config ; unified build config for hare packages
(computed-file "hare-config.mk"
#~(begin (use-modules (ice-9 format))
(call-with-output-file #$output
(lambda (port)
(format port "include configs/linux.mk~%~:{~a=~a~%~}"
`(("ARCH" ,#$(target->hare-arch))
("DEFAULT_TARGET" "$(ARCH)")
("STDLIB" "$(PREFIX)/share/hare")
("HAREPATH" "$(PREFIX)/share/hare")
#$@(tools-for-target #f)
#$@(tools-for-target "aarch64-linux-gnu")
#$@(tools-for-target "riscv64-linux-gnu")
#$@(tools-for-target "x86_64-linux-gnu"))))))))
(define-public harec
(package
(name "harec")
(version "0.25.2")
(source (origin
(method git-fetch)
(uri (git-reference
(url "https://git.sr.ht/~sircmpwn/harec")
(commit version)))
(file-name (git-file-name name version))
(sha256
(base32
"0qyhni011116wc194kkybmiphmi1cak0n8kxgiq7v174xsh9irp7"))))
(build-system gnu-build-system)
(arguments
(list #:modules `((ice-9 format) ,@%default-gnu-modules)
#:make-flags #~(list (string-append "PREFIX=" #$output)
(string-append "VERSION=" #$version))
#:phases
#~(modify-phases %standard-phases
(replace 'configure
(lambda _ (copy-file #$hare-config "config.mk"))))))
(native-inputs (list qbe))
(supported-systems %hare-supported-systems)
(home-page "https://harelang.org")
(synopsis "Harelang bootstrap compiler")
(description "@code{harec} is a bootstrap compiler written in C for the Hare
programming language. For general Hare programming, see the @code{hare}
package.")
(license license:gpl3)))
(define $HAREPATH
(search-path-specification
(variable "HAREPATH")
(files '("share/hare"))))
(define $HARE_TOOLPATH
(search-path-specification
(variable "HARE_TOOLPATH")
(files '("libexec/hare"))))
(define-public hare
(package
(name "hare")
(version "0.25.2")
(source (origin
(method git-fetch)
(uri (git-reference
(url "https://git.sr.ht/~sircmpwn/hare")
(commit version)))
(file-name (git-file-name name version))
(patches (search-patches "hare-fallback-cache.patch"
"hare-toolpath.patch"))
(sha256
(base32
"1kfvf1xk36w49dnqrkcahh35xdgilhgdn3q84r2101rz2iy4pbba"))))
(build-system gnu-build-system)
(arguments
(list #:modules `((ice-9 format) ,@%default-gnu-modules)
#:make-flags #~(list (string-append "PREFIX=" #$output)
(string-append "VERSION=" #$version))
#:phases
#~(modify-phases %standard-phases
;; technically hare does programmatically generate some
;; makefiles as part of a bootstrap phase. however, regenning
;; these files requires an installation of hare in the first
;; place. seeing as the files are pretty short and
;; human-readable, I think it's fine to leave them as-is.
(replace 'configure
(lambda* (#:key inputs #:allow-other-keys)
(copy-file #$hare-config "config.mk")
;; need to unhardcode some shit manually
(let ((file (lambda (s) (search-input-file inputs s)))
(dir (lambda (s) (search-input-directory inputs s))))
(substitute* "cmd/hare/build.ha"
(("\"harec\"") (format #f "\"~a\"" (file "bin/harec")))
(("\"qbe\"") (format #f "\"~a\"" (file "bin/qbe"))))
(substitute* "cmd/haredoc/main.ha"
(("\"less\"") (format #f "\"~a\"" (file "bin/less"))))
(substitute* "wordexp/wordexp.ha"
(("/bin/sh") (file "bin/sh")))
(substitute* "time/chrono/+linux.ha"
(("/usr/share/zoneinfo/leap-seconds.list")
(file "share/zoneinfo/leap-seconds.list")))
(substitute* "time/date/+linux.ha"
(("/usr/share/zoneinfo") (dir "share/zoneinfo")))))))))
(inputs
(let ((tc (lambda (t) (and (cross-target? t) (cross-gcc-toolchain t)))))
(filter ->bool (list gcc-toolchain less tzdata/leap-seconds harec qbe
;; provide cross toolchains for all
;; non-native possible targets
(tc "aarch64-linux-gnu")
(tc "riscv64-linux-gnu")
(tc "x86_64-linux-gnu")))))
(native-inputs (list harec qbe scdoc))
(supported-systems %hare-supported-systems)
(native-search-paths (list $HAREPATH $HARE_TOOLPATH))
(home-page "https://harelang.org")
(synopsis "Harelang compiler tooling and stdlib")
(description "Hare is a simple systems programming language, featuring
static typing, manual memory management, and a minimal runtime.")
(license (list license:gpl3 license:mpl2.0))))
(define-public hare-update
(package
(name "hare-update")
(version "0.25.2.0")
(source (origin
(method git-fetch)
(uri (git-reference
(url "https://git.sr.ht/~sircmpwn/hare-update")
(commit version)))
(file-name (git-file-name name version))
(sha256
(base32
"0hpcgiyg458v353g3wm2iaz2kszhc2n2rc40lnvxbg9q6i232m76"))))
(build-system hare-build-system)
(arguments (list #:phases
#~(modify-phases %standard-phases
(add-before 'build 'build-rules
;; genrules is invoked during build, so we have to
;; build it natively separately
(lambda _ (invoke "make" "hare-update-genrules"))))))
(supported-systems %hare-supported-systems)
(home-page "https://harelang.org")
(synopsis "Harelang interversion updater tool")
(description "@code{hare-update} updates Harelang source files to newer
versions of the language and stdlib automagically.")
(license license:eupl1.2)))