gnu: racket: Update to 8.11.1.
* gnu/packages/patches/racket-backport-8.10-rktboot.patch: Delete file.
* gnu/packages/patches/racket-backport-8.11-layered-docs.patch: New file.
* gnu/local.mk (dist_patch_DATA): Update accordingly.
* gnu/packages/racket/scm (%racket-origin)[patches]: Likewise.
(%racket-version): Update to 8.11.1.
(%zuo-version): Update to 1.7.
(racket)[inputs]<deinprogramm, draw, drracket, games, gui, htdp>
<parser-tools, plot, rackunit, redex, scribble, slideshow, typed-racket>
<srfi, string-constants, syntax-color, web-server, xrepl>: Update hashes.
<quickscript>: Likewise, and add snippet.
* gnu/packages/chez.scm (chez-scheme-for-racket): Update to
9.9.9-pre-release.18.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
gnu: hpcguix-web: Update to 0.4.0.
* gnu/packages/web.scm (hpcguix-web): Update to 0.4.0.
Change-Id: I66a4689d7e3e93ed4085db937920374dbb5a796e
syscalls: Define riscv64 syscall ID for clone.
* guix/build/syscalls.scm (clone): Add an entry for riscv64.
This allows the use of --container on riscv64.
Change-Id: I12b3cb5e2aa248266d006b6e456082f4ddc70e62
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
gnu: rust-1.64: Don't make package public.
* gnu/packages/rust.scm (rust-1.64): Use define, not define-public.
Change-Id: I475e8b1028a716f1d04a4aea5da4d6e7ca2a87d7
Merge branch 'rust-team'
Change-Id: Iee33d7b9067d2180fd4b2e28d81716a251a53a01
gnu: chicken: Update to 5.3.0.
* gnu/packages/chicken.scm (chicken): Update to 5.3.0.
Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
Change-Id: Id3ec15da586ddfc6dae924c0c8031fd7a4613660
gnu: inspectrum: Update to 0.3.1.
* gnu/packages/radio.scm (inspectrum): Update to 0.3.1.
Change-Id: I51e81e328b332a32e19ab169c602875b21256c4c
gnu: nyxt: Update to 3.10.0.
* gnu/packages/web-browsers.scm (nyxt): Update to 3.10.0.
[source]: Remove snippet.
[inputs]: Remove sbcl-nasdf.
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
Change-Id: Id131d7168133eb8a31214819c7605d876a1b38f3
gnu: Add cl-machine-state.
* gnu/packages/lisp-xyz.scm (cl-machine-state, ecl-machine-state,
sbcl-machine-state): New variables.
Change-Id: I48d98dabc2fab1d74bc83857cb750efc29e85ab1
ci: Don't cross compile to avr.
* gnu/ci.scm (cross-jobs)[pointless?]: Don't build any packages for avr.
Change-Id: I1728727874d65461b82364e71b70c7d1fd050d90
gnu: sbcl-serapeum: Update to 20231203.
* gnu/packages/lisp-xyz.scm (sbcl-serapeum): Update to 20231203.
Change-Id: If8c364cde4dce2943d6e21770eec90c1ab05bc67
gnu: openssl: Don't error when targeting avr.
* gnu/packages/tls.scm (target->openssl-target): Add case for avr.
Change-Id: I1cfc8b50fa4b2b864f8f8aa8898cc405ffc02580
gnu: system->llvm-target-arch: Add avr target.
* gnu/packages/llvm.scm (system->llvm-target-arch): Add case for avr.
Change-Id: I5291d396ad513cfecdf8f0a6f799ea095fc8d994
gnu: make-crust-package: Don't run from avr.
* gnu/packages/firmware.scm (make-crust-package)[arguments]: In
make-flags don't create tools which can be run from avr.
Change-Id: I118b4941889b884de1e491ace3818d878a887d7c
gnu: lean: Update to 3.51.1.
* gnu/packages/lean.scm (lean): Update to 3.51.1.
[home-page]: Use new home page.
[arguments]<#:phases>: Remove stale phase 'patch-tests-shebangs'.
[inputs]: Remove bash-minimal.
Change-Id: Ib90a124b4a6b06fb30223ad4b9254249e56dd086
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
gnu: lean: Use G-expressions.
* gnu/packages/lean.scm (lean)[arguments]: Use G-expressions.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
gnu: pdfarranger: Update to 1.10.1.
* gnu/packages/pdf.scm (pdfarranger): Update to 1.10.1.
[arguments]: Add set-home phase.
Change-Id: Id31925e7e34fc4b23abb73456bac8cd0012f1d6f
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
gnu: openvpn: Update to 2.6.7.
* gnu/packages/vpn.scm (openvpn): Update to 2.6.7.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>