~ruther/guix-local

3b9e1cdc — Jean-Pierre De Jesus DIAZ 1 year, 10 months ago
gnu: Add ocaml-unionfind.

* gnu/packages/ocaml.scm (ocaml-unionfind): New variable.

Change-Id: Ib101e67576c000dad1d4a73d008ca0376e7da95a
Signed-off-by: Andreas Enge <andreas@enge.fr>
2ce67731 — Jean-Pierre De Jesus DIAZ 1 year, 10 months ago
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>
36dc960c — Jean-Pierre De Jesus DIAZ 1 year, 10 months ago
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>
9d427416 — Remco van 't Veer 1 year, 10 months ago
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>
8e5579f3 — Andreas Enge 1 year, 10 months ago
gnu: minizinc: Use gexps.

* gnu/packages/maths.scm (minizinc): Use gexps.

Change-Id: I60a0d56b6d6ba33d96ca13b58355b5c213b0f6d2
fcf6d663 — Herman Rimm 2 years ago
gnu: minizinc: Add chuffed backend.

* gnu/packages/maths.scm (minizinc): Add backend.

Change-Id: If178a7585d70eb4b6f3223f5f6b2f34d9d2f2257
Signed-off-by: Andreas Enge <andreas@enge.fr>
b53fac22 — Oleg Pykhalov 1 year, 10 months ago
gnu: Add obs-source-record.

* gnu/packages/video.scm (obs-source-record): New variable.

Change-Id: I23792f9cbc90f922376f880c4dda9b5e1f99f9e3
be60d200 — Oleg Pykhalov 1 year, 10 months ago
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
d1feac00 — Efraim Flashner 1 year, 10 months ago
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
51439bf2 — Efraim Flashner 1 year, 10 months ago
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
1987243a — Efraim Flashner 1 year, 10 months ago
gnu: java-swt: Update source URI.

* gnu/packages/java.scm (java-swt)[source]: Update to new source
location.

Change-Id: Iba0ba8143192b4388d498e768ff923b7f31bfc0e
884cf293 — Efraim Flashner 1 year, 10 months ago
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
90d0299c — Efraim Flashner 1 year, 10 months ago
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
c9d4a1c4 — Efraim Flashner 1 year, 10 months ago
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
84a53f3f — Efraim Flashner 1 year, 10 months ago
gnu: quagga: Build with gcc-9.

* gnu/packages/networking.scm (quagga)[native-inputs]: Add gcc-9.

Change-Id: I8b48a29ba0f5557f5d3609be917aac92fec4a613
e19d441f — Efraim Flashner 1 year, 10 months ago
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
6cdb6cc6 — Andreas Enge 1 year, 10 months ago
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
12d23e3a — Andreas Enge 1 year, 10 months ago
gnu: gecode: Use gexps.

* gnu/packages/maths.scm (gecode): Use gexps. Reindent package.

Change-Id: I5a644d25f2d62c3245b0770fe99c20c3ef380ffc
75f3cca5 — Artyom V. Poptsov 1 year, 10 months ago
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>
d8d0fdd2 — Artyom V. Poptsov 1 year, 10 months ago
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>
Next