commit a5a64cfcb186d50d5e19d0ef48b94a55cef6e41a · pyrox.dev/nixpkgs

pyrox.dev / nixpkgs

lol

fork atom

lean: fixup nativeBuildInputs vs buildInputs

Will Dietz 8 years ago a5a64cfc 4e5a4a92

+2 -1

1 changed file

expand all

unified split

pkgs

applications

science

logic

lean

default.nix

+2 -1

pkgs/applications/science/logic/lean/default.nix

··· 11 sha256 = "0irh9b4haz0pzzxrb4hwcss91a0xb499kjrcrmr2s59p3zq8bbd9"; 12 }; 13 14 - buildInputs = [ gmp cmake ]; 15 enableParallelBuilding = true; 16 17 preConfigure = ''

··· 11 sha256 = "0irh9b4haz0pzzxrb4hwcss91a0xb499kjrcrmr2s59p3zq8bbd9"; 12 }; 13 14 + nativeBuildInputs = [ cmake ]; 15 + buildInputs = [ gmp ]; 16 enableParallelBuilding = true; 17 18 preConfigure = ''