me
/
guix
Archived
1
0
Fork 0
Commit Graph

136516 Commits (9c3a8a380bcfebdb77af61532e7bfec523d7bde8)

Author SHA1 Message Date
Jean-Pierre De Jesus DIAZ 05d4190587
gnu: why3: Update to 1.7.2.
* gnu/packages/maths.scm (why3): Update to 1.7.2.

Change-Id: Ie5a40b31c2c418fafbdbba52e875ac25a26fb12b
Signed-off-by: Andreas Enge <andreas@enge.fr>
2024-05-15 17:21:01 +02:00
Jean-Pierre De Jesus DIAZ 28ce5085a0
gnu: frama-c: Update to 28.1.
* gnu/packages/maths.scm (frama-c): Update to 28.1.

Change-Id: I0ce0d0a7db4d017ba1f5028e73c931ceb706fce5
Signed-off-by: Andreas Enge <andreas@enge.fr>
2024-05-15 16:27:26 +02:00
Jean-Pierre De Jesus DIAZ 3b9e1cdc70
gnu: Add ocaml-unionfind.
* gnu/packages/ocaml.scm (ocaml-unionfind): New variable.

Change-Id: Ib101e67576c000dad1d4a73d008ca0376e7da95a
Signed-off-by: Andreas Enge <andreas@enge.fr>
2024-05-15 16:26:22 +02:00
Jean-Pierre De Jesus DIAZ 2ce67731fc
gnu: coq-flocq: Update to 4.1.4.
* gnu/packages/coq.scm (coq-flocq): Update to 4.1.4.

Change-Id: Ia2bf4bccad712a7bfa5427ef26ad93d39f1fc6e0
Signed-off-by: Andreas Enge <andreas@enge.fr>
2024-05-15 16:12:44 +02:00
Jean-Pierre De Jesus DIAZ 36dc960c7f
gnu: ocaml-lablgtk3-sourceview3: Fix inputs.
* gnu/packages/ocaml.scm (ocaml-lablgtk3-sourceview3): Move gtksourceview-3
from native-inputs to propagated-inputs. Remove native-inputs and use
inherited inputs instead.

Change-Id: I2b242343bdace17ee3e992ce71f4e49b3c375e15
Signed-off-by: Andreas Enge <andreas@enge.fr>
2024-05-15 16:12:28 +02:00
Remco van 't Veer 9d42741693
gnu: krita: Fix build.
* gnu/packages/kde.scm (krita): Fix build.
[source]: Apply krita-bump-sip-abi-version-to-12.8 patch.
* gnu/packages/patches/krita-bump-sip-abi-version-to-12.8.patch: New file.
* gnu/local.mk (dist_patch_DATA): Register it.

Change-Id: I322c32716a676af7c90e019b53a1fd5395701b49
Signed-off-by: Andreas Enge <andreas@enge.fr>
2024-05-15 15:48:41 +02:00
Andreas Enge 8e5579f37c
gnu: minizinc: Use gexps.
* gnu/packages/maths.scm (minizinc): Use gexps.

Change-Id: I60a0d56b6d6ba33d96ca13b58355b5c213b0f6d2
2024-05-15 15:06:49 +02:00
Herman Rimm fcf6d663e3
gnu: minizinc: Add chuffed backend.
* gnu/packages/maths.scm (minizinc): Add backend.

Change-Id: If178a7585d70eb4b6f3223f5f6b2f34d9d2f2257
Signed-off-by: Andreas Enge <andreas@enge.fr>
2024-05-15 15:06:49 +02:00
Oleg Pykhalov b53fac2278
gnu: Add obs-source-record.
* gnu/packages/video.scm (obs-source-record): New variable.

Change-Id: I23792f9cbc90f922376f880c4dda9b5e1f99f9e3
2024-05-15 16:02:51 +03:00
Oleg Pykhalov be60d20005
gnu: obs: Update to 29.1.3.
* gnu/packages/video.scm (obs)[version]: Update to 29.1.3.
[inputs]: Add asio, nlohmann-json, websocketpp.

Change-Id: Iafb14ce1a53963c9fc12dc78631b0c530d1e700a
2024-05-15 16:01:05 +03:00
Efraim Flashner d1feac0049
gnu: java-jctools-core-1: Skip tests on aarch64-linux.
* gnu/packages/java.scm (java-jctools-core-1)[arguments]: When building
on aarch64-linux skip the tests.

Change-Id: I83a40b5eb352be48b9083aa57dd10e87b525c7be
2024-05-15 15:42:42 +03:00
Efraim Flashner 51439bf251
gnu: slade: Update to 3.2.5a.
* gnu/packages/game-development.scm (slade): Update to 3.2.5a.
[arguments]: Add a configure-flag to build slade.pk3.

Change-Id: I739f9d292a685e86acd4d83c1a5de367f884c523
2024-05-15 15:42:42 +03:00
Efraim Flashner 1987243ad2
gnu: java-swt: Update source URI.
* gnu/packages/java.scm (java-swt)[source]: Update to new source
location.

Change-Id: Iba0ba8143192b4388d498e768ff923b7f31bfc0e
2024-05-15 15:42:42 +03:00
Efraim Flashner 884cf293f5
gnu: java-swt: Fix build on some systems.
* gnu/packages/java.scm (java-swt)[arguments]: Adjust the custom
'build-native phase to set the C compiler.

Change-Id: Ie961ea91e5cd2ce9fc7b2228e08d082a5a1cfe06
2024-05-15 15:42:42 +03:00
Efraim Flashner 90d0299cfc
gnu: arcan-sdl: Build with sdl2.
* gnu/packages/arcan.scm (arcan-sdl)[inputs]: Remove sdl, add sdl2.
[arguments]: Adjust configure-flags to remove a flag specifying sdl
version and add a flag to use the package's default sdl.

Change-Id: I691e37e682aee671752fbdcd9f5a233607fd3f29
2024-05-15 15:42:42 +03:00
Efraim Flashner c9d4a1c42e
gnu: the-butterfly-effect: Fix build.
* gnu/packages/games.scm (the-butterfly-effect)[build-system]: Switch to
the cmake-build-system.
[arguments]: Don't delete the 'configure phase.  Remove custom 'install
phase.  Add a phase to set some cmake variables and one to disable the
translations.
[native-inputs]: Remove cmake-minimal.

Change-Id: I8f654b1e0c3231dda87ea41c150cc85661541cda
2024-05-15 15:42:42 +03:00
Efraim Flashner 84a53f3fa4
gnu: quagga: Build with gcc-9.
* gnu/packages/networking.scm (quagga)[native-inputs]: Add gcc-9.

Change-Id: I8b48a29ba0f5557f5d3609be917aac92fec4a613
2024-05-15 15:42:42 +03:00
Efraim Flashner e19d441fc2
gnu: quagga: Remove pre-generated files.
* gnu/packages/networking.scm (quagga)[source]: Add snippet to remove
pre-generated files.
[native-inputs]: Add gawk.

Change-Id: If82c30bde23c5a13750738f0841d4d2704c0c8c6
2024-05-15 15:42:34 +03:00
Andreas Enge 6cdb6cc6ef
gnu: gecode: Downgrade to 6.2.0-2.2d20e88.
This is a commit with which the dependent package minizinc builds
successfully.

* gnu/packages/maths.scm (gecode): Downgrade to 6.2.0-2.2d20e88.

Change-Id: I0bdb0131374639b1664e6ec40374d51b6922094c
2024-05-15 14:35:07 +02:00
Andreas Enge 12d23e3ac9
gnu: gecode: Use gexps.
* gnu/packages/maths.scm (gecode): Use gexps. Reindent package.

Change-Id: I5a644d25f2d62c3245b0770fe99c20c3ef380ffc
2024-05-15 14:35:07 +02:00
Artyom V. Poptsov 75f3cca50a
gnu: python-pivy: Update to 0.6.8.
* gnu/packages/python-xyz.scm (python-pivy): Update to 0.6.8.

Change-Id: I7375a8261bd24ae1c2f54c6889e1a39d6db93468
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2024-05-15 13:53:46 +02:00
Artyom V. Poptsov d8d0fdd25c
gnu: python-pivy: Fix build.
"python-pivy" build fails when "soqt" is in the inputs (see
<https://bugs.gentoo.org/920482>.)

* gnu/packages/python-xyz.scm (python-pivy): Fix build.
  [inputs]: Remove "soqt".
  [arguments]: Use gexps.

Change-Id: If332ccd42b3a373e7b4118f3bcbc3646e8b59d41
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2024-05-15 13:49:01 +02:00
Nicolas Graves 5c90e7d6d9
gnu: qgis: Update to 3.34.6.
* gnu/packages/geo.scm (qgis): Update to 3.34.6.
  [arguments]<#:phases>: Update failing tests list.
  [inputs]: Add draco, freexl, librttopo, minizip, pdal, qt3d-5.

Change-Id: If453a6c7451a63ab7b03f3cd0f36aef844acfb15
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2024-05-15 13:43:42 +02:00
Nicolas Graves 65f58ade59
gnu: qgis: Improve package style.
* gnu/packages/geo.scm (qgis)[arguments]<#:phases>: Extract
ignored-tests to make them more readable. Re-indent.

Change-Id: I2373bba49b9d21ff7dfa0014cf34fafa0e1f3175
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2024-05-15 13:43:42 +02:00
Nicolas Graves dcc278885c
gnu: qgis: Improve package style.
* gnu/packages/geo.scm (qgis)[arguments]: Use gexp.

Change-Id: Ib72ae48ca0895109548e676c6da2d80ac2e1eca6
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2024-05-15 13:43:42 +02:00
Andreas Enge 125fcf9f69
gnu: gecode: Update to 6.2.0-1.f7f0d7c.
* gnu/packages/maths.scm (gecode): Update to 6.2.0-1.f7f0d7c.

Change-Id: I48b77da2957a08850215aa02a77a845052bf26f7
2024-05-15 13:06:44 +02:00
Herman Rimm 4b10015a12
gnu: Add chuffed.
* gnu/packages/maths.scm (chuffed): Add variable.

Co-authored-by: Andreas Enge <andreas@enge.fr>

Change-Id: I77fc1ceb9caa42833689fba771010aeb38443e5e
2024-05-15 13:05:03 +02:00
Sharlatan Hellseher 83289a64ec
gnu: python-lazy-loader: Update to 0.4.
This fixes python-scikit-image build failure as seen in
<https://ci.guix.gnu.org/build/4357310/log/raw>.

* gnu/packages/python-xyz.scm (python-lazy-loader): Update to 0.4.
[native-inputs]: Remove python-pre-commit and python-pytest-cov; add python-numpy.

Change-Id: Ie236fb30fd505fed1e07fd236403f9f456a37f29
2024-05-15 11:08:02 +01:00
Vinicius Monego 345a176a90
gnu: Add draco.
* gnu/packages/compression.scm (draco): New variable.

Change-Id: Ibba9180ac2ee176aa445684472fa7d34327f8ce5
Co-authored-by: Nicolas Graves <ngraves@ngraves.fr>
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2024-05-15 11:56:29 +02:00
Vinicius Monego 7f4c9fe530
gnu: Add tinygltf.
* gnu/packages/graphics.scm (tinygltf): New variable.

Change-Id: I749ced85142b8dd2ebbe916533f27bf6d167bbff
Co-authored-by: Nicolas Graves <ngraves@ngraves.fr>
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2024-05-15 11:48:39 +02:00
Ricardo Wurmus 2b161f6130
gnu: pigx-rnaseq: Update to 0.1.1.
* gnu/packages/bioinformatics.scm (pigx-rnaseq): Update to 0.1.1.

Change-Id: I16db332e3559bed5b302f08bd85f31c6c40e9619
2024-05-15 09:37:29 +02:00
Mark H Weaver 898b5f30f3
gnu: icecat: Update to 115.11.0-guix0-preview1 [security fixes].
Includes fixes for CVE-2024-4367, CVE-2024-4767, CVE-2024-4768,
CVE-2024-4769, CVE-2024-4770, and CVE-2024-4777.

* gnu/packages/gnuzilla.scm (%icecat-base-version, %icecat-build-id): Update.
(icecat-source): Update gnuzilla commit, base version, and hashes.
2024-05-14 12:29:23 -04:00
Ashish SHUKLA 6e86089d56
gnu: kakoune: Update to 2024.05.09.
* gnu/packages/text-editors.scm (kakoune): Update to 2024.05.09.

Change-Id: If6c1ea02304880d5ffa818e57f922f9d81c1bf5a
Signed-off-by: Christopher Baines <mail@cbaines.net>
2024-05-14 12:05:25 +01:00
James Smith 55d6e9f73d
gnu: yamagi-quake2: Update to 8.30.
* gnu/packages/games.scm (yamagi-quake2): Update to 8.30.

Change-Id: I6be99f7a87112544f0d23033e2ee99b308762bd3
Signed-off-by: Christopher Baines <mail@cbaines.net>
2024-05-14 12:05:25 +01:00
Artyom V. Poptsov 85923f9eb4
gnu: guile-lib: Fix tests for Guile 2.2.
* gnu/packages/guile-xyz.scm (guile-lib)[source]: Add a patch that fixes
tests for Guile 2.2.
* gnu/packages/patches/guile-lib-fix-tests-for-guile2.2.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add
"guile-lib-fix-tests-for-guile2.2.patch".

Change-Id: Ia340e1de57c56366f0ee9271687a89fb9e41bc2d
Signed-off-by: Christopher Baines <mail@cbaines.net>
2024-05-14 12:05:25 +01:00
Artyom V. Poptsov b5e1121677
gnu: guile-lib: Remove "strip" phase.
* gnu/packages/guile-xyz.scm (guile-lib) [arguments]: Remove "strip" phase.

Change-Id: I6158bdb58555be4e84a2571a2a6e59eb23d39abf
Signed-off-by: Christopher Baines <mail@cbaines.net>
2024-05-14 12:05:25 +01:00
Andy Tai 61140300c2
gnu: xpra: Update to 6.0.
* gnu/packages/xorg.scm (xpra): Update to 6.0.
[inputs]: Add xxhash.
[native-inputs]: Change python-cython to python-cython-3.
* gnu/packages/patches/xpra-6.0-install_libs.patch: New file.
* gnu/packages/patches/xpra-6.0-systemd-run.patch: New file.
* gnu/packages/patches/xpra-5.0-install_libs.patch: Removed.
* gnu/packages/patches/xpra-5.0-systemd-run.patch: Removed.
* gnu/local.mk (dist_patch_DATA): Update accordingly

Change-Id: Ic8ec98296220aebabb3d94951e11a3c957a8fcbc
Signed-off-by: Christopher Baines <mail@cbaines.net>
2024-05-14 12:05:25 +01:00
Christopher Baines 49ec9f4ba3
gnu: guix: Update to 1.4.0-20.37719d3.
* gnu/packages/package-management.scm (guix): Update to 1.4.0-20.37719d3.

Change-Id: Ib986456b9d5aebb2589cab2cb7fcd5fe4b5b9f37
2024-05-14 12:05:22 +01:00
Nicolas Graves via Guix-patches via a682ddd708
gnu: Add emacs-helm-org-ql.
* gnu/packages/emacs-xyz.scm (emacs-helm-org-ql): New variable.
(emacs-org-ql)[phases]: Add phase 'remove-helm-org-ql.
[propagated-inputs]: Remove emacs-helm, emacs-helm-org.

The author didn't mean to make the package depend on helm :
"Note that Helm is not declared as a package dependency, so this does
not cause Helm to be installed.", but the way we packaged it in Guix
did. Split the extension into a separate dependency instead, this
avoids 3 Mo to be propagated in a profile where it's not meant.

Change-Id: I3537c0b08cfffac3d66b761173761a3806497358
Signed-off-by: Andrew Tropin <andrew@trop.in>
2024-05-14 13:58:05 +03:00
Dariqq 37719d3ec8
gnu: gnome-shell: Wrap screencast service.
Adjust screencast such that GI_TYPELIB_PATH and GST_PLUGIN_SYSTEM_PATH refer
to all required typelibs and GStreamer plugins.  This alone is not enough to
make the screencast function however -- a running pipewire service (e.g.
via Guix Home) is also needed.

* gnu/packages/gnome.scm (gnome-shell):
[inputs]: Add gst-plugins-good and pipewire.
[#:phases]<'wrap-programs>: Wrap org.gnome.Shell.Screencast.

Change-Id: I2c31bf1bd92e281b86c57b06988c6a3793a58d40
Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
2024-05-14 07:09:00 +02:00
Liliana Marie Prikler 8cf823c17b
gnu: renpy: Update to 8.3.0.
* gnu/packages/game-development.scm (python-renpy): Update to 8.3.0.
2024-05-14 06:58:50 +02:00
Liliana Marie Prikler 55a5e509c3
gnu: python-pygame-sdl2: Update to 2.1.0+renpy8.3.0.
* gnu/packages/game-development.scm (python-pygame-sdl2): Update to
2.1.0+renpy8.3.0.
2024-05-14 06:58:50 +02:00
Liliana Marie Prikler 5da23b0d5c
gnu: Add python-clintest.
* gnu/packages/potassco.scm (python-clintest): New variable.
2024-05-14 06:58:50 +02:00
Ricardo Wurmus 0edbb93130
gnu: r-logspline: Update to 2.1.22.
* gnu/packages/statistics.scm (r-logspline): Update to 2.1.22.

Change-Id: I08b684ab0f5a429923f3163353ccf7e9339de627
2024-05-13 22:27:37 +02:00
Ricardo Wurmus 61bf9b8c0d
gnu: r-tclust: Update to 2.0-4.
* gnu/packages/statistics.scm (r-tclust): Update to 2.0-4.

Change-Id: I5d2cabd4fbbbb7e540cfe129bbeb5e0e2b9f7a84
2024-05-13 22:27:37 +02:00
Ricardo Wurmus 87273f874b
gnu: r-estimability: Update to 1.5.1.
* gnu/packages/statistics.scm (r-estimability): Update to 1.5.1.

Change-Id: I1e0e9508b48a178ef7a241b14c86141aea5189ef
2024-05-13 22:27:37 +02:00
Ricardo Wurmus 23342d2391
gnu: r-paws-storage: Update to 0.6.0.
* gnu/packages/cran.scm (r-paws-storage): Update to 0.6.0.

Change-Id: I30a9e0cf35bbee39a01f4a794df66b75a44d2977
2024-05-13 22:27:37 +02:00
Ricardo Wurmus 7e2aa84895
gnu: r-paws-database: Update to 0.6.0.
* gnu/packages/cran.scm (r-paws-database): Update to 0.6.0.

Change-Id: I006c62cba2953e81175a3ce030b25a623b02d958
2024-05-13 22:27:37 +02:00
Ricardo Wurmus 0d2df235ed
gnu: r-paws-networking: Update to 0.6.0.
* gnu/packages/cran.scm (r-paws-networking): Update to 0.6.0.

Change-Id: I01b39db5292b96bb8b6c18ef721c03a410b858b2
2024-05-13 22:27:37 +02:00
Ricardo Wurmus 72da34939c
gnu: r-paws-machine-learning: Update to 0.6.0.
* gnu/packages/cran.scm (r-paws-machine-learning): Update to 0.6.0.

Change-Id: Idb88c0ad3b57bdd6680042e55dce54b5330a5304
2024-05-13 22:27:37 +02:00