[PATCH] gnu: Add Idris 2.

OpenSubmitted by Xinglu Chen.
Details
2 participants
  • Attila Lendvai
  • Xinglu Chen
Owner
unassigned
Severity
normal
X
X
Xinglu Chen wrote on 17 Jul 17:42 +0200
(address . guix-patches@gnu.org)(name . raingloom)(address . raingloom@riseup.net)
ee2e60c3f133981cc5695ef93e1b4e87dff87c04.1626536112.git.public@yoctocell.xyz
From: raingloom <raingloom@riseup.net>
* gnu/packages/idris.scm (idris2): New variable.
Co-authored-by: Xinglu Chen <public@yoctocell.xyz>---Based a previous patch by raingloom[1].
Some changes I made:
* Tests are enabled, but only the Chez backend is enabled since that’s the only backend we have for now.
* Some environment have been set, which should make it possible to import third-party packages.
* The bin/idris2_app directory has been removed, see the comment in the code below.
* The executable is wrapped so some environment variables can be set.
* I also changed the synopsis to the one on their GitHub page, and added a copyright line for raingloom.
[1]: https://issues.guix.gnu.org/46124#1
gnu/packages/idris.scm | 120 ++++++++++++++++++++++++++++++++++++++++- 1 file changed, 119 insertions(+), 1 deletion(-)
Toggle diff (161 lines)diff --git a/gnu/packages/idris.scm b/gnu/packages/idris.scmindex ca2772b904..64cb4f37f5 100644--- a/gnu/packages/idris.scm+++ b/gnu/packages/idris.scm@@ -3,6 +3,8 @@ ;;; Copyright © 2016, 2017 David Craven <david@craven.ch> ;;; Copyright © 2018 Alex ter Weele <alex.ter.weele@gmail.com> ;;; Copyright © 2019, 2021 Eric Bavier <bavier@posteo.net>+;;; Copyrignt © 2021 raingloom <raingloom@riseup.net>+;;; Copyright © 2021 Xinglu Chen <public@yoctocell.xyz> ;;; ;;; This file is part of GNU Guix. ;;;@@ -21,6 +23,8 @@ (define-module (gnu packages idris) #:use-module (gnu packages)+ #:use-module (gnu packages bash)+ #:use-module (gnu packages chez) #:use-module (gnu packages haskell-check) #:use-module (gnu packages haskell-web) #:use-module (gnu packages haskell-xyz)@@ -28,12 +32,16 @@ #:use-module (gnu packages multiprecision) #:use-module (gnu packages ncurses) #:use-module (gnu packages perl)+ #:use-module (gnu packages python)+ #:use-module (gnu packages sphinx) #:use-module (guix build-system gnu) #:use-module (guix build-system haskell) #:use-module (guix download) #:use-module (guix git-download) #:use-module ((guix licenses) #:prefix license:)- #:use-module (guix packages))+ #:use-module (guix packages)+ #:use-module (guix utils)+ #:use-module (ice-9 regex)) (define-public idris (package@@ -150,6 +158,116 @@ can be specified precisely in the type. The language is closely related to Epigram and Agda.") (license license:bsd-3))) +;; TODO: Add other backends?+(define-public idris2+ (package+ (name "idris2")+ (version "0.4.0")+ (source (origin+ (method git-fetch)+ (uri (git-reference+ (url "https://github.com/idris-lang/Idris2")+ (commit (string-append "v" version))))+ (sha256+ (base32+ "105jybjf5s0k6003qzfxchzsfcpsxip180bh3mdmi74d464d0h8g"))))+ (build-system gnu-build-system)+ (arguments+ `(#:test-target "bootstrap-test"+ #:phases+ (modify-phases+ %standard-phases+ (add-after 'unpack 'patch-paths+ (lambda* (#:key outputs inputs #:allow-other-keys)+ (substitute* "config.mk"+ ((,(regexp-quote "PREFIX ?= $(HOME)/.idris2"))+ (string-append "PREFIX = "+ (assoc-ref outputs "out"))))+ (substitute* '("src/Compiler/Scheme/Chez.idr"+ "src/Compiler/Scheme/Racket.idr"+ "bootstrap/idris2_app/idris2.rkt"+ "bootstrap/idris2_app/idris2.ss")+ ((,(regexp-quote "#!/bin/sh"))+ (string-append "#!" (assoc-ref inputs "bash")+ "/bin/sh")))))+ ;; This is not the kind of bootstrap we want to run+ (delete 'bootstrap)+ (delete 'configure) ; no configure script+ (replace 'build+ (lambda _+ (invoke "make" "bootstrap"+ "SCHEME=scheme"+ ;; TODO: detect toolchain.+ (string-append "CC=" ,(cc-for-target)))))+ (add-after 'build 'build-doc+ (lambda _+ (with-directory-excursion+ "docs"+ (invoke "make" "html"))))+ (add-before 'check 'set-cc+ (lambda _+ (setenv "CC" ,(cc-for-target))))+ (add-after 'install 'install-doc+ (lambda* (#:key outputs #:allow-other-keys)+ (copy-recursively+ "docs/build/html"+ (string-append+ (assoc-ref outputs "out")+ "/share/doc/"+ ,name "-" ,version))))+ (add-after 'install-doc 'fix-ld-library-path+ (lambda* (#:key outputs #:allow-other-keys)+ ;; The bin/idris2 calls bin/idris2_app/idris2.so which is+ ;; the real executable, but it sets LD_LIBRARY_PATH+ ;; incorrectly. Remove bin/idris2 and replace it with+ ;; bin/idris2_app/idris2.so instead.+ (let ((out (assoc-ref outputs "out")))+ (delete-file (string-append out "/bin/idris2"))+ (copy-file (string-append out "/bin/idris2_app/idris2.so")+ (string-append out "/bin/idris2"))+ (delete-file-recursively (string-append out "/bin/idris2_app")))))+ (add-after 'fix-ld-library-path 'wrap-program+ (lambda* (#:key outputs inputs #:allow-other-keys)+ (let* ((chez (string-append (assoc-ref inputs "chez-scheme")+ "/bin/scheme"))+ (out (assoc-ref outputs "out"))+ (idris2 (string-append out "/bin/idris2"))+ (version ,version))+ (wrap-program idris2+ `("LD_LIBRARY_PATH" ":" prefix+ (,(string-append out "/idris2-" version "/lib")))+ `("CHEZ" ":" = (,chez)))))))))+ (inputs+ `(("bash" ,bash-minimal)+ ("chez-scheme" ,chez-scheme)+ ("gmp" ,gmp)))+ (native-inputs+ ;; For building docs.+ `(("python-sphinx" ,python-sphinx)+ ("python-sphinx-rtd-theme" ,python-sphinx-rtd-theme)+ ("python" ,python) ))+ (native-search-paths+ (list (search-path-specification+ (variable "IDRIS2_PACKAGE_PATH")+ (files (list (string-append "idris2-" version))))+ (search-path-specification+ (variable "IDRIS2_LIBS")+ (files (list (string-append "idris2-" version "/lib")))+ (file-type 'directory))+ (search-path-specification+ (variable "IDRIS2_DATA")+ (files (list (string-append "idris2-" version "/support")))+ (file-type 'directory))))+ (home-page "https://idris-lang.org/")+ (synopsis "Purely functional programming language with first class types")+ (description+ "Idris 2 is a general purpose language with dependent linear types.+It is compiled, with eager evaluation. Dependent types allow types to+be predicated on values, meaning that some aspects of a program's behaviour+can be specified precisely in the type. It can use multiple languages as code+generation backends.")+ (license license:bsd-3)))+ ;; Idris modules use the gnu-build-system so that the IDRIS_LIBRARY_PATH is set. (define (idris-default-arguments name) `(#:modules ((guix build gnu-build-system)
base-commit: 9cb35c02164d929fcb8929e7f454df215df8cf25-- 2.32.0
A
A
Attila Lendvai wrote on 5 Oct 18:37 +0200
[PATCH 1/3] gnu: ghc-cheapskate: Update to 0.1.1.2
(address . 49607@debbugs.gnu.org)(name . Attila Lendvai)(address . attila@lendvai.name)
20211005163757.29637-1-attila@lendvai.name
* gnu/packages/haskell-xyz.scm (ghc-cheapskate): Update to 0.1.1.2
* gnu/packages/idris.scm (idris-1.3.3): Delete now unnecessary substitute---
i have many plans for further changes, but i thought i'llsend this meanwhile, so that everyone can have a freshidris on their guix.
this doesn't build/install the docs. may add it later.
gnu/packages/haskell-xyz.scm | 4 ++-- gnu/packages/idris.scm | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-)
Toggle diff (39 lines)diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scmindex f421458e15..87ebe4f3b6 100644--- a/gnu/packages/haskell-xyz.scm+++ b/gnu/packages/haskell-xyz.scm@@ -1966,7 +1966,7 @@ Partial and Infinite Values\"}.") (define-public ghc-cheapskate (package (name "ghc-cheapskate")- (version "0.1.1.1")+ (version "0.1.1.2") (source (origin (method url-fetch)@@ -1976,7 +1976,7 @@ Partial and Infinite Values\"}.") ".tar.gz")) (sha256 (base32- "0qnyd8bni2rby6b02ff4bvfdhm1hwc8vzpmnms84jgrlg1lly3fm"))))+ "17n6laihqrjn62l8qw4565nf77zkvrl68bjmc3vzr4ckqfblhdzd")))) (build-system haskell-build-system) (inputs `(("ghc-blaze-html" ,ghc-blaze-html)diff --git a/gnu/packages/idris.scm b/gnu/packages/idris.scmindex ca2772b904..058d679c1f 100644--- a/gnu/packages/idris.scm+++ b/gnu/packages/idris.scm@@ -100,8 +100,8 @@ (add-after 'unpack 'update-constraints (lambda _ (substitute* "idris.cabal"- (("ansi-terminal < 0\\.9") "ansi-terminal < 0.10")- (("cheapskate >= 0\\.1\\.1\\.2 && < 0\\.2") "cheapskate >= 0.1.1.1 && < 0.2"))+ ;; This is only needed for v1.3.3, later it got relaxed upstream+ (("ansi-terminal < 0\\.9") "ansi-terminal < 0.10")) #t)) (add-before 'configure 'set-cc-command (lambda _-- 2.33.0
A
A
Attila Lendvai wrote on 5 Oct 18:37 +0200
[PATCH 2/3] gnu: idris: Use wrap-program to define IDRIS_CC
(address . 49607@debbugs.gnu.org)(name . Attila Lendvai)(address . attila@lendvai.name)
20211005163757.29637-2-attila@lendvai.name
Idris requires a C compiler at runtime to generate executables.
* gnu/packages/idris.scm (idris): Rename the scheme variable to idris-1.3.3 toprepare for adding different versions later on.[inputs]: Add Clang, and bash-minimal (for wrap-program).[phases]: use (cc-for-target).--- gnu/packages/idris.scm | 31 +++++++++++++++++++++++-------- 1 file changed, 23 insertions(+), 8 deletions(-)
Toggle diff (102 lines)diff --git a/gnu/packages/idris.scm b/gnu/packages/idris.scmindex 058d679c1f..1f6e984a90 100644--- a/gnu/packages/idris.scm+++ b/gnu/packages/idris.scm@@ -21,10 +21,12 @@ (define-module (gnu packages idris) #:use-module (gnu packages)+ #:use-module (gnu packages bash) #:use-module (gnu packages haskell-check) #:use-module (gnu packages haskell-web) #:use-module (gnu packages haskell-xyz) #:use-module (gnu packages libffi)+ #:use-module (gnu packages llvm) #:use-module (gnu packages multiprecision) #:use-module (gnu packages ncurses) #:use-module (gnu packages perl)@@ -33,9 +35,10 @@ #:use-module (guix download) #:use-module (guix git-download) #:use-module ((guix licenses) #:prefix license:)- #:use-module (guix packages))+ #:use-module (guix packages)+ #:use-module (guix utils)) -(define-public idris+(define-public idris-1.3.3 (package (name "idris") (version "1.3.3")@@ -51,12 +54,15 @@ (build-system haskell-build-system) (native-inputs ;For tests `(("perl" ,perl)+ ("clang" ,clang) ; the tests want to generate exeutables ("ghc-cheapskate" ,ghc-cheapskate) ("ghc-tasty" ,ghc-tasty) ("ghc-tasty-golden" ,ghc-tasty-golden) ("ghc-tasty-rerun" ,ghc-tasty-rerun))) (inputs- `(("gmp" ,gmp)+ `(("bash" ,bash-minimal)+ ("clang" ,clang) ; FIXME clang compiles faster than gcc, but (cc-for-target) ignores it+ ("gmp" ,gmp) ("ncurses" ,ncurses) ("ghc-aeson" ,ghc-aeson) ("ghc-annotated-wl-pprint" ,ghc-annotated-wl-pprint)@@ -105,7 +111,7 @@ #t)) (add-before 'configure 'set-cc-command (lambda _- (setenv "CC" "gcc")+ (setenv "CC" ,(cc-for-target)) #t)) (add-after 'install 'fix-libs-install-location (lambda* (#:key outputs #:allow-other-keys)@@ -116,14 +122,14 @@ (lambda (module) (symlink (string-append modules "/" module) (string-append lib "/" module)))- '("prelude" "base" "contrib" "effects" "pruviloj")))))+ '("prelude" "base" "contrib" "effects" "pruviloj")))+ #t)) (delete 'check) ;Run check later (add-after 'install 'check (lambda* (#:key outputs #:allow-other-keys #:rest args) (let ((out (assoc-ref outputs "out"))) (chmod "test/scripts/timeout" #o755) ;must be executable (setenv "TASTY_NUM_THREADS" (number->string (parallel-job-count)))- (setenv "IDRIS_CC" "gcc") ;Needed for creating executables (setenv "PATH" (string-append out "/bin:" (getenv "PATH"))) (apply (assoc-ref %standard-phases 'check) args)))) (add-before 'check 'restore-libidris_rts@@ -135,8 +141,15 @@ (static (assoc-ref outputs "static")) (filename "/lib/idris/rts/libidris_rts.a")) (rename-file (string-append static filename)- (string-append out filename))- #t))))))+ (string-append out filename)))+ #t))+ (add-before 'check 'wrap-program+ (lambda* (#:key outputs inputs #:allow-other-keys)+ (let* ((out (assoc-ref outputs "out"))+ (exe (string-append out "/bin/idris")))+ (wrap-program exe+ `("IDRIS_CC" = (,',(cc-for-target)))))+ #true))))) (native-search-paths (list (search-path-specification (variable "IDRIS_LIBRARY_PATH")@@ -150,6 +163,8 @@ can be specified precisely in the type. The language is closely related to Epigram and Agda.") (license license:bsd-3))) +(define-public idris idris-1.3.3)+ ;; Idris modules use the gnu-build-system so that the IDRIS_LIBRARY_PATH is set. (define (idris-default-arguments name) `(#:modules ((guix build gnu-build-system)-- 2.33.0
A
A
Attila Lendvai wrote on 5 Oct 18:37 +0200
[PATCH 3/3] gnu: idris: Add idris2 0.5.1, and 1.3.3-1.5545986.
(address . 49607@debbugs.gnu.org)(name . Attila Lendvai)(address . attila@lendvai.name)
20211005163757.29637-3-attila@lendvai.name
This generality is there because with this it is possible to bootstrap IdrisHEAD all the way down from GHC. It requires patching past releases, whichrequires importing them into separate git branches. This has not been mergedinto upstream yet, therefore this commit only contains a single use ofMAKE-IDRIS-PACKAGE, but that will change in the future.
Add a symlink to a versioned binary; e.g. add a `bin/idris-1.3.3`.
* gnu/packages/idris.scm (idris-1.3.3-1): New variable, the latest git commitfrom the v1.x line of Idris.(make-idris-package): New function to instantiate a package of Idris2.(idris2-0.5.1): New variable.--- gnu/packages/idris.scm | 182 ++++++++++++++++++++++++++++++++++++++++- 1 file changed, 179 insertions(+), 3 deletions(-)
Toggle diff (226 lines)diff --git a/gnu/packages/idris.scm b/gnu/packages/idris.scmindex 1f6e984a90..4ef18c6da4 100644--- a/gnu/packages/idris.scm+++ b/gnu/packages/idris.scm@@ -19,9 +19,22 @@ ;;; You should have received a copy of the GNU General Public License ;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>. +;;; TODO+;;;+;;; - Idris has multiple backends, but we only register Chez as an+;;; input. Decide how to make backends optional, and/or which ones to package+;;; by default.+;;;+;;; - Set RUNPATH instead of using LD_LIBRARY_PATH. See+;;; http://blog.tremily.us/posts/rpath/ This needs patching Idris so that it+;;; stops using a wrapper script and finds its libidris_support.so+;;; e.g. relative to the executable.+ (define-module (gnu packages idris) #:use-module (gnu packages)+ #:use-module (gnu packages base) #:use-module (gnu packages bash)+ #:use-module (gnu packages chez) #:use-module (gnu packages haskell-check) #:use-module (gnu packages haskell-web) #:use-module (gnu packages haskell-xyz)@@ -29,14 +42,21 @@ #:use-module (gnu packages llvm) #:use-module (gnu packages multiprecision) #:use-module (gnu packages ncurses)+ #:use-module (gnu packages node) #:use-module (gnu packages perl)+ #:use-module (gnu packages racket)+ #:use-module (gnu packages version-control) #:use-module (guix build-system gnu) #:use-module (guix build-system haskell) #:use-module (guix download)+ #:use-module (guix git) #:use-module (guix git-download) #:use-module ((guix licenses) #:prefix license:) #:use-module (guix packages)- #:use-module (guix utils))+ #:use-module (guix utils)+ #:use-module (ice-9 match)+ #:use-module (ice-9 regex)+ #:export (make-idris-package)) (define-public idris-1.3.3 (package@@ -148,8 +168,10 @@ (let* ((out (assoc-ref outputs "out")) (exe (string-append out "/bin/idris"))) (wrap-program exe- `("IDRIS_CC" = (,',(cc-for-target)))))- #true)))))+ `("IDRIS_CC" = (,',(cc-for-target))))+ (with-directory-excursion (string-append out "/bin/")+ (symlink ,name (string-append ,name "-" ,version))))+ #t))))) (native-search-paths (list (search-path-specification (variable "IDRIS_LIBRARY_PATH")@@ -165,6 +187,160 @@ Epigram and Agda.") (define-public idris idris-1.3.3) +(define-public idris-1.3.3-1+ ;; This is the current latest from the v1.x branch.+ (let ((commit "55459867fc3f1ac34527a5dd998c37e72b15d488")+ (revision "1"))+ (package+ (inherit idris-1.3.3)+ (version (git-version "1.3.3" revision commit))+ (source (origin+ (method git-fetch)+ (uri (git-reference+ (url "https://github.com/attila-lendvai/Idris2")+ (commit commit)))+ (sha256+ (base32+ "0qsn1953jy74pgppwkax8yrlswb3v46x541ahbl95rshf666nsj6"))+ (file-name (git-file-name "idris" version))))+ (inputs+ (append (package-inputs idris-1.3.3)+ `(("ghc-haskeline-0.8" ,ghc-haskeline-0.8)))))))++(define* (make-idris-package source version+ #:key bootstrap-idris+ (ignore-test-failures? #false)+ (unwrap? #true)+ (tests? #true)+ (files-to-patch-for-shell+ '("src/Compiler/Scheme/Chez.idr"+ "src/Compiler/Scheme/Racket.idr"+ "src/Compiler/Scheme/Gambit.idr"+ "src/Compiler/ES/Node.idr"+ "bootstrap/idris2_app/idris2.rkt"+ "bootstrap/idris2_app/idris2.ss"))+ (with-bootstrap-shortcut? #true))+ (package+ (name "idris2")+ (version version)+ (source (match source+ ((commit hash . url)+ (origin+ (method git-fetch)+ (uri (git-reference+ (url (if (null? url)+ "https://github.com/idris-lang/Idris2.git"+ (car url)))+ (commit commit)))+ (sha256 (base32 hash))+ (file-name (git-file-name name version))))+ ((? git-checkout?)+ source)))+ (build-system gnu-build-system)+ (native-inputs+ `(,@(if with-bootstrap-shortcut?+ `(("chez-scheme" ,chez-scheme))+ `(("bootstrap-idris" ,bootstrap-idris)))+ ("cc" ,clang-toolchain-12) ; clang or older clang-toolchain's don't have a bin/cc+ ("coreutils" ,coreutils)+ ("git" ,git)+ ("node" ,node) ; only for the tests+ ("racket" ,racket) ; only for the tests+ ("sed" ,sed)))+ (inputs+ `(("bash" ,bash-minimal)+ ("chez-scheme" ,chez-scheme)+ ("gmp" ,gmp)))+ (arguments+ `(#:tests? ,tests?+ #:make-flags+ (list (string-append "CC=" ,(cc-for-target))+ ,@(if with-bootstrap-shortcut?+ '((string-append "SCHEME="+ (assoc-ref %build-inputs "chez-scheme")+ "/bin/scheme"))+ `((string-append "BOOTSTRAP_IDRIS="+ (assoc-ref %build-inputs "bootstrap-idris")+ "/bin/" ,(package-name bootstrap-idris))))+ (string-append "PREFIX=" (assoc-ref %outputs "out"))+ "-j1")+ #:phases+ (modify-phases %standard-phases+ (delete 'bootstrap)+ (delete 'configure)+ (delete 'check) ; check must happen after install and wrap-program+ (add-after 'unpack 'patch-paths+ (lambda* (#:key inputs #:allow-other-keys)+ (substitute* ',files-to-patch-for-shell+ ((,(regexp-quote "#!/bin/sh"))+ (string-append "#!" (assoc-ref inputs "bash") "/bin/sh"))+ (("/usr/bin/env")+ (string-append (assoc-ref inputs "coreutils") "/bin/env")))+ #true))+ ,@(if unwrap?+ `((add-after 'install 'unwrap+ (lambda* (#:key outputs #:allow-other-keys)+ ;; The bin/idris2 calls bin/idris2_app/idris2.so which is+ ;; the real executable, but it sets LD_LIBRARY_PATH+ ;; incorrectly. Remove bin/idris2 and replace it with+ ;; bin/idris2_app/idris2.so instead.+ (let ((out (assoc-ref outputs "out")))+ (delete-file (string-append out "/bin/idris2"))+ (rename-file (string-append out "/bin/idris2_app/idris2.so")+ (string-append out "/bin/idris2"))+ (delete-file-recursively (string-append out "/bin/idris2_app"))+ (delete-file-recursively (string-append out "/lib")))+ #true)))+ '())+ ,@(if with-bootstrap-shortcut?+ `((replace 'build+ (lambda* (#:key make-flags #:allow-other-keys)+ ;; i.e. do not build it using the previous version of+ ;; Idris, but rather compile the comitted compiler+ ;; output.+ (apply invoke "make" "bootstrap" make-flags))))+ '())+ (add-after 'unwrap 'wrap-program+ (lambda* (#:key outputs inputs #:allow-other-keys)+ (let* ((chez (string-append (assoc-ref inputs "chez-scheme")+ "/bin/scheme"))+ (out (assoc-ref outputs "out"))+ (exe (string-append out "/bin/" ,name))+ (version ,version))+ (wrap-program exe+ `("IDRIS2_PREFIX" = (,out))+ `("LD_LIBRARY_PATH" prefix (,(string-append out "/idris2-" version "/lib")))+ `("CC" = (,',(cc-for-target)))+ `("CHEZ" = (,chez)))+ (with-directory-excursion (string-append out "/bin/")+ (symlink ,name (string-append ,name "-" ,version))))+ #true))+ (add-after 'wrap-program 'check+ (lambda* (#:key outputs make-flags #:allow-other-keys)+ (,(if ignore-test-failures?+ 'false-if-exception+ 'begin)+ (apply invoke "make"+ "INTERACTIVE="+ (string-append "IDRIS2="+ (assoc-ref outputs "out")+ "/bin/" ,name)+ "test" make-flags))+ #true)))))+ (home-page "https://www.idris-lang.org")+ (synopsis "General purpose language with full dependent types")+ (description "Idris is a general purpose language with full dependent+types. It is compiled, with eager evaluation. Dependent types allow types to+be predicated on values, meaning that some aspects of a program's behaviour+can be specified precisely in the type. The language is closely related to+Epigram and Agda.")+ (license license:bsd-3)))++(define-public idris2-0.5.1+ (make-idris-package '("v0.5.1"+ "09k5fxnplp6fv3877ynz1lwq9zapxcxbvfvkn6g68yb0ivrff978")+ "0.5.1"))+ ;; Idris modules use the gnu-build-system so that the IDRIS_LIBRARY_PATH is set. (define (idris-default-arguments name) `(#:modules ((guix build gnu-build-system)-- 2.33.0
?
Your comment

Commenting via the web interface is currently disabled.

To comment on this conversation send email to 49607@debbugs.gnu.org