Merge pull request #37658 from pbogdan/gnumake3-remove

gnumake3: remove

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

@@ -1,4 +1,4 @@
-{ stdenv, make, fetchgit, ocaml }:
+{ stdenv, fetchgit, ocaml }:
 
 let 
   version = "20170720";
@@ -13,7 +13,7 @@ stdenv.mkDerivation {
     sha256 = "1x466j0pyjggyz0870pdllv9f5vpnfrgkd0w7ajvm9rkwyp3f610";
   };
 
-  buildInputs = [ make ocaml ];
+  buildInputs = [ ocaml ];
 
   installPhase = ''
     mkdir -p $out/bin

pkgs/development/libraries/lensfun/default.nix

@@ -1,4 +1,4 @@
-{ stdenv, fetchurl, pkgconfig, glib, zlib, libpng, gnumake3, cmake }:
+{ stdenv, fetchurl, pkgconfig, glib, zlib, libpng, cmake }:
 
 stdenv.mkDerivation rec {
   version = "0.3.95";
@@ -9,8 +9,8 @@ stdenv.mkDerivation rec {
     sha256 = "0218f3xrlln0jmh4gcf1zbpvi2bidgl3b2mblf6c810n7j1rrhl2";
   };
 
-  nativeBuildInputs = [ pkgconfig ];
-  buildInputs = [ glib zlib libpng cmake gnumake3 ];
+  nativeBuildInputs = [ cmake pkgconfig ];
+  buildInputs = [ glib zlib libpng ];
 
   configureFlags = [ "-v" ];