Commit 7f87b7b7 authored by Robert Schütz's avatar Robert Schütz
Browse files

lean: fix build with GCC 15

parent 8c538e51

pkgs/by-name/le/lean/package.nix

+7 −1
Original line number Diff line number Diff line
@@ -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 \