Commit graph

127461 commits

Author SHA1 Message Date
Ludovic Courtès
3f7eeaa57c
gnu: rdma-core: Update to 48.0.
* gnu/packages/linux.scm (rdma-core): Update to 48.0.
2023-11-15 11:36:20 +01:00
Ludovic Courtès
975350fab7
gnu: ucx: Update to 1.15.0.
* gnu/packages/fabric-management.scm (ucx): Update to 1.15.0.
* gnu/packages/patches/ucx-tcp-iface-ioctl.patch: Update for 1.15.0.
2023-11-15 11:36:20 +01:00
Ludovic Courtès
d117c6b422
gnu: opensm: Update to 3.3.24.
* gnu/packages/fabric-management.scm (opensm): Update to 3.3.24.
2023-11-15 11:36:20 +01:00
Ludovic Courtès
f1f8d56b75
gnu: hwloc: Update to 2.9.3.
* gnu/packages/mpi.scm (hwloc-2): Update to 2.9.3.
2023-11-15 11:36:19 +01:00
Ludovic Courtès
96753702a0
gnu: slurm: Add 23.02.6.
* gnu/packages/parallel.scm (slurm): Update to 23.02.6.
(slurm-22.05): New variable.
2023-11-15 11:36:19 +01:00
Ludovic Courtès
d67fa732f7
gnu: opensm: Use gexps.
* gnu/packages/fabric-management.scm (opensm)[arguments]: Use gexps.
2023-11-15 11:36:19 +01:00
Ludovic Courtès
ab6f63f3cb
gnu: opensm: Use the right version string for the doc directory.
Previously, when built with ‘--with-latest=opensm’, the package would
install its documentation under a directory with the wrong version
string.

* gnu/packages/fabric-management.scm (opensm)[arguments]: Use the name
and version of THIS-PACKAGE.
2023-11-15 11:36:19 +01:00
Ricardo Wurmus
b712e563cf
gnu: soci: Add PIE flag.
* gnu/packages/databases.scm (soci)[arguments]: Set CMAKE_CXX_FLAGS to add
-fPIE.

Change-Id: I79527759d0d35833168f5106a9d6f372375a8ebe
2023-11-14 23:46:08 +01:00
Josselin Poiret
bd0f217321
gnu: agda-1lab: Update to 549fdb1c948a975e90e70f871993a4a4239aa280.
* gnu/packages/agda.scm (agda-1lab): Update to
549fdb1c948a975e90e70f871993a4a4239aa280.

Change-Id: Iad77350fea5a6378e836cbd18c1f4a51bd5a5f0e
2023-11-14 13:47:53 +01:00
Josselin Poiret
c5c2a82082
gnu: agda-cubical: Update to 0.6.
* gnu/packages/agda.scm (agda-cubical): Update to 0.6.

Change-Id: I1d6edc44755260e505985fb974c632ec6fff2b49
2023-11-14 13:47:53 +01:00
Josselin Poiret
5f4b3ccf50
gnu: agda-categories: Adapt to agda-stdlib 1.7.3.
* gnu/packages/patches/agda-categories-use-stdlib-1.7.3.patch: New patch.
* gnu/packages/agda.scm (agda-categories)[source]: Use it.
* gnu/local.mk (dist_patch_DATA): Register it.

Change-Id: I25f16d55f14465a1dae882fd8ec47a95f8598e5c
2023-11-14 13:47:10 +01:00
Josselin Poiret
7374e14f51
gnu: agda-stdlib: Update to 1.7.3.
* gnu/packages/agda.scm (agda-stdlib): Update to 1.7.3.

Change-Id: Ic941073814a6a2150d470fc05218dc8d19954445
2023-11-14 13:30:49 +01:00
Josselin Poiret
a521757306
gnu: agda: Update to 2.6.4.
* gnu/packages/agda.scm (agda): Update to 2.6.4.  Also build with
optimizations and cluster counting support.
* gnu/packages/patches/agda-use-sphinx-5.patch: New patch.
* gnu/local.mk (dist_patch_DATA): Register it.

Change-Id: I98a66678ec401b9201d9fd3a0f606fff9767b4bc
2023-11-14 13:30:48 +01:00
Josselin Poiret
5cb2574243
gnu: Add ghc-text-icu.
* gnu/packages/haskell-xyz.scm (ghc-text-icu): New variable.

Change-Id: I553f1fef4e76aeea6d09901917fd5d6032c23d46
2023-11-14 13:30:45 +01:00
Nicolas Goaziou
b25954181c
gnu: emacs-denote: Update to 2.1.0.
* gnu/packages/emacs-xyz.scm (emacs-denote): Update to 2.1.0.

Change-Id: I4d0f585604ef049480842b4c052edd1aef300e15
2023-11-14 13:21:41 +01:00
Nicolas Goaziou
cb399d96fb
gnu: emacs-org: Update to 9.6.12.
* gnu/packages/emacs-xyz.scm (emacs-org): Update to 9.6.12.

Change-Id: I0d2b063526f24b7104fcbab972f212e279060f27
2023-11-14 13:21:41 +01:00
Nicolas Goaziou
3254429a41
gnu: emacs-package-lint: Update to 0.21.
* gnu/packages/emacs-xyz.scm (emacs-package-lint): Update to 0.21.

Change-Id: I82e28b8e1c211389e99f1947c5c7ddfcba893612
2023-11-14 13:21:41 +01:00
Nicolas Goaziou
21822095e8
gnu: emacs-compat: Update to 29.1.4.4.
* gnu/packages/emacs-xyz.scm (emacs-compat): Update to 29.1.4.4.

Change-Id: I11705cb0c2b50bb445711bfdfdb142557aa58b04
2023-11-14 13:21:40 +01:00
Nicolas Goaziou
b5d419b4ab
gnu: emacs-flycheck-grammalecte: Improve package style.
* gnu/packages/emacs-xyz.scm (emacs-flycheck-grammalecte)[arguments]Use
G-expressions.
<#:exclude>: Remove non-existing excluded file.
<#:emacs>: Use EMACS-NO-X.
<#:phases>: Use G-expressions.

Change-Id: Ic5a3c5e3f5271e75cd369cdd40ce210d7c2b859b
2023-11-14 13:21:40 +01:00
Nicolas Goaziou
a572e55ea5
gnu: emacs-flycheck-grammalecte: Update to 2.4.
* gnu/packages/emacs-xyz.scm (emacs-flycheck-grammalecte): Update to 2.4.

Change-Id: I372e3e55534606dba6fed2c2d2f00dc27dc76c0e
2023-11-14 13:21:40 +01:00
Efraim Flashner
3d15e9e5bc
gnu: insight-toolkit-4.12: Fix building.
* gnu/packages/image-processing.scm (insight-toolkit-4.12)[arguments]:
Add a configure-flag to build with c++14.

Change-Id: I5e7a0a3ed47e4e3f25611147f8e66c58a1bf8a8c
2023-11-14 08:57:48 +02:00
Efraim Flashner
f9f36b08e5
gnu: ffmpeg-2.8: Update to 2.8.22.
* gnu/packages/video.scm (ffmpeg-2.8): Update to 2.8.22.

Change-Id: I4ab83a07f60692aa43d04a81dd227b56a95a1d74
2023-11-14 08:16:52 +02:00
Efraim Flashner
b3f110184f
gnu: ffmpeg-3.4: Update to 3.4.13.
* gnu/packages/video.scm (ffmpeg-3.4): Update to 3.4.13.

Change-Id: I9ef7b61dcdeab96d4021150fb57b3739a61376d0
2023-11-14 08:16:51 +02:00
Efraim Flashner
b8dac014b1
gnu: ffmpeg-5: Update to 5.1.4.
* gnu/packages/video.scm (ffmpeg-5): Update to 5.1.4.

Change-Id: I4ea8faa3bcee2e34287af4461d078850de17154f
2023-11-14 08:16:45 +02:00
Wilko Meyer
b817d261e2
gnu: Add linux-libre 6.6.1.
* gnu/packages/linux.scm (linux-libre-6.6-version, linux-libre-6.6-gnu-revision,
deblob-scripts-6.6, linux-libre-6.6-pristine-source, linux-libre-6.5-source,
linux-libre-headers-6.6, linux-libre-6.6): New variables.
* gnu/packages/aux-files/linux-libre/6.6-arm.conf,
gnu/packages/aux-files/linux-libre/6.6-arm64.conf,
gnu/packages/aux-files/linux-libre/6.6-i686.conf,
gnu/packages/aux-files/linux-libre/6.6-x86_64.conf: New files.
* Makefile.am (AUX_FILES): Add them.

Change-Id: I37b2b98b8a2ec745137e92380f34e69082c5e662
Signed-off-by: Leo Famulari <leo@famulari.name>
2023-07-23 22:26:01 -04:00
Wilko Meyer
8074235a7e
gnu: linux-libre 4.14: Update to 4.14.329.
* gnu/packages/linux.scm (linux-libre-4.14-version): Update to 4.14.329.
(linux-libre-4.14-pristine-source): Update hash.

Change-Id: I50e419def94b2cbe14f52e5901d0babb0377fcd0
Signed-off-by: Leo Famulari <leo@famulari.name>
2023-07-23 22:26:01 -04:00
Wilko Meyer
3eef9ab1d5
gnu: linux-libre 4.19: Update to 4.19.298.
* gnu/packages/linux.scm (linux-libre-4.19-version): Update to 4.19.298.
(linux-libre-4.19-pristine-source, deblob-scripts-4.19): Update hashes.

Change-Id: Ib1fc2b05a24254e91c6a2e1d85f4c3aeb01e6071
Signed-off-by: Leo Famulari <leo@famulari.name>

Change-Id: I01b89291e6e3795e16e051ce32c08febcff13cb0
2023-07-23 22:26:01 -04:00
Wilko Meyer
331fbb60f0
gnu: linux-libre 5.4: Update to 5.4.260.
* gnu/packages/linux.scm (linux-libre-5.4-version): Update to 5.4.260.
(linux-libre-5.4-pristine-source): Update hash.

Change-Id: I035dc10cd8ee1da0df6518c9cb59080ea90ab5ba
Signed-off-by: Leo Famulari <leo@famulari.name>
2023-07-23 22:26:01 -04:00
Wilko Meyer
465fca164c
gnu: linux-libre 5.10: Update to 5.10.200.
* gnu/packages/linux.scm (linux-libre-5.10-version): Update to 5.10.200.
(linux-libre-5.10-pristine-source): Update hash.

Change-Id: I7247a07bc79170bf1015d1249eda3462bd7f14aa
Signed-off-by: Leo Famulari <leo@famulari.name>
2023-07-23 22:26:01 -04:00
Wilko Meyer
47991549da
gnu: linux-libre 5.15: Update to 5.15.138.
* gnu/packages/linux.scm (linux-libre-5.15-version): Update to 5.15.138.
(linux-libre-5.15-pristine-source): Update hash.

Change-Id: I9687b895031f52828e250f97ba79ddd4a230f989
Signed-off-by: Leo Famulari <leo@famulari.name>
2023-07-23 22:26:00 -04:00
Wilko Meyer
cddce696f7
gnu: linux-libre 6.1: Update to 6.1.62.
* gnu/packages/linux.scm (linux-libre-6.1-version): Update to 6.1.62.
(linux-libre-6.1-pristine-source): Update hash.

Change-Id: I6ba03b5b83058dcc7df5047252ceb35e9be723f4
Signed-off-by: Leo Famulari <leo@famulari.name>
2023-07-23 22:26:00 -04:00
Wilko Meyer
7f970cf8f2
gnu: linux-libre 6.5: Update to 6.5.11.
* gnu/packages/linux.scm (linux-libre-6.5-version): Update to 6.5.11.
(linux-libre-6.5-pristine-source): Update hash.

Change-Id: I38642a1c34677dd1ee74c77411490408c7c843e6
Signed-off-by: Leo Famulari <leo@famulari.name>
2023-07-23 22:26:00 -04:00
Eric Bavier
d2b118e23c
gnu: icecat: honor parallel-job-count.
* gnu/packages/gnuzilla.scm (icecat-minimal)[arguments]: Pass the value
of (parallel-job-count) to `mach` if a parallel build is requested.

Change-Id: Idce40ec895bdfbaa284009f8a9ef2770bc05082c
2023-11-13 22:50:01 -06:00
Mădălin Ionel Patrașcu
a0d337e79c
gnu: Add r-bcrank.
* gnu/packages/bioconductor.scm (r-bcrank): New variable.

Change-Id: Id43ae3b7f6eff54e1180b489c90fc72176751f9f
2023-11-13 15:05:26 +01:00
Mădălin Ionel Patrașcu
08c745dcfc
gnu: Add r-bbcanalyzer.
* gnu/packages/bioconductor.scm (r-bbcanalyzer): New variable.

Change-Id: Icd3c77c9522d73638ddb0934ad332ddb7b947a8e
2023-11-13 15:05:26 +01:00
Mădălin Ionel Patrașcu
17978740e5
gnu: Add r-baynorm.
* gnu/packages/bioconductor.scm (r-baynorm): New variable.

Change-Id: I83e82d3d0362874918f423ab01f038c74f3eb265
2023-11-13 15:05:26 +01:00
Mădălin Ionel Patrașcu
f955194321
gnu: Add r-bb.
* gnu/packages/cran.scm (r-bb): New variable.

Change-Id: Ia1f4ca93fd91d7da5c105b70683f7ecb913079a0
2023-11-13 15:04:12 +01:00
Mădălin Ionel Patrașcu
53b4e01e29
gnu: Add r-bayesspace.
* gnu/packages/bioconductor.scm (r-bayesspace): New variable.

Change-Id: Id9c0d23e209bafea5941a1e1f968fab5f1724eab
2023-11-13 15:03:29 +01:00
Mădălin Ionel Patrașcu
bf93f88c20
gnu: Add r-rcppdist.
* gnu/packages/cran.scm (r-rcppdist): New variable.

Change-Id: Iaa99d2b9c63f6803979ec74f471d2d60a2bf0635
2023-11-13 15:01:47 +01:00
Mădălin Ionel Patrașcu
598b911334
gnu: Add r-bayesknockdown.
* gnu/packages/bioconductor.scm (r-bayesknockdown): New variable.

Change-Id: Icceffc04071efaa8a8b79144005fa7745abc7e1a
2023-11-13 15:01:15 +01:00
Mădălin Ionel Patrașcu
77025bd511
gnu: Add r-basicstarrseq.
* gnu/packages/bioconductor.scm (r-basicstarrseq): New variable.

Change-Id: I88f314877ea4ab98976820a4acc337ae3a34e604
2023-11-13 15:00:48 +01:00
Mădălin Ionel Patrașcu
4e1c6f4998
gnu: Add r-basics.
* gnu/packages/bioconductor.scm (r-basics): New variable.

Change-Id: I6f0afeeb41f667d780707af65034d5ba978f0d4a
2023-11-13 15:00:00 +01:00
Mădălin Ionel Patrașcu
47a4195649
gnu: Add r-basic4cseq.
* gnu/packages/bioconductor.scm (r-basic4cseq): New variable.

Change-Id: I8a031dc010590a8ef4655633026c9dfac35213c3
2023-11-13 14:59:26 +01:00
Mădălin Ionel Patrașcu
459d9ebd2a
gnu: Add r-bsgenome-ecoli-ncbi-20080805.
* gnu/packages/bioconductor.scm (r-bsgenome-ecoli-ncbi-20080805):
    New variable.

Change-Id: Ic42527fa334be4c23ebe2e19461571d899db77ca
2023-11-13 14:57:00 +01:00
Mădălin Ionel Patrașcu
628926de80
gnu: Add r-bags.
* gnu/packages/bioconductor.scm (r-bags): New variable.

Change-Id: If0c533898a5e05809f23e7e8b52fc3d5fbffc8fb
2023-11-13 14:55:55 +01:00
Mădălin Ionel Patrașcu
d0251c23b9
gnu: Add r-breastcancervdx.
* gnu/packages/bioconductor.scm (r-breastcancervdx): New variable.

Change-Id: Ia3437ab67a00ce23c61553ff15f940b8a3ee9c8a
2023-11-13 14:55:55 +01:00
nafkhamdc
951a1433f3
gnu: Add r-illuminahumanmethylationepicmanifest.
* gnu/packages/bioinformatics.scm (r-illuminahumanmethylationepicmanifest): New variable.

Change-Id: I9635033ed5e7e44ecfaff76cd002379582900686
Signed-off-by: Ricardo Wurmus <rekado@elephly.net>
2023-11-13 14:46:51 +01:00
Danny Milosavljevic
77386bdbfe
gnu: openrgb: Fix up chmod invocations inside udev rules.
* gnu/packages/hardware.scm (openrgb)[arguments]<#:phases>[patch-chmod]: New
phase.

Change-Id: Ib82a8cc42a896aaf9dc7ea0ff36a3c259f9a26af
2023-11-12 23:23:20 +01:00
mason1920
978f4a9dc4
gnu: Add ngtcp2.
* gnu/packages/networking.scm (ngtcp2): New variable.

Change-Id: Id8fcedf0f2843fa37983cecb98fb76a5ccdcdc22
Signed-off-by: Jelle Licht <jlicht@fsfe.org>
2023-11-12 16:43:48 +01:00
Ekaitz Zarraga
1a77539987
teams: Add Ekaitz Zarraga to bootstrap and zig.
* etc/teams.scm: Add Ekaitz Zarraga.

Change-Id: Idda2ffbc15adc3725bcd1600988582f0d4c2766a
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2023-11-12 16:37:09 +02:00