Pinetab-v: rope in config

2024-07-11 23:18:40 -04:00
parent 67365bb3dd
commit 2b7a1bd25d
36 changed files with 772 additions and 2 deletions
--- a/machines/ptv/pkgs/valgrind/default.nix
+++ b/machines/ptv/pkgs/valgrind/default.nix
@@ -0,0 +1,15 @@
+final: prev: prev.valgrind.overrideAttrs (old: {
+  src = prev.fetchFromGitHub {
+    owner = "petrpavlu";
+    repo = "valgrind-riscv64";
+    rev = "71272b252977fe52f03ea4fa8306b457b098cca5";
+    hash = "sha256-xD84dYSzq9eD35NfnmtI/zONVRjhDAEJkge26yFK034=";
+  };
+  outputs = [ "out" ];
+  patches = [
+    (prev.fetchpatch {
+      url = "https://bugsfiles.kde.org/attachment.cgi?id=149173";
+      sha256 = "sha256-jX9hD4utWRebbXMJYZ5mu9jecvdrNP05E5J+PnKRTyQ=";
+    })
+  ];
+})