me
/
guix
Archived
1
0
Fork 0
Commit Graph

105468 Commits (d8df65338faf3fcf47fb2ed79bcec5f24e0fb4ef)

Author SHA1 Message Date
宋文武 0a8fbee0d1
gnu: xfce4-panel: Update to 4.18.4.
* gnu/packages/xfce.scm (xfce4-panel): Update to 4.18.4.
2023-06-08 17:53:14 +08:00
宋文武 2d9601ed3d
gnu: libxfce4ui: Update to 4.18.4.
* gnu/packages/xfce.scm (libxfce4ui): Update to 4.18.4.
2023-06-08 17:53:14 +08:00
Ricardo Wurmus 266e54d7cb
gnu: Add python-spacy.
* gnu/packages/machine-learning.scm (python-spacy): New variable.
2023-06-08 10:37:08 +02:00
Ricardo Wurmus d3934c7cc2
gnu: Add python-pathy.
* gnu/packages/python-xyz.scm (python-pathy): New variable.
2023-06-08 10:37:08 +02:00
Ricardo Wurmus 7a78dd1e39
gnu: Add python-thinc.
* gnu/packages/machine-learning.scm (python-thinc): New variable.
2023-06-08 10:37:08 +02:00
Ricardo Wurmus c3f7823670
gnu: Add python-blis-for-thinc.
* gnu/packages/maths.scm (python-blis-for-thinc): New variable.
2023-06-08 10:37:08 +02:00
Ricardo Wurmus db8cf18517
gnu: Add python-spacy-loggers.
* gnu/packages/machine-learning.scm (python-spacy-loggers): New variable.
2023-06-08 10:37:08 +02:00
Ricardo Wurmus e3f148a6df
gnu: Add python-spacy-legacy.
* gnu/packages/machine-learning.scm (python-spacy-legacy): New variable.
2023-06-08 10:37:08 +02:00
Ricardo Wurmus 2ab5307488
gnu: yoshimi: Update to 2.3.0.
* gnu/packages/music.scm (yoshimi): Update to 2.3.0.
2023-06-08 10:37:08 +02:00
Ricardo Wurmus 069618522d
gnu: Add python-blis.
* gnu/packages/maths.scm (python-blis): New variable.
2023-06-08 10:37:08 +02:00
Ricardo Wurmus 28d5ec153c
gnu: blis: Update to 0.9.0.
* gnu/packages/maths.scm (blis): Update to 0.9.0.
[arguments]: Use G-expression; remove trailing #T from build phases.
2023-06-08 10:37:08 +02:00
Ricardo Wurmus 0836c0769d
gnu: Add python-confection.
* gnu/packages/python-xyz.scm (python-confection): New variable.
2023-06-08 10:37:08 +02:00
Ricardo Wurmus d8dcd1200a
gnu: Add python-srsly.
* gnu/packages/python-xyz.scm (python-srsly): New variable.
2023-06-08 10:37:08 +02:00
Ricardo Wurmus ffcd2315e4
gnu: Add python-pubmed-parser.
* gnu/packages/python-xyz.scm (python-pubmed-parser): New variable.
2023-06-08 10:37:08 +02:00
Ricardo Wurmus d7e0306aa5
gnu: Add python-duckdb.
* gnu/packages/python-xyz.scm (python-duckdb): New variable.
2023-06-08 10:37:08 +02:00
Ricardo Wurmus b9eb74d655
gnu: python-pyarrow: Include dataset support.
* gnu/packages/databases.scm (python-pyarrow)[arguments]: Remove obsolete
build phase 'make-git-checkout-writable; rename phase
'set-PYARROW_WITH_PARQUET to 'set-pyarrow-build-options and also enable
building of dataset extension.
2023-06-08 10:37:08 +02:00
Pierre Neidhardt e8f9fb3e03
gnu: conky: Update to 1.19.2.
* gnu/packages/conky.scm (conky): Update to 1.19.2.
2023-06-07 15:00:10 +02:00
Pierre Neidhardt 21696dce05
gnu: sbcl-cl-webkit: Update to 3.5.9.
* gnu/packages/lisp-xyz.scm (sbcl-cl-webkit): Update to 3.5.9.
2023-06-07 14:50:15 +02:00
Ricardo Wurmus f57acde70b
gnu: python-flit: Update to 3.8.0.
* gnu/packages/python-xyz.scm (python-flit): Update to 3.8.0.
[build-system]: Use pyproject-build-system.
[arguments]: Run tests, but disable those that need networking; remove custom
'build phase; remove custom 'install phase; replace custom 'check phase with
new 'pre-check phase.
2023-06-07 14:28:50 +02:00
Ricardo Wurmus 433ca5a5c5
gnu: Add python-clickhouse-connect.
* gnu/packages/python-xyz.scm (python-clickhouse-connect): New variable.
2023-06-07 14:28:49 +02:00
Zheng Junjie 8504fad80c
gnu: sbcl: fix build on riscv64-linux.
* gnu/packages/patches/sbcl-riscv-Make-contribs-build-again.patch: New
file.
* gnu/local.mk(dist_patch_DATA): register it.
* gnu/packages/lisp.scm (sbcl): [source]<patches>: Use it here.
2023-06-07 12:57:50 +03:00
Efraim Flashner df18bc8900
Revert "gnu: sbcl: fix build on riscv64-linux."
This reverts commit 2a6d2fc1d8.
2023-06-07 12:56:33 +03:00
Efraim Flashner 2a6d2fc1d8
gnu: sbcl: fix build on riscv64-linux.
* gnu/packages/patches/sbcl-riscv-Make-contribs-build-again.patch: New
file.
* gnu/local.mk(dist_patch_DATA): register it.
* gnu/packages/lisp.scm (sbcl): [source]<patches>: Use it here.
2023-06-07 09:55:35 +03:00
Sharlatan Hellseher 4a5bbd293f
gnu: Sort use-module alphabetically in (gnu packages python-xyz).
* gnu/packages/python-xyz.scm: Sort use-module alphabetically to ease
maintenance.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2023-06-07 09:49:47 +03:00
Sharlatan Hellseher 25fdd2e3af
gnu: Delete duplicated use-module from (gnu package python-xyz).
* gnu/packages/python-xyz.scm: Delete duplicated (gnu packages serialization).

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2023-06-07 09:40:04 +03:00
Sharlatan Hellseher 15083a2fc3
gnu: python-can: Simplify package style.
* gnu/package/python-xyz.scm (python-can): Simplify package style.
[build-system]: Use pyproject-build-system.
[argument]: Use Gexp. Remove redundant modify-phases procedure. Add
{test-flags}.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2023-06-07 09:39:35 +03:00
Sharlatan Hellseher 269fa79398
gnu: python-can: Update to 4.2.0.
* gnu/packages/python-xyz.scm (python-can): Update to 4.2.0.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2023-06-07 09:38:15 +03:00
Efraim Flashner a6e21911bf
gnu: hdf4: Add support for riscv64-linux.
* gnu/packages/maths.scm (hdf4)[arguments]: Rename custom phase
'add-more-aarch64-support to 'add-more-architecture-support and add
support for riscv64-linux.
* gnu/packages/patches/hdf4-architectures.patch: Refresh from upstream.
2023-06-07 09:30:52 +03:00
Efraim Flashner f8b1e50f30
gnu: fltk: Update source uri.
* gnu/packages/fltk.scm (fltk)[source]: Update source URI to follow
redirect.
2023-06-07 08:51:06 +03:00
Andy Tai b3f7f5eb53
gnu: fltk: Update to 1.3.8.
* gnu/packages/fltk.scm (fltk): Update to 1.3.8.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2023-06-07 08:43:21 +03:00
Maxim Cournoyer 8f90ab2dd4
gnu: openconnect: Update to 9.12.
* gnu/packages/vpn.scm (openconnect): Update to 9.12.
2023-06-06 21:09:32 -04:00
Maxim Cournoyer b775c39b2c
gnu: openconnect: Fix indentation, remove input labels and use gexps.
* gnu/packages/vpn.scm (openconnect): Fix indentation.
[native-inputs, inputs, propagated-inputs]: Remove input labels.
[arguments]: Use gexps.
2023-06-06 21:09:31 -04:00
Maxim Cournoyer ec9f15b158
gnu: wxwidgets: Add libxtst to inputs.
WxWidgets was already built with XTest support, but mostly by luck, via
propagation of libxtst from GTK's propagated at-spi2-core package.  Make it an
explicit input.

* gnu/packages/wxwidgets.scm (wxwidgets) [inputs]: Add libxtst.
2023-06-06 21:09:31 -04:00
Efraim Flashner 5b3931c2ae
gnu: sonnet: Add support for aspell dictionaries.
* gnu/packages/kde-frameworks.scm (sonnet)[inputs]: Add aspell.
2023-06-06 23:40:02 +03:00
Efraim Flashner 2df940ab27
gnu: kirigami-addons: Update to 0.8.0.
* gnu/packages/kde.scm (kirigami-addons): Update to 0.8.0.
[source]: Download using git-fetch.
2023-06-06 23:40:02 +03:00
Navid Afkhami f056d4f168
gnu: Add python-decoupler-py.
* gnu/packages/bioinformatics.scm (python-decoupler-py): New variable.

Co-authored-by: Ricardo Wurmus <rekado@elephly.net>.
2023-06-06 21:35:37 +02:00
Mark H Weaver 72243da2fb
gnu: icecat: Update to 102.12.0-guix0-preview1 [security fixes].
Includes fixes for CVE-2023-34414 and CVE-2023-34416.

* gnu/packages/gnuzilla.scm (%icecat-base-version, %icecat-build-id): Update.
(icecat-source): Update gnuzilla commit, base version, and hashes.
2023-06-06 14:41:03 -04:00
Gruruya 2199546a83
gnu: nim: Update to 1.6.12.
Without the attached patch, Nim is broken on Guix as it searches
for its stdlib in /lib while it was placed in /lib/nim.

* gnu/packages/nim.scm (nim): Update to 1.6.12.
[arguments]: In 'patch-installer phase install stdlib source to the
right directory.  In 'patch-more-shebangs phase edit substitute* to
point to the new osproc source.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2023-06-06 19:24:47 +03:00
Josselin Poiret 1a2eb26286
services: Check if service is #f before applying clause.
* gnu/services.scm (apply-clauses): Check if service is #f before trying to
apply clause.  Follow up of 1819512073.
2023-06-06 13:38:35 +02:00
Ricardo Wurmus 0ae29db11d
gnu: python-anaconda-client: Fix build with Python 3.10.
* gnu/packages/package-management.scm (python-anaconda-client)[build-system]:
Use pyproject-bulid-system.
[arguments]: Move contents of 'remove-network-tests phase to #:test-flags;
drop trailing #T from 'set-HOME phase; add phase 'python3.10-compatibility;
disable test_conda_root and test_conda_root_outside_root_environment.
2023-06-06 13:04:14 +02:00
Navid Afkhami f800e7e88b
gnu: Add r-caretensemble.
* gnu/packages/cran.scm (r-caretensemble): New variable.

Signed-off-by: Ricardo Wurmus <rekado@elephly.net>
2023-06-06 12:55:52 +02:00
Ludovic Courtès 1819512073
services: 'modify-services' preserves service ordering.
Fixes <https://issues.guix.gnu.org/63921>.

The regression was introduced in
dbbc7e9461, which changed the order of
services.  As a result, someone using 'modify-services' could find
themselves with incorrect ordering of expressions in the "boot" script,
whereby the cleanup expressions would come after (execl ".../shepherd").
This, in turn, would lead shepherd to error out at boot with EADDRINUSE
on /var/run/shepherd/socket.

* gnu/services.scm (%delete-service, %apply-clauses): Remove.
(clause-alist): New macro.
(apply-clauses): New procedure.
(modify-services): Use it.  Adjust docstring.
* tests/services.scm ("modify-services: do nothing"): Remove 'sort' call.
("modify-services: delete service"): Likewise, and add 't4' service.
("modify-services: change value"): Remove 'sort' call and fix expected value.
2023-06-06 11:54:39 +02:00
Guillaume Le Vaillant 9ad8b0c2ef
gnu: sbcl-stmx: Update to 2.0.5-2.f71e742.
* gnu/packages/lisp-xyz.scm (sbcl-stmx): Update to 2.0.5-2.f71e742.
  [arguments]: Add 'fix-build' phase.
2023-06-06 10:46:45 +02:00
Guillaume Le Vaillant b30c60316c
gnu: txr: Update to 287.
* gnu/packages/lisp.scm (txr): Update to 287.
2023-06-06 10:01:10 +02:00
Guillaume Le Vaillant b019b49c74
gnu: sbcl: Update to 2.3.5.
* gnu/packages/lisp.scm (sbcl): Update to 2.3.5.
2023-06-06 09:54:23 +02:00
Jean-Pierre De Jesus DIAZ e3cd3f0320
gnu: openocd: Update to 0.12.0.
* gnu/packages/embedded.scm (openocd): Update to 0.12.0.
[inputs]: Remove libusb-compat as openocd dropped support for libusb0.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2023-06-06 09:55:52 +03:00
Jean-Pierre De Jesus DIAZ f351f2aaf2
gnu: jimtcl: Update to 0.82.
* gnu/packages/embedded (jimtcl): Update to 0.82.
[arguments]: Use G-Expressions and update failing test, TTY test doesn't
fail anymore.
[inputs]: Add openssl as an input as now by default jimtcl enables the
SSL configuration option.
* gnu/packages/embedded (openocd): Support jimtcl 0.82.
[arguments]: Link against libssl and libcrypto.
[inputs]: Add openssl.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2023-06-06 09:55:35 +03:00
Jean-Pierre De Jesus DIAZ cdbd87b6f3
gnu: libjaylink: Update to 0.3.1.
* gnu/packages/embedded (libjaylink): Update to 0.3.1.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2023-06-06 09:55:32 +03:00
Z572 d6ae80c742
gnu: thc-ipv6: Do not build with "-march=native".
* gnu/packages/networking.scm (thc-ipv6)[origin]: Add 'snippet'.
[properties]: New field.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2023-06-06 09:22:46 +03:00
Leo Famulari 8937898af9
gnu: linux-libre 5.4: Update to 5.4.245.
* gnu/packages/linux.scm (linux-libre-5.4-version): Update to 5.4.245.
(linux-libre-5.4-pristine-source): Update hash.
2023-06-05 19:18:56 -04:00
Leo Famulari 00e2d8d8ae
gnu: linux-libre 5.10: Update to 5.10.182.
* gnu/packages/linux.scm (linux-libre-5.10-version): Update to 5.10.182.
(linux-libre-5.10-pristine-source): Update hash.
2023-06-05 19:18:55 -04:00
Leo Famulari f9755ff2ac
gnu: linux-libre 5.15: Update to 5.15.115.
* gnu/packages/linux.scm (linux-libre-5.15-version): Update to 5.15.115.
(linux-libre-5.15-pristine-source): Update hash.
2023-06-05 19:18:55 -04:00
Leo Famulari 455e88bc84
gnu: linux-libre 6.1: Update to 6.1.32.
* gnu/packages/linux.scm (linux-libre-6.1-version): Update to 6.1.32.
(linux-libre-6.1-pristine-source): Update hash.
2023-06-05 19:18:55 -04:00
Leo Famulari b3dfa5b671
gnu: linux-libre: Update to 6.3.6.
* gnu/packages/linux.scm (linux-libre-6.3-version): Update to 6.3.6.
(linux-libre-6.3-pristine-source): Update hash.
2023-06-05 19:18:47 -04:00
Efraim Flashner f598f5b870
gnu: blurhash: Update to 0.2.0.
* gnu/packages/image.scm (blurhash): Update to 0.2.0.
[native-inputs]: Remove cmake. Add pkg-config.
2023-06-05 22:05:13 +03:00
Efraim Flashner ff6bb37299
gnu: cpp-httplib: Update to 0.12.5.
* gnu/packages/cpp.scm (cpp-httplib): Update to 0.12.5.
[arguments]: Adjust configure-flags to build the tests.  Add a make-flag
to set CXX.  Adjust custom 'disable-network-tests phase to skip more
network tests. Remove custom 'check phase.
[native-inputs]: Add googletest.
2023-06-05 22:00:56 +03:00
Efraim Flashner cad86f8dcd
gnu: python-codespell: Update to 2.2.4.
* gnu/packages/python-xyz.scm (python-codespell): Update to 2.2.4.
[build-system]: Switch to pyproject-build-system.
[native-inputs]: Remove python-check-manifest; add python-pygments and
python-tomli.
2023-06-05 21:36:09 +03:00
Ricardo Wurmus 52e0a77a1b
gnu: proj-7: Add upstream patch.
* gnu/packages/patches/proj-7-initialize-memory.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/geo.scm (proj-7)[source]: Add it.
2023-06-05 17:55:38 +02:00
Ricardo Wurmus 4f2ec0f2d1
gnu: python-bulkvis: Reference upstream issue.
* gnu/packages/bioinformatics.scm (python-bulkvis)[arguments]: Add comment
with link to upstream issue for bokeh compatibility patch.
2023-06-05 17:20:52 +02:00
Ricardo Wurmus 77d6d5783b
gnu: python-tenacity: Use pyproject-build-system.
* gnu/packages/python-xyz.scm (python-tenacity)[build-system]: Use
pyproject-build-system.
[arguments]: Remove.
2023-06-05 17:11:15 +02:00
Ricardo Wurmus 46fc4c01a0
gnu: python-tenacity: Use Tornado 6.
* gnu/packages/python-xyz.scm (python-tenacity)[native-inputs]: Replace
python-tornado with python-tornado-6.
2023-06-05 17:11:15 +02:00
Ricardo Wurmus 1671aa25d4
gnu: python-bokeh: Use Tornado 6.
* gnu/packages/python-xyz.scm (python-bokeh)[propagated-inputs]: Replace
python-tornado with python-tornado-6.
2023-06-05 17:11:15 +02:00
Navid Afkhami 6559adea29
gnu: Add python-bulkvis.
* gnu/packages/bioinformatics.scm (python-bulkvis): New variable.

Co-authored-by: Ricardo Wurmus <rekado@elephly.net>
2023-06-05 17:11:15 +02:00
Navid Afkhami 91e75bb35f
gnu: Add python-readpaf.
* gnu/packages/bioinformatics.scm (python-readpaf): New variable.
2023-06-05 17:11:14 +02:00
Efraim Flashner 940665301d
gnu: gcompris-qt: Update to 3.2.
* gnu/packages/education.scm (gcompris-qt): Update to 3.2.
[inputs]: Add qtcharts, qtquickcontrols2-5. Remove qtquickcontrols-5,
qtxml-5.
2023-06-05 11:35:52 +03:00
Timotej Lazar a95edc3d7b
gnu: mupdf: Update to 1.22.1.
* gnu/packages/pdf.scm (mupdf): Update to 1.22.1.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2023-06-05 10:29:01 +03:00
Efraim Flashner eed55a6544
gnu: lagrange: Update to 1.16.3.
* gnu/packages/web-browsers.scm (lagrange): Update to 1.16.3.
2023-06-04 21:08:30 +03:00
Efraim Flashner c15470671a
gnu: keepassxc: Update to 2.7.5.
* gnu/packages/password-utils.scm (keepassxc): Update to 2.7.5.
2023-06-04 21:08:30 +03:00
Efraim Flashner f8b82976d6
gnu: urlscan: Update to 1.0.0.
* gnu/packages/mail.scm (urlscan): Update to 1.0.0.
[arguments]: Skip the test phase.
[build-system]: Switch to the pyproject-build-system.
[native-inputs]: Add python-hatch-vcs, python-hatchling.
2023-06-04 21:06:47 +03:00
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 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 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
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