gnu: ddcci-driver-linux: Fix build with Linux 6.8. * gnu/packages/patches/ddcci-driver-linux-linux-6.8.patch: New file. * gnu/local.mk (dist_patch_DATA): Register it. * gnu/packages/linux.scm (ddcci-driver-linux): Apply it. Change-Id: Iac63146e67333aed2a95e8064b19f031c97a4134 Cover-letter: Add BTF support to kernel, sysdig and dependents, zstd-compressed modules This series adds BTF (Berkeley Type Format) support to our kernel, catching up with other main distributions in enabling embedded BPF (Berkeley Packet Filter) programs. This was motivated by packaging 'sysdig', a system introspection application that can make use of BTF. Adding BTF does incur some size increase; with 'linux-libre' package going up from 132 MiB to 164 MiB (24%). This is later somewhat mitigated by using Zstd compressed (at maximum level, 19) kernel modules, which brings the kernel size back down to 144 MiB, which corresponds to a more reasonable 9% increase from before this series. The BPF kernel variant we were carrying is removed as proper BPF support will now exists in our main kernel. That's it! I hope you enjoy using 'csysdig' to keep track of the syscalls and IO usage of your process/threads. END Change-Id: Icb5fc659f529a2a840281284bfb0d74a0cc9b9d9
gnu: Remove icu4c-68. * gnu/packages/icu4c.scm (icu4c-68): Delete variable. Only 0ad depended on it, and the dependency has been upgraded in the previous commit. Change-Id: If9d5741f25329ea0026401b37b30a7ab7731e3d9
gnu: 0ad: Use default icu4c version. Fixes build on aarch64 where icu4c-68 is broken. * gnu/packages/games.scm (0ad)[inputs]: Replace icu4c-68 with icu4c. Change-Id: Ie2cade592e224eb72dc3286ba3b38626cd86b85b Signed-off-by: Andreas Enge <andreas@enge.fr>
gnu: why3: Enable extra features. * gnu/packages/maths.scm (why3) <propagated-inputs>: Add ocaml-ppx-deriving, ocaml-ppx-sexp-conv, ocaml-re and ocaml-sexplib to enable extra features. Change-Id: Ia3b66ac08cc25097967c6e18f2193601fb748cac Signed-off-by: Andreas Enge <andreas@enge.fr>
gnu: why3: Use new style. * gnu/packages/maths.scm (why3): Use new style and move arguments above input fields. Change-Id: Ia9cb04cafe426d7f20c5efb10ca540572dbd3be9 Signed-off-by: Andreas Enge <andreas@enge.fr>
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>
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>
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