me
/
guix
Archived
1
0
Fork 0
Commit Graph

109507 Commits (c497e1b0ae48704f21146f51f9e842e5c2917a1f)

Author SHA1 Message Date
Liliana Marie Prikler c497e1b0ae
gnu: komikku: Update to 1.12.1.
* gnu/packages/gnome.scm (komikku): Update to 1.12.1.
2023-03-05 08:17:58 +01:00
Liliana Marie Prikler ffbf8ce07a
gnu: Add java-smtinterpol.
* gnu/packages/maths.scm (java-smtinterpol): New variable.
2023-03-05 08:17:58 +01:00
Liliana Marie Prikler a10cc08a0f
gnu: Add boolector.
* gnu/packages/patches/boolector-find-googletest: New file.
* gnu/local.mk (dist_patch_DATA): Register it here.
* gnu/packages/maths.scm (boolector): New variable.
2023-03-05 08:17:58 +01:00
Liliana Marie Prikler 1164f100d3
gnu: Add btor2tools.
* gnu/packages/maths.scm (btor2tools): New variable.
2023-03-05 08:17:58 +01:00
Liliana Marie Prikler 367979cbff
gnu: Add yices.
* gnu/packages/maths.scm (yices): New variable.
2023-03-05 08:17:58 +01:00
Liliana Marie Prikler 771d4f86dd
gnu: Add libpoly.
* gnu/packages/maths.scm (libpoly): New variable.
2023-03-05 08:17:58 +01:00
Liliana Marie Prikler 19769f5b6b
gnu: Add cudd.
* gnu/packages/maths.scm (cudd): New variable.
2023-03-05 08:17:57 +01:00
Liliana Marie Prikler e7860fcb5b
gnu: tracker: Update to 3.4.2.
* gnu/packages/gnome.scm (tracker): Update to 3.4.2.
2023-03-05 08:17:57 +01:00
Liliana Marie Prikler daa681a38b
gnu: tracker: Use G-Expressions in arguments.
* gnu/packages/gnome.scm (tracker)[arguments]: Change to list of
G-Expressions.  Re-indent.
2023-03-05 08:17:57 +01:00
Liliana Marie Prikler ea75ca1806
gnu: tracker: Don't wrap binaries in libexec/tracker3 directory.
These binaries are mere symlinks to the already wrapped tracker command.
They are used in a command lookup via argv[0], which wrapping them breaks.

* gnu/packages/gnome.scm (tracker)[#:phases]: Add ‘unwrap-libexec’.
2023-03-05 08:17:57 +01:00
Andy Tai 7fc415aba9
gnu: meld: Use new package style.
* gnu/packages/patchutils.scm (meld)[arguments]: Convert to list of
G-Expressions.
<#:phases>: Drop trailing #t.
[inputs, native-inputs]: Drop labels.

Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
2023-03-05 08:17:57 +01:00
Andy Tai f9f9efc467
gnu: meld: Update to 3.22.0
* gnu/packages/patchutils.scm (meld): Update to 3.22.0
[build-system]: Switch to meson-build-system.
[native-inputs]: Add desktop-file-utils, itstool, gobject-introspection,
pkg-config, and python.
[inputs]: Add bash-minimal, python, and python-pycairo.
Replace gtksourceview-3 with gtksourceview-4.
[arguments]: Add #:glib-or-gtk?, #:imported-modules, and #:modules.
<#:phases>: Remove custom ‘install’ and ‘check’.
Add ‘skip-gtk-update-icon-cache’.
Adjust ‘copy-styles’ to gtksourceview-4.
Replace ‘wrap-typelib’ with ‘python-and-gi-wrap’.

Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
2023-03-05 08:17:56 +01:00
Ricardo Wurmus a4fca7884c
gnu: sugar-datastore: Patch reference to md5sum.
* gnu/packages/sugar.scm (sugar-datastore)[inputs]: Add coreutils.
[arguments]: Rename phase 'patch-reference-to-du to 'patch-tool-references and
patch reference to md5sum.
2023-03-05 00:14:04 +01:00
Ricardo Wurmus 21f9edb051
gnu: sugar: Patch additional references to tools.
* gnu/packages/sugar.scm (sugar)[inputs]: Add ethtool, openssh, and
xdg-user-dirs.
[arguments]: Patch references to ssh-keygen, xdg-user-dir, ethtool, and
locale.
2023-03-05 00:13:01 +01:00
Ricardo Wurmus d604505572
gnu: Add sugar-block-party-activity.
* gnu/packages/sugar.scm (sugar-block-party-activity): New variable.
2023-03-04 18:59:17 +01:00
Ricardo Wurmus a0b17c0977
gnu: Add sugar-log-activity.
* gnu/packages/sugar.scm (sugar-log-activity): New variable.
2023-03-04 18:59:17 +01:00
Michal Atlas 6c68abcc66
gnu: Add guile-gemini.
* gnu/packages/guile-xyz.scm (guile-gemini): New variable

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2023-03-04 18:46:38 +01:00
Preston M. Firestone 173a42b487
gnu: gambit-c: Update gambit-c to 4.9.4.
* gnu/packages/scheme.scm (gambit-c): Update to 4.9.4.
  [uri]: change source URL to http://www.gambitscheme.org/.
  [home-page]: update URL to the project's new home page.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2023-03-04 18:46:37 +01:00
Morgan Smith 0d6c5e0ba1
gnu: Remove and deprecate tidy for tidy-html
* gnu/packages/web.scm (tidy): Change to deprecated alias for tidy-html
* gnu/packages/pumpio.scm (pumpa): Use tidy-html instead of tidy and correct
header name.
* gnu/packages/markup.scm (hoedown):
* gnu/packages/photo.scm (enblend-enfuse):
* gnu/packages/php.scm (php):
* gnu/packages/python-xyz.scm (python-pytidylib):
Use tidy-html instead of tidy.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2023-03-04 18:46:37 +01:00
Ludovic Courtès a6194d1f35
gnu: cross-base: Inherit arguments from 'mig'.
That way, 'xmig' inherits the 'avoid-perl-dependency' build phase.

* gnu/packages/hurd.scm (mig)[arguments]: In 'avoid-perl-dependency',
use 'find-files' to locate the "mig" executable(s).
* gnu/packages/cross-base.scm (cross-kernel-headers*)[xmig]: Use
'substitute-keyword-arguments'.
2023-03-04 18:46:37 +01:00
Ludovic Courtès 3442edac89
gnu: cross-base: Remove input labels for GNU Mach and MiG.
* gnu/packages/cross-base.scm (cross-kernel-headers*)[xgnumach-headers]
[xmig]: Remove input labels; use gexps and 'modify-inputs'.
[xgnumach-headers-name]: New variable.
2023-03-04 18:46:37 +01:00
Ludovic Courtès 0b4837a95b
gnu: mig: Remove dependency on Perl.
* gnu/packages/hurd.scm (mig)[inputs]: Remove PERL.
[arguments]: Remove 'patch-non-shebang-references' phase and add
'avoid-perl-dependency' phase.
2023-03-04 18:46:37 +01:00
Ludovic Courtès cfda54c12f
gnu: mig: Use gexps.
* gnu/packages/hurd.scm (mig)[arguments]: Use gexps.
2023-03-04 18:46:37 +01:00
Ricardo Wurmus ec9192933c
gnu: Add sugar-read-activity.
* gnu/packages/sugar.scm (sugar-read-activity): New variable.
2023-03-04 17:57:05 +01:00
Ricardo Wurmus ca7bd90db3
gnu: Add sugar-terminal-activity.
* gnu/packages/sugar.scm (sugar-terminal-activity): New variable.
2023-03-04 17:57:05 +01:00
Ricardo Wurmus ed63a3d9d6
gnu: telepathy-salut: Enable OLPC extensions.
* gnu/packages/freedesktop.scm (telepathy-salut)[arguments]: Enable OLPC
support in configure flags.
2023-03-04 17:57:05 +01:00
Tobias Geerinckx-Rice 0609ae7897
nls: Fix typo in Italian translation.
I will, of course, fix this in Weblate or find someone who can,
but this currently breaks ‘guix system search cups’.

* po/guix/it.po: Fix ‘@dnf’ typo.

Reported by tux_life in #guix: https://issues.guix.gnu.org/61961
2023-02-26 01:00:00 +01:00
Ricardo Wurmus d3708a0d66
gnu: sugar: Add XMPP telepathy inputs.
* gnu/packages/sugar.scm (sugar)[propagated-inputs]: Add telepathy-gabble and
telepathy-salut.
2023-03-04 15:51:14 +01:00
Ricardo Wurmus 4acc5e0309
gnu: Add telepathy-gabble.
* gnu/packages/freedesktop.scm (telepathy-gabble): New variable.
2023-03-04 15:20:04 +01:00
Vivien Kraus 1b07f397dc
gnu: widelands: Update to 1.1.
* gnu/packages/games.scm (widelands): Update to 1.1.
[source]: Remove obsolete patches.
[native-inputs]: Add pkg-config.
[inputs]: Add asio.
* gnu/packages/patches/widelands-add-missing-map-include.patch,
gnu/packages/patches/widelands-system-wide_minizip.patch: Delete
files.
* gnu/local.mk (dist_patch_DATA): Remove them.

Signed-off-by: Leo Famulari <leo@famulari.name>
2023-03-03 20:48:59 -05:00
Leo Famulari d762991620
gnu: linux-libre 4.19: Update to 4.19.275.
* gnu/packages/linux.scm (linux-libre-4.19-version): Update to 4.19.275.
(linux-libre-4.19-pristine-source): Update hash.
2023-03-03 19:30:24 -05:00
Leo Famulari d908b1c4d0
gnu: linux-libre 5.4: Update to 5.4.234.
* gnu/packages/linux.scm (linux-libre-5.4-version): Update to 5.4.234.
(linux-libre-5.4-pristine-source): Update hash.
2023-03-03 19:30:24 -05:00
Leo Famulari 1a0d98094b
gnu: linux-libre 5.10: Update to 5.10.172.
* gnu/packages/linux.scm (linux-libre-5.10-version): Update to 5.10.172.
(linux-libre-5.10-pristine-source): Update hash.
2023-03-03 19:30:23 -05:00
Leo Famulari 0be4b5631d
gnu: linux-libre 5.15: Update to 5.15.98.
* gnu/packages/linux.scm (linux-libre-5.15-version): Update to 5.15.98.
(linux-libre-5.15-pristine-source): Update hash.
2023-03-03 19:30:23 -05:00
Leo Famulari bb098edd38
gnu: linux-libre: Update to 6.1.15.
* gnu/packages/linux.scm (linux-libre-6.1-version): Update to 6.1.15.
(linux-libre-6.1-pristine-source): Update hash.
2023-03-03 19:30:23 -05:00
Ricardo Wurmus 6a1464b0cc
gnu: Add telepathy-salut.
* gnu/packages/freedesktop.scm (telepathy-salut): New variable.
2023-03-03 23:49:14 +01:00
Navid Afkhami 8f084b2c7c
gnu: r-doubletcollection: Add missing inputs.
If these Python packages are not available at runtime the package tries to
install them automatically via Conda.

* gnu/packages/bioinformatics.scm (r-doubletcollection)[propagated-inputs]:
Add python, python-scrublet, and python-doubletdetection.
2023-03-03 23:49:14 +01:00
Tobias Geerinckx-Rice 73cb232442
gnu: linux-libre-documentation: Honour ‘--cores’.
* gnu/packages/linux.scm (linux-libre-documentation)[arguments]:
Respect PARALLEL-BUILD? and PARALLEL-JOB-COUNT.
2023-02-26 01:00:07 +01:00
Bruno Victal cd22932945
services: desktop: Set default value for geoclue-service-type.
This follows up on commit ae0975332c60818793c6c63a3646c982d686bf49?.

* gnu/services/desktop.scm (geoclue-service-type): Set default-value.

Signed-off-by: Tobias Geerinckx-Rice <me@tobias.gr>
2023-02-26 01:00:07 +01:00
Bruno Victal 2799ad4423
services: dbus: Deprecate 'dbus-service' procedure.
* doc/guix.texi (Desktop Services): Replace with 'dbus-root-service-type'.
Document dbus-configuration.
* gnu/services/dbus.scm (dbus-service): Define with 'define-deprecated'.
* gnu/services/desktop.scm (desktop-services-for-system): Replace with
dbus-root-service-type.
* gnu/system/install.scm (%installation-services): Ditto.
* gnu/tests/base.scm (%avahi-os): Ditto.
* gnu/tests/docker.scm (%docker-os): Ditto.
* gnu/tests/lightdm.scm (minimal-desktop-services): Ditto.
* gnu/tests/virtualization.scm (%libvirt-os): Ditto.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2023-03-03 17:55:35 +01:00
Bruno Victal 7c23dab85c
services: spice: Deprecate 'spice-vdagent-service' procedure.
* doc/guix.texi (Miscellaneous Services): Replace 'spice-vdagent-service' with
'spice-vdagent-service-type'. Document <spice-vdagent-configuration>.
* gnu/services/spice.scm (spice-vdagent-service): Deprecate procedure.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2023-03-03 17:55:35 +01:00
Bruno Victal e24555234a
services: lirc: Deprecate 'lirc-service' procedure.
* doc/guix.texi (Miscellaneous Services): Replace 'lirc-service' with 'lirc-service-type'.
Document <lirc-configuration>.
* gnu/services/lirc.scm (<lirc-configuration>): Set default values based on
the arguments from the now deprecated 'lirc-service' procedure.
(lirc-service-type): Set default value.
(lirc-service): Deprecate procedure.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2023-03-03 17:55:34 +01:00
Bruno Victal eddd9b1240
services: vpn: Deprecate 'openvpn-client-service' & 'openvpn-server-service' procedures.
* doc/guix.texi (VPN Services): Replace 'openvpn-client-service' & 'openvpn-server-service' procedures
with their service-type counterparts.
* gnu/services/vpn.scm (openvpn-client-service, openvpn-server-service): Deprecate procedure.
(openvpn-server-service-type, openvpn-client-service-type): Set default value.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2023-03-03 17:55:34 +01:00
Bruno Victal c6cbce9ad8
services: mail: Deprecate 'dovecot-service' procedure.
* doc/guix.texi (Mail Services): Replace 'dovecot-service' with 'dovecot-service-type'.
* gnu/services/mail.scm (dovecot-service-type): Set default value.
(dovecot-service): Deprecate procedure.
* gnu/tests/mail.scm (%dovecot-os): Use dovecot-service-type.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2023-03-03 17:55:34 +01:00
Bruno Victal be1435d668
services: desktop: Deprecate 'bluetooth-service' procedure.
* doc/guix.texi (Desktop Services): Remove mention of 'bluetooth-service'.
* gnu/services/desktop.scm (bluetooth-service): Deprecate procedure.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2023-03-03 17:55:34 +01:00
Bruno Victal ae0975332c
services: desktop: Deprecate 'geoclue-service' procedure.
* doc/guix.texi (Desktop Services): Replace 'geoclue-service' with 'geoclue-service-type'.
* gnu/services/desktop.scm (<geoclue-configuration>): Set default values
based on the values from the now deprecated geoclue-service procedure.
(geoclue-service): Deprecate procedure.
(desktop-services-for-system): Use geoclue-service-type.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2023-03-03 17:55:34 +01:00
Bruno Victal e8f161ea11
services: desktop: Deprecate 'udisks-service' procedure.
* doc/guix.texi (Desktop Services): Replace 'udisks-service' with 'udisks-service-type'.
Document <udisks-configuration>.
* gnu/packages/kde-multimedia.scm (k3b)[description]: Replace 'udisks-service' with 'udisks-service-type'.
* gnu/services/desktop.scm (udisks-service-type): Set default value.
(udisks-service): Deprecate procedure.
(desktop-services-for-system): Use udisks-service-type.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2023-03-03 17:55:34 +01:00
Bruno Victal ffc5d42fc2
services: dbus: Deprecate 'polkit-service' procedure.
* doc/guix.texi (Desktop Services): Replace 'polkit-service' with 'polkit-service-type'.
* gnu/services/dbus.scm (polkit-service): Deprecate procedure.
* gnu/tests/docker.scm (%docker-os): Use polkit-service-type.
* gnu/tests/virtualization.scm (%libvirt-os): Ditto.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2023-03-03 17:55:34 +01:00
Bruno Victal c3dc13e29c
services: desktop: Deprecate 'accountsservice-service' procedure.
* doc/guix.texi (Desktop Services): Replace 'accountsservice-service'
with 'accountsservice-service-type'.
* gnu/services/desktop.scm (accountsservice-service): Deprecate procedure.
(desktop-services-for-system): Use accountsservice-service-type.
* gnu/tests/lightdm.scm (minimal-desktop-services): Ditto.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2023-03-03 17:55:33 +01:00
Bruno Victal ca3a73de3d
services: elogind-configuration: Do not ignore 'handle-hibernate-key' by default.
* gnu/services/desktop.scm (<elogind-configuration>)[handle-hibernate-key]: Set default value to 'hibernate.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2023-03-03 17:55:33 +01:00