ninja: Ninja issues 1510 patch source update to ninja upstream

This commit is contained in:
Tyson Whitehead
2020-03-19 14:08:40 -04:00
parent 218174a96a
commit 560abb236e

View File

@@ -17,6 +17,19 @@ self: super: pkgs: with pkgs; {
];
} );
# https://github.com/NixOS/nixpkgs/pull/82946
ninja = super.ninja.overrideAttrs ( attrs: {
patches = builtins.map ( patch:
patch.overrideAttrs ( attrs: {
urls = builtins.map ( src:
if src == https://github.com/makepost/ninja/commit/567815df38a2ff54ad7478a90bd75c91e434236a.patch
then https://github.com/ninja-build/ninja/commit/567815df38a2ff54ad7478a90bd75c91e434236a.patch
else src )
attrs.urls;
} ) )
attrs.patches;
} );
# https://github.com/NixOS/nixpkgs/issues/38459
octave = super.octave.overrideAttrs (attrs: {
buildInputs = attrs.buildInputs ++ [ gl2ps ];