gnu: git: Update to 2.47.1. * gnu/packages/version-control.scm (git-minimal): Update to 2.47.1. (git)[arguments]<install-man-pages>: Update hash. Change-Id: I43b730ab22dbf3c8750936cb342f96342b9ca0b0 Signed-off-by: Ludovic Courtès <ludo@gnu.org>
gnu: proof-general: Update to 4.5-2.d668946. * gnu/packages/coq.scm (proof-general): Update to 4.5-2.d668946. [phases] Remove unneeded phases and fix shebang fix. Change-Id: I5ce2775cf18775737853d76b5a50d461aa9d14e6 Signed-off-by: Ludovic Courtès <ludo@gnu.org>
gnu: passt: Update to 2024_12_11.09478d5. * gnu/packages/containers.scm (passt): Update to 2024_12_11.09478d5. Change-Id: Ib4dab58099337a711fdbca3d700804b8d251d7c7 Signed-off-by: Ludovic Courtès <ludo@gnu.org>
gnu: radicale: Update to 3.3.2. * gnu/packages/dav.scm (radicale): Update to 3.3.2. [build-system]: Switch to pyproject-build-system. [native-inputs]: Remove no longer used python-pytest-runner. Add python-setuptools and python-wheel. [propagated-inputs]: Remove no longer used python-dateutil. Add python-pika. Change-Id: I2fa789fb828cba01bb246e1f747cf170881fc3bb Signed-off-by: Ludovic Courtès <ludo@gnu.org>
gnu: Add pam-hooks. * gnu/packages/admin.scm (pam-hooks): Add variable. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
gnu: home: Replace rename in update-symlinks scripts. * gnu/home/services/symlink-manager.scm (update-symlinks): Use copy-file and delete-file instead of rename-file to avoid an error when the target and backup are not in the same filesystem. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
deploy: Add ‘--expression’. * guix/scripts/deploy.scm (show-help): Add help. (%options): Add -e and --expression. (guix-deploy): Use expression and check for invalid flag combinations. Change-Id: I200c9ff0c9a8c686efff4a21cd33c10429f3c73e Signed-off-by: Ludovic Courtès <ludo@gnu.org>
weather: Reword the help message for the expression flag. * guix/scripts/weather.scm (show-help): Reword help. Change-Id: I670dc0c8f89b81e2f7f8b5d7a9a05f74b3ac9cdd Signed-off-by: Ludovic Courtès <ludo@gnu.org>
services: syslog: Adjust service for rsyslog compatibility. * gnu/services/base.scm (syslog-shepherd-service): Change flag for designating configuration file. The long option is not compatible with rsyslog while the short is; switch to the short one. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
services: syslog: Add extra-options argument to syslog service. * gnu/services/base.scm (<syslog-configuration>): Add extra-options field. (syslog-shepherd-service): Use it when running the service. * doc/guix.texi: Document it. Change-Id: I540d070b9a9678b45ec9fa28d6fdc761f9b3fd9a Signed-off-by: Ludovic Courtès <ludo@gnu.org>
gnu: openmpi@4: Hard-code file name of ‘ssh’ command. This patch fixes a runtime error when launching an MPI program using mpiexec/mpirun in an environment where the ssh command is not available. * gnu/packages/mpi.scm (openmpi-4)[inputs]: Add openssh-sans-x. (openmpi-4)[arguments]: Fix path in code. Change-Id: I65255186c37b6eaba3c283c7046163abc2cb38b7 Signed-off-by: Ludovic Courtès <ludo@gnu.org>
gnu: cadabra2: Fix paths. * gnu/packages/engineering.scm (cadabra2)[arguments]<#:phases>[patch-paths]: New phase. Change-Id: If22ed61f74531bd685c0e588a954982e63cb2d33
gnu: python-nbclassic: Fix build. * gnu/packages/jupyter.scm (python-nbclassic)[propagated-inputs]: Add python-webcolors-24. Change-Id: I57158358594a6cc05814bb608bee1b268f90f6c8
gnu: python-emoji: Propagate python-typing-extensions. The core module imports typing_extensions, so these are likely meant to be propagated. * gnu/packages/python-xyz.scm (python-emoji)[native-inputs]: Move python-typing-extensions from here… [propagated-inputs]: … to here. Signed-off-by: jgart <jgart@dismail.de>
gnu: python-pypandoc: Use gexp style. * gnu/packages/python-xyz.scm (python-pypandoc): Use gexp style. Signed-off-by: jgart <jgart@dismail.de> Change-Id: Id1197e0683b43481ebb39bc8dd1aa55acf3ec03b
gnu: python-pypandoc: Fix build. * gnu/packages/python-xyz.scm (python-pypandoc): Fix build. [native-inputs]: Add python-setuptools. [home-page]: Follow redirect. Signed-off-by: jgart <jgart@dismail.de> Change-Id: Id1197e0683b43481ebb39bc8dd1aa55acf3ec03b
gnu: elfutils: Fix cross-compilation. * gnu/packages/elf.scm (elfutils): Fix cross-compilation [arguments]: When cross-compilation, apply patch. <#:phases>: Use G-expressions. * gnu/packages/patches/elfutils-libdwfl-string-overflow.patch: New file. * gnu/local.mk (dist_patch_DATA): Register it. Change-Id: Ia1ab9c09124a140608bda34bf62f0ae80eb44f9b
gnu: python-pytest-qt: Update to 4.4.0. * gnu/packages/python-check.scm (python-pytest-qt): Update to 4.4.0. Change-Id: I33b8f8be6b6d7cb3e8bac1784fdf22787f24b631
gnu: Add ocaml-lsp-server. * gnu/packages/ocaml.scm (ocaml-lsp-server): New variable. Change-Id: Ib861dea3d7d00d570f253ffc3b4955e547dc2676 Signed-off-by: Danny Milosavljevic <dannym@friendly-machines.com>
gnu: ocaml-merlin-lib: Update to 4.14. * gnu/packages/ocaml.scm (ocaml-merlin-lib): Update to 4.14-414. * gnu/packages/ocaml.scm (ocaml-merlin-lib-500): Update to 4.14-500. Change-Id: I5b2117f34eca6d55b95413a7fefc29c4acdee7e5 Signed-off-by: Danny Milosavljevic <dannym@friendly-machines.com>