coq2html: switch to default make

2018-11-15 17:41:25 +00:00
parent 20738d8b81
commit 5d0eeeee38
2 changed files with 3 additions and 5 deletions
@@ -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