coqPackages_8_5.fiat_HEAD: fix build

6 years ago · faea8def19
parent a7afcff928
commit faea8def19
1 changed files with 3 additions and 2 deletions
--- a/pkgs/development/coq-modules/fiat/HEAD.nix
+++ b/pkgs/development/coq-modules/fiat/HEAD.nix
@ -11,8 +11,9 @@ stdenv.mkDerivation rec {
    sha256 = "0griqc675yylf9rvadlfsabz41qy5f5idya30p5rv6ysiakxya64";
  };

-  buildInputs = with coq.ocamlPackages; [ ocaml camlp5 python27 ];
-  propagatedBuildInputs = [ coq ];
+  buildInputs = [ coq python27 ] ++ (with coq.ocamlPackages; [ ocaml camlp5 ]);
+
+  prePatch = "patchShebangs etc/coq-scripts";

  doCheck = false;