Commit graph

116077 commits

Author SHA1 Message Date
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
c1b8f1bc7a
doc: Fix some typos in the manual.
* doc/guix.texi (Invoking guix pull): Correct followings to following.
(Using Guix Interactively): Correct expresssion to expression.
(Base Services): Correct overriden to overridden.
(Audio Services): Correct Supress to Suppress.
(Setuid Programs): Correct goup to group.
(Essential Home Services): Correct apropiate to appropriate, similiar to
similar.
(Messaging Home Services): Correct seperately to separately.
(image Reference): Correct instanciated to instantiated.
(Full-Source Bootstrap): Correct udpate to update, Frome to From.
2023-06-05 21:36:09 +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
Efraim Flashner
5cf38fb6d6
doc: cookbook: Update example my-libgit2 package.
* doc/guix-cookbook.texi (Packaging Tutorial): Improve the code quality
of the example my-libgit2 package.
2023-06-05 21:36:06 +03:00
Ricardo Wurmus
a025d8fee6
import/cran: Ensure current package is not among inputs.
* guix/import/cran.scm (cran-package-inputs): Remove the current package from
the result.
2023-06-05 18:55:11 +02: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
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