gnu: Add ocaml-unionfind. * gnu/packages/ocaml.scm (ocaml-unionfind): New variable. Change-Id: Ib101e67576c000dad1d4a73d008ca0376e7da95a Signed-off-by: Andreas Enge <andreas@enge.fr>
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>
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>
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>
gnu: minizinc: Use gexps. * gnu/packages/maths.scm (minizinc): Use gexps. Change-Id: I60a0d56b6d6ba33d96ca13b58355b5c213b0f6d2
gnu: minizinc: Add chuffed backend. * gnu/packages/maths.scm (minizinc): Add backend. Change-Id: If178a7585d70eb4b6f3223f5f6b2f34d9d2f2257 Signed-off-by: Andreas Enge <andreas@enge.fr>
gnu: Add obs-source-record. * gnu/packages/video.scm (obs-source-record): New variable. Change-Id: I23792f9cbc90f922376f880c4dda9b5e1f99f9e3
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
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
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
gnu: java-swt: Update source URI. * gnu/packages/java.scm (java-swt)[source]: Update to new source location. Change-Id: Iba0ba8143192b4388d498e768ff923b7f31bfc0e
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
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
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
gnu: quagga: Build with gcc-9. * gnu/packages/networking.scm (quagga)[native-inputs]: Add gcc-9. Change-Id: I8b48a29ba0f5557f5d3609be917aac92fec4a613
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
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
gnu: gecode: Use gexps. * gnu/packages/maths.scm (gecode): Use gexps. Reindent package. Change-Id: I5a644d25f2d62c3245b0770fe99c20c3ef380ffc
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>
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>