Ludovic Courtès
f87c955725
gnu: spindle: Update to 0.13; remove input labels.
...
* gnu/packages/admin.scm (spindle): Update to 0.13.
[inputs]: Remove labels.
Change-Id: I2ccaaf2385797d81de2b1ffe28452281b4e5ae90
2023-11-15 11:36:21 +01:00
Ludovic Courtès
006f9f0f21
gnu: spindle: Fix compilation with GCC 11.
...
* gnu/packages/admin.scm (spindle)[arguments]: Add CXXFLAGS
to #:configure-flags.
Change-Id: I660228b8839a524791273f3fc7b6935d704b6715
2023-11-15 11:36:21 +01:00
Ludovic Courtès
aaee0e4af3
gnu: launchmon: Fix compilation with GCC 11.
...
* gnu/packages/admin.scm (launchmon)[arguments]: New field.
Change-Id: I30665896ef90e74b91055c85bcfe991af24f3a38
2023-11-15 11:36:20 +01:00
Ludovic Courtès
f8cad88615
gnu: intel-mpi-benchmarks: Update to 2021.3.
...
* gnu/packages/benchmark.scm (intel-mpi-benchmarks/openmpi): Update to
2021.3.
2023-11-15 11:36:20 +01:00
Ludovic Courtès
ad2fcbfca4
gnu: openmpi: Update to 4.1.6.
...
* gnu/packages/mpi.scm (openmpi): Update to 4.1.6.
2023-11-15 11:36:20 +01:00
Ludovic Courtès
59d29ebbb2
gnu: psm2: Update to 12.0.
...
* gnu/packages/linux.scm (psm2): Update to 12.0.
2023-11-15 11:36:20 +01:00
Ludovic Courtès
8c1c045a87
gnu: libfabric: Update to 1.19.0.
...
* gnu/packages/linux.scm (libfabric): Update to 1.19.0.
2023-11-15 11:36:20 +01:00
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