Commit graph

116057 commits

Author SHA1 Message Date
Efraim Flashner 9d9e793da5
gnu: tree: Update to 2.1.1.
* gnu/packages/admin.scm (tree): Update to 2.1.1.
[arguments]: Remove unneeded 'fix-manpage-version phase.
2023-06-04 19:02:15 +03:00
Zheng Junjie ae04b3996b
gnu: jpegoptim: Fix cross-compiling to riscv64.
* gnu/packages/image.scm (jpegoptim)[arguments]: When cross-compiling t
riscv64, add phase to update-config-scripts.
[native-inputs]: When cross-compiling to riscv64, add config.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2023-06-04 15:28:53 +03:00
Zheng Junjie 4f3e5548fc
gnu: libicns: Fix cross-compiling to riscv64.
* gnu/packages/image.scm (libicns)[arguments]: When cross-compiling to
riscv64, add phase to update-config-scripts.
[native-inputs]: When cross-compiling to riscv64, add config.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2023-06-04 15:28:20 +03:00
Zheng Junjie 713da38002
gnu: gsettings-desktop-schemas: Fix cross-compiling.
* gnu/packages/gnome.scm(gsettings-desktop-schemas)[inputs]: Add
gobject-introspection.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2023-06-04 15:02:07 +03:00
Zheng Junjie 3f45c3b12b
gnu: gobject-introspection: Fix cross-compiling.
* gnu/packages/glib.scm(gobject-introspection)[native-inputs]: When
cross-compiling add python.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2023-06-04 14:58:28 +03:00
Zheng Junjie 188da31fe5
gnu: mtdev: Fix cross-compiling to riscv64.
* gnu/packages/xdisorg.scm (mtdev)[arguments]: When cross-compiling to
riscv64 add a phase to update config.{guess,sub}.
[native-inputs]: When cross-compiling to riscv64 add config.
2023-06-04 14:56:09 +03:00
Zheng Junjie 0ee6c9ea01
gnu: xcb-util-wm: Fix cross-compiling to riscv64.
* gnu/packages/xorg.scm (xcb-util-wm)[arguments]: Add
update-config-scripts phase when cross-compiling to riscv64.
[native-inputs]: Add config when cross-compiling to riscv64.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2023-06-04 14:46:56 +03:00
Zheng Junjie 81515a4029
gnu: libxtst: Fix cross-compiling to riscv64.
* gnu/packages/xorg.scm (libxtst)[arguments]: When cross-compiling to
riscv64, add phase to update config.{guess,sub}.
[native-inputs]: When cross-compiling to riscv64, add config.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2023-06-04 14:44:55 +03:00
Efraim Flashner d845178050
gnu: libdeflate: Use default tests.
* gnu/packages/compression.scm (libdeflate)[arguments]: Adjust
configure-flags to build the test suite. Remove custom 'check phase.
2023-06-04 14:18:23 +03:00
Josselin Poiret cacc0cb6ab
channels: Raise an error if dependency's introduction is malformed
* guix/channels.scm (sexp->channel-introduction): Do it.
2023-06-04 11:30:18 +02:00
Josselin Poiret e198fe4e94
gnu: agda-ial: Update to ded30c410d5d40142249686572aa1acd1b2f8cc7.
* gnu/packages/agda.scm (agda-ial): Update to
ded30c410d5d40142249686572aa1acd1b2f8cc7, use agda-build-system, switch to
G-Exps, reorder fields.
2023-06-04 11:04:54 +02:00
Josselin Poiret 067e75e17a
gnu: Add agda-1lab.
* gnu/packages/agda.scm: New variable agda-1lab.
2023-06-04 10:59:36 +02:00
Josselin Poiret cf2c3f7970
gnu: Add agda-cubical.
* gnu/packages/agda.scm: New variable agda-cubical.
2023-06-04 10:59:36 +02:00
Josselin Poiret 8203e8f3c9
gnu: Add agda-categories.
* gnu/packages/patches/agda-categories-use-find.patch: New patch.
* gnu/local.mk (dist_patch_DATA): Register it.
* gnu/packages/agda.scm: New variable agda-categories.
2023-06-04 10:59:35 +02:00
Josselin Poiret c1f8bcbbda
gnu: Add agda-stdlib.
* gnu/packages/patches/agda-stdlib-use-runhaskell.patch: New patch.
* gnu/local.mk (dist_patch_DATA): Register it.
* gnu/packages/agda.scm: New variable agda-stdlib.
2023-06-04 10:59:34 +02:00
Josselin Poiret 80d1228321
build-system: New agda-build-system.
* guix/build-system/agda.scm: New file.
* guix/build/agda-build-system.scm: New file.
* Makefile.am (MODULES): Register them.
* doc/guix.texi (Build Systems): Add documentation for agda-build-system.
2023-06-04 10:59:34 +02:00
Josselin Poiret 0769a9b3c5
build-system/haskell: Export default-haskell.
* guix/build-system/haskell.scm: Export default-haskell.
2023-06-04 10:59:33 +02:00
Josselin Poiret 7a00ab0532
gnu: agda: Add AGDA_LIBDIRS search-path.
* gnu/packages/patches/agda-libdirs-env-variable.patch: New patch.
* gnu/local.mk (dist_patch_DATA): Register it.
* gnu/packages/agda.scm (agda): Patch agda, and add search path.
2023-06-04 10:59:33 +02:00
Josselin Poiret ae29c9d26e
gnu: emacs-agda2-mode: Switch to G-Exps.
* gnu/packages/agda.scm (emacs-agda2-mode): Switch it up.
2023-06-04 10:59:32 +02:00
Josselin Poiret fe6c31e333
gnu: emacs-agda2-mode: No longer inherit from agda.
* gnu/packages/agda.scm (emacs-agda2-mode): Remove it. Made no sense, as we only
need the source, which we can refer to without inheriting the whole thing.
2023-06-04 10:59:31 +02:00
Josselin Poiret 789db27c51
gnu: agda: Build info manual.
* gnu/packages/agda.scm (agda): Build the user manual as an info manual.
2023-06-04 10:59:31 +02:00
Josselin Poiret af5d228b13
gnu: agda: Update to 2.6.3 and switch to git-fetch.
* gnu/packages/agda.scm (agda): Update to 2.6.3, switch to fetching using git so
that doc files are included, and add new dependency ghc-vector-hashtables.
2023-06-04 10:59:30 +02:00
Josselin Poiret cc67085077
gnu: Add ghc-vector-hashtables.
* gnu/packages/haskell-xyz.scm (ghc-vector-hashtables): New variable.
2023-06-04 10:59:30 +02:00
Josselin Poiret 89f8fc9c95
gnu: Add ghc-peano.
* gnu/packages/haskell-xyz.scm (ghc-peano): New variable.
2023-06-04 10:59:29 +02:00
Josselin Poiret 178ffed3b7
tests: records: Add test for ellipsis in body.
* tests/records.scm ("match-record, ellipsis in body"): New test.
2023-06-04 10:59:28 +02:00
Josselin Poiret f045c7ac80
records: match-record: Do not show internal form.
* guix/records.scm (lookup-field+wrapper): Attach source properties to the
field syntax object instead.
2023-06-04 10:59:28 +02:00
(unmatched-parenthesis ew syntax 4cd5293621
records: Add MATCH-RECORD-LAMBDA.
* guix/records.scm (match-record-lambda): New syntax.
* tests/records.scm ("match-record-lambda"): New test.

Signed-off-by: Josselin Poiret <dev@jpoiret.xyz>
2023-06-04 10:59:25 +02:00
(unmatched-parenthesis d e6dc1d3996
dir-locals: Fix MATCH-RECORD indentation.
* .dir-locals.el: Treat the fourth form onwards as the body, rather than
  the third onwards.

Signed-off-by: Josselin Poiret <dev@jpoiret.xyz>
2023-06-04 10:34:35 +02:00
(unmatched-parenthesis d b88e38d4b5
records: match-record: Support thunked and delayed fields.
* guix/records.scm (match-record): Unwrap matched thunked and delayed fields.
* tests/records.scm ("match-record, thunked field",
"match-record, delayed field"): New tests.

Signed-off-by: Josselin Poiret <dev@jpoiret.xyz>
2023-06-04 10:34:35 +02:00
(unmatched-parenthesis 1a4aace3af
records: match-record: Raise a syntax error if TYPE is nonexistent.
* guix/records.scm (match-record): Raise a human-compherensible syntax error
  if the given record type identifier is unbound.

Co-authored-by: Josselin Poiret <dev@jpoiret.xyz>
Signed-off-by: Josselin Poiret <dev@jpoiret.xyz>
2023-06-04 10:34:33 +02:00
kiasoc5 f72f3a909a
gnu: sbsigntools: Update to 0.9.5.
This fixes a build failure with openssl-3.

* gnu/packages/efi.scm (sbsigntools): Update to 0.9.5.
[arguments]: Remove trailing #t's. Use Gexps. Use "this-package-input". Simplify lambdas.
[inputs]: Remove labels.

Signed-off-by: Josselin Poiret <dev@jpoiret.xyz>
2023-06-04 10:33:59 +02:00
Josselin Poiret b741218e91
gnu: proot: Update to 5.4.0 and fix clone3 behavior.
* gnu/packages/patches/proot-add-clone3.patch: New patch.
* gnu/packages/linux.scm (proot): Update to 5.4.0, and add pending upstream
patch to fix buggy pthread support.
* gnu/local.mk (dist_patch_DATA): Register it.
2023-06-04 10:33:59 +02:00
Felix Lechner d89247150f
gnu: heimdal: Drop obsolete and insecure user tools.
According to messages from the Heimdal maintainers Brian May and Nico
Williams, no one should be using their version of 'su' anymore. It was deleted
from the development branch five years ago [1] and is only being shipped
because the 7.8.0 is based on an older, stable branch.

[1] 8a77f45aff

Following the directions from the maintainers, this commit drops all
executables built from the ./appl folder via deletion of that SUBDIR from
the top-level Makefile.am.

Unfortunately, the heimdal-discuss mailing list does not appear to have a
public archive. The relevant SMTP Message-Id was:

    <MDAEMON-F202305111940.AA401569md5001000003030@sequoia-grove.ad.secure-endpoints.com>

* gnu/packages/kerberos.scm (heimdal): Drop obsolete and insecure user tools.

Signed-off-by: Josselin Poiret <dev@jpoiret.xyz>
2023-06-04 10:33:58 +02:00
Felix Lechner 94879ff743
gnu: heimdal: Run autoreconf.
* gnu/packages/kerberos.scm (heimdal): Run autoreconf.

Signed-off-by: Josselin Poiret <dev@jpoiret.xyz>
2023-06-04 10:33:57 +02:00
muradm f4f5ee6ad6
services: screen-locker-service-type: Configurable PAM and setuid.
screen-locker-service-type by default does both define PAM entry
and make program setuid binary. Normally both methods are
mutually exclusive, if binary has setuid set it does not really
needs PAM, otherway around also similar, if PAM is enabled
binary should not relay on setuid.

Recent swaylock package now compiled with PAM support. When PAM
support is compiled in, swaylock rejects executing if binary is
also setuid program.

This change turns screen-locker-configuration from strict
PAM AND setuid to more flexible PAM AND/OR setuid. Allowing
swaylock to be configured properly while supporting other
screen locker preferences.

* gnu/services/xorg.scm (screen-locker-configuration): Switch from
define-record-type to define-configuration.
[using-pam?]: New field to control PAM entry existence.
[using-setuid?]: New field to control setuid binary existence.
(screen-locker-pam-services): Should not make unix-pam-service if
using-pam? is set to #f.
(screen-locker-setuid-programs): Should not make program setuid
program if using-setuid? is set to #f.
(screen-locker-generate-doc): Internal function to generate
configuration documentation.
(screen-locker-service): Adapt to new screen-locker-configuration.
* gnu/services/desktop.scm (desktop-services-for-system): Adapt to
new screen-locker-configuration.
* doc/guix.texi: Reflect new changes to screen-locker-configuration.

Signed-off-by: Josselin Poiret <dev@jpoiret.xyz>
2023-06-04 10:33:55 +02:00
Bruno Victal 65bce4d9f9
gnu: mpd: Split outputs.
The HTML manual accounts for more than 40% of the package size.

* gnu/packages/mpd.scm (mpd)[outputs]: Add 'doc' output.
[arguments]<#:phases>: Add ‘split-package’.

Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
2023-06-04 08:20:14 +02:00
Bruno Victal 709fd0e5e0
gnu: mpd: Enable tests.
With this, ninja will no longer report “no work to do” when inside the
`check' phase.

* gnu/packages/mpd.scm [arguments]<#:configure-flags>: Add “-Dtest=true”.
[native-inputs]: Add googletest and zip.  Remove cmake.

Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
2023-06-04 08:20:14 +02:00
Leo Famulari 0d6749be37
gnu: mpd: Update to 0.23.13.
* gnu/packages/mpd.scm (mpd): Update to 0.23.13.

Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
2023-06-04 08:20:14 +02:00
Zhu Zihao 07ac0cb722
gnu: d-feet: Fix build errors when using Meson 1.1.0.
Fix the build error:

data/meson.build:15:0: ERROR: Function does not take positional arguments.
data/meson.build:27:0: ERROR: Function does not take positional arguments.

* gnu/packages/patches/d-feet-drop-unused-meson-argument.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it here.
* gnu/packages/gnome.scm (d-feet)[source]: Use it here.

Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
2023-06-04 08:20:13 +02:00
Arun Isaac b3492964c2
gnu: font-charter: Remove woff2 output.
The font-build-system now installs web fonts too. So, a separate woff2 output
is not necessary.

* gnu/packages/fonts.scm (font-charter)[outputs, arguments]: Delete.
2023-06-03 22:13:08 +01:00
Efraim Flashner bb3454a83f
gnu: notcurses: Enable building without pandoc.
* gnu/packages/notcurses.scm (notcurses)[arguments]: Adjust
configure-flags to not use pandoc on systems where pandoc isn't
supported.
[native-inputs]: Don't include pandoc on systems where it isn't
supported.
2023-06-03 22:10:51 +03:00
Hilton Chain 66c9b82fed
gnu: emacs-straight-el: Update to 0-2.039e5c9.
* gnu/packages/emacs-xyz.scm (emacs-straight-el): Update to 0-2.039e5c9.

Signed-off-by: Christopher Baines <mail@cbaines.net>
2023-06-03 12:35:05 +01:00
Artyom V. Poptsov e8eb389594
gnu: guile-png: Update to 0.5.0.
* gnu/packages/guile-xyz.scm (guile-png): Update to 0.5.0.

Signed-off-by: Christopher Baines <mail@cbaines.net>
2023-06-03 12:34:43 +01:00
gemmaro f30f8ecc69
gnu: python-zulip: Fix test failure.
* gnu/packages/messaging.scm (python-zulip): Fix test failure.

Signed-off-by: Christopher Baines <mail@cbaines.net>
2023-06-03 12:33:52 +01:00
Christopher Baines c5aeb15267
gnu: guix-build-coordinator: Update to 0-85.c44d485.
* gnu/packages/package-management.scm (guix-build-coordinator): Update to
0-85.c44d485.
2023-06-03 12:21:31 +01:00
Andy Tai 9cf6833033
gnu: Remove obs-spectralizer.
As project no longer developed and not building with current obs.

* gnu/packages/video.scm (obs-spectralizer): Remove variable.

Signed-off-by: Christopher Baines <mail@cbaines.net>
2023-06-03 12:16:17 +01:00
Antero Mejr 76b7c50645
gnu: Add s7.
* gnu/packages/lisp.scm (s7): New variable.

Signed-off-by: 宋文武 <iyzsong@member.fsf.org>
2023-06-03 16:35:52 +08:00
Antero Mejr 1569f7d77e
gnu: Add s7-bootstrap.
* gnu/packages/lisp.scm (s7-bootstrap): New variable.

Signed-off-by: 宋文武 <iyzsong@member.fsf.org>
2023-06-03 16:35:52 +08:00
Antero Mejr f2f8e2fa2f
gnu: notcurses: Update to 3.0.9.
* gnu/packages/notcurses.scm (notcurses): Update to 3.0.9.

Signed-off-by: 宋文武 <iyzsong@member.fsf.org>
2023-06-03 16:35:52 +08:00
Ricardo Wurmus da71721db1
gnu: r-biased-urn: Update to 2.0.10.
* gnu/packages/statistics.scm (r-biased-urn): Update to 2.0.10.
2023-06-03 08:32:03 +02:00