lean: fix build with GCC 15 (#480010)

2026-01-15 18:03:07 +00:00
parent c4d0584e23 7f87b7b795
commit fb34f684a5
1 changed files with 7 additions and 1 deletions
@@ -54,7 +54,13 @@ stdenv.mkDerivation rec {
        --subst-var-by GIT_SHA1 "${src.rev}"
    '';

-  postPatch = "patchShebangs .";
+  postPatch = ''
+    patchShebangs .
+
+    sed -e '1i #include <cstdint>' -i src/util/hash.{cpp,h}
+  '';
+
+  env.NIX_CFLAGS_COMPILE = "-Wno-error=template-body";

  postInstall = lib.optionalString stdenv.hostPlatform.isDarwin ''
    substituteInPlace $out/bin/leanpkg \