TakeV/guix
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity
116078 commits 102 branches 35 tags 561 MiB
Commit graph

116078 commits

This branch
This branch
All branches
Author SHA1 Message Date
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 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