summary refs log tree commit diff
AgeCommit message (Collapse)Author
2022-07-01gnu: mcrl2: Update to 202206.0.Jan (janneke) Nieuwenhuizen
* gnu/packages/patches/mcrl2-fix-1687.patch, gnu/packages/patches/mcrl2-fix-counterexample.patch: New files. * gnu/local.mk (dist_patch_DATA): Add them. * gnu/packages/maths.scm (mcrl2): Update to 202206.0 and use them.
2022-07-01gnu: Add python-ikarus.Ricardo Wurmus
* gnu/packages/bioinformatics.scm (python-ikarus): New variable.
2022-07-01tests: Add sanitizer test.Ludovic Courtès
* tests/records.scm ("define-record-type* & sanitize without default value"): New test.
2022-07-01image: Add sanitizers for 'format' and 'partition-table-type'.Ludovic Courtès
This allows common mistakes to be diagnosed early. * gnu/image.scm (define-set-sanitizer): New macro. (validate-image-format, validate-partition-table-type): New sanitizers. (<image>)[format, partition-table-type]: Add 'sanitize' property.
2022-07-01image: Raise an error when an image lacks a bootable partition.Ludovic Courtès
* gnu/system/image.scm (find-root-partition): Raise an error when 'find' returns #f.
2022-07-01image: Avoid use of the deprecated 'gpt' option of genimage.Ludovic Courtès
* gnu/system/image.scm (system-disk-image)[genimage-type-options]: Use 'partition-table-type' instead of the deprecated 'gpt' option.
2022-07-01image: Add default value for partition initializer.Ludovic Courtès
Previously, the default value would lead to a wrong-type-to-apply crash. * gnu/system/image.scm (system-disk-image)[image-builder]: When 'partition-initializer' returns #f, fall back to INITIALIZE-ROOT-PARTITION. * gnu/tests/base.scm (run-root-unmount-test)[test-image]: Remove 'initializer' field of partition. * gnu/image.scm (<partition>)[initializer]: Add comment.
2022-07-01image: 'system-image' throws when given an incorrect image format.Ludovic Courtès
Previously 'system-image' would return *unspecified* in that case, leading to a wrong-type-arg error crash down the road. * gnu/system/image.scm (system-image): Add 'else' clause.
2022-07-01services: root-file-system: Cleanly unmount upon shutdown.Ludovic Courtès
Fixes <https://issues.guix.gnu.org/56209>. Reported by angry rectangle <angryrectangle@cock.li>. * gnu/packages/admin.scm (shepherd-0.9)[modules, snippet]: New fields. * gnu/services/base.scm (%root-file-system-shepherd-service): In 'stop' method, remove 'call-with-blocked-asyncs'. When 'mount' throws to 'system-error, call (@ (fibers) sleep) and try again. * gnu/tests/base.scm (run-root-unmount-test): New procedure. (%test-root-unmount): New variable.
2022-07-01file-systems: Add 'cleanly-unmounted-ext2?'.Ludovic Courtès
* gnu/build/file-systems.scm (ext2-superblock-cleanly-unmounted?) (cleanly-unmounted-ext2?): New procedures.
2022-07-01gnu: texlive-fmtcount: Add proper 'license' value.Ludovic Courtès
This is a followup to df5e07c16d2d4e72423f0e8c6b5b53c7020bc77a. * gnu/packages/tex.scm (texlive-fmtcount)[license]: New field.
2022-07-01services: nginx: Add support for extra content in upstream blocks.Christopher Baines
I'm looking at this as I'd like to use the keepalive functionality. * gnu/services/web.scm (nginx-upstream-configuration-extra-content): New procedure. (emit-nginx-upstream-config): Include the extra-content if applicable. * doc/guix.texi (NGINX): Document this.
2022-07-01gnu: grip: Update to 4.6.1.Luis Henrique Gomes Higino
* gnu/packages/python-web.scm (grip): Update to 4.6.1. (arguments): Use a gexp. Signed-off-by: Christopher Baines <mail@cbaines.net>
2022-07-01services: guix: Support guix-build-coordinator parallel hooks.Christopher Baines
* gnu/services/guix.scm (guix-build-coordinator-configuration-parallel-hooks): New procedure. (make-guix-build-coordinator-start-script): Accept and use #:parallel-hooks. (guix-build-coordinator-shepherd-services): Pass parallel-hooks to make-guix-build-coordinator-start-script. * doc/guix.texi (Guix Build Coordinator): Document this new field.
2022-07-01gnu: guix-build-coordinator: Update to 0-55.23504e0.Christopher Baines
* gnu/packages/package-management.scm (guix-build-coordinator): Update to 0-55.23504e0.
2022-07-01gnu: Add r-sungeo.Wiktor Żelazny
* gnu/packages/cran.scm (r-sungeo): New variable.
2022-07-01gnu: Add r-measurements.Wiktor Żelazny
* gnu/packages/cran.scm (r-measurements): New variable.
2022-07-01gnu: Add r-cartogram.Wiktor Żelazny
* gnu/packages/cran.scm (r-cartogram): New variable.
2022-07-01gnu: Add r-automap.Wiktor Żelazny
* gnu/packages/cran.scm (r-automap): New variable.
2022-07-01gnu: Add r-gstat.Wiktor Żelazny
* gnu/packages/cran.scm (r-gstat): New variable.
2022-07-01gnu: Add r-spacetime.Wiktor Żelazny
* gnu/packages/cran.scm (r-spacetime): New variable.
2022-07-01gnu: Add r-antiprofiles.Mădălin Ionel Patrașcu
* gnu/packages/bioconductor.scm (r-antiprofiles): New variable. Signed-off-by: Ricardo Wurmus <rekado@elephly.net>
2022-07-01gnu: Add r-annmap.Mădălin Ionel Patrașcu
* gnu/packages/bioconductor.scm (r-annmap): New variable. Signed-off-by: Ricardo Wurmus <rekado@elephly.net>
2022-07-01gnu: Add r-anf.Mădălin Ionel Patrașcu
* gnu/packages/bioconductor.scm (r-anf): New variable. Signed-off-by: Ricardo Wurmus <rekado@elephly.net>
2022-07-01gnu: Add r-anaquin.Mădălin Ionel Patrașcu
* gnu/packages/bioconductor.scm (r-anaquin): New variable. Signed-off-by: Ricardo Wurmus <rekado@elephly.net>
2022-06-30gnu: opensbi: Update to 1.1.Vagrant Cascadian
* gnu/packages/firmware.scm (make-opensbi-package): Update to 1.1.
2022-06-30gnu: itstool: Update home page.Marius Bakke
* gnu/packages/glib.scm (itstool)[home-page]: Use HTTPS and remove defunct subdomain.
2022-06-30gnu: cURL: Replace with 7.84.0 [security fixes].Marius Bakke
This fixes CVE-2022-22576, CVE-2022-27774, CVE-2022-27775, CVE-2022-27776, CVE-2022-27781, and CVE-2022-27782. * gnu/packages/curl.scm (curl)[replacement]: New field. (curl-7.84.0): New private variable.
2022-06-30gnu: cURL: Update source URI.Marius Bakke
* gnu/packages/curl.scm (curl)[source](uri): Follow redirect.
2022-06-30gnu: Add sketch.Pierre Neidhardt
* gnu/packages/lisp-xyz.scm (cl-sketch, ecl-sketch, sbcl-sketch): New variables.
2022-06-30gnu: Add cl-sdl2-ttf.Pierre Neidhardt
* gnu/packages/lisp-xyz.scm (cl-sdl2-ttf, ecl-sdl2-ttf, sbcl-sdl2-ttf): New variables.
2022-06-30gnu: Add cl-sdl2-image.Pierre Neidhardt
* gnu/packages/lisp-xyz.scm (cl-sdl2-image, ecl-cl-sdl2-image, sbcl-cl-sdl2-image): New variables.
2022-06-30gnu: Add cl-geometry.Pierre Neidhardt
* gnu/packages/lisp-xyz.scm (cl-geometry, ecl-cl-geometry, sbcl-cl-geometry): New variables.
2022-06-30gnu: Add cl-trees.Pierre Neidhardt
* gnu/packages/lisp-xyz.scm (cl-trees, ecl-cl-trees, sbcl-cl-trees): New variables.
2022-06-30gnu: Add glkit.Pierre Neidhardt
* gnu/packages/lisp-xyz.scm (cl-glkit, ecl-glkit, sbcl-glkit): New variables.
2022-06-30gnu: Add sdl2kit.Pierre Neidhardt
* gnu/packages/lisp-xyz.scm (cl-sdl2kit, ecl-sdl2kit, sbcl-sdl2kit): New variables.
2022-06-30gnu: Add mathkit.Pierre Neidhardt
* gnu/packages/lisp-xyz.scm (cl-mathkit, ecl-mathkit, sbcl-mathkit): New variables.
2022-06-30gnu: Add sb-cga.Pierre Neidhardt
* gnu/packages/lisp-xyz.scm (cl-sb-cga, ecl-sb-cga, sbcl-sb-cga): New variables.
2022-06-30gnu: sbcl: Enable sb-gmp, sb-mpfr and install shared library.Pierre Neidhardt
* gnu/packages/lisp.scm (sbcl)[inputs]: Add gmp, mpfr. [arguments]: Fix shared library makefile. Fix contrib references to gmp and mpfr. Add phase to build shared library. Add phase to install shared library.
2022-06-30gnu: Add physical-quantities.Pierre Neidhardt
* gnu/packages/lisp-xyz.scm (cl-physical-quantities, ecl-physical-quantities, sbcl-physical-quantities): New variables.
2022-06-30gnu: Add parseq.Pierre Neidhardt
* gnu/packages/lisp-xyz.scm (cl-parseq, ecl-parseq, sbcl-parseq): New variables.
2022-06-30gnu: Add slot-extra-options.Pierre Neidhardt
* gnu/packages/lisp-xyz.scm (cl-slot-extra-options, ecl-slot-extra-options, sbcl-slot-extra-options): New variables.
2022-06-30gnu: sbcl-parachute: Update to 20210920.Pierre Neidhardt
* gnu/packages/lisp-check.scm (sbcl-parachute): Update to 20210920.
2022-06-30gnu: Add polymorphic-functions.Pierre Neidhardt
* gnu/packages/lisp-xyz.scm (cl-polymorphic-functions, ecl-polymorphic-functions, sbcl-polymorphic-functions): New variables.
2022-06-30gnu: Add ctype.Pierre Neidhardt
* gnu/packages/lisp-xyz.scm (cl-ctype, ecl-ctype, sbcl-ctype): New variables.
2022-06-30gnu: Add compiler-macro-notes.Pierre Neidhardt
* gnu/packages/lisp-xyz.scm (cl-compiler-macro-notes, ecl-compiler-macro-notes, sbcl-compiler-macro-notes): New variables.
2022-06-30gnu: Add fast-generic-functions.Pierre Neidhardt
* gnu/packages/lisp-xyz.scm (cl-fast-generic-functions, ecl-fast-generic-functions, sbcl-fast-generic-functions): New variables.
2022-06-30gnu: Add sealable-metaobjects.Pierre Neidhardt
* gnu/packages/lisp-xyz.scm (cl-sealable-metaobjects, ecl-sealable-metaobjects, sbcl-sealable-metaobjects): New variables.
2022-06-30gnu: Add dynamic-mixins.Pierre Neidhardt
* gnu/packages/lisp-xyz.scm (cl-dynamic-mixins, ecl-dynamic-mixins, sbcl-dynamic-mixins): New variables.
2022-06-30gnu: Add defstar.Pierre Neidhardt
* gnu/packages/lisp-xyz.scm (cl-defstar, ecl-defstar, sbcl-defstar): New variables.