From 531e4b80c97002a542beb8fe356177ebd66cdd8e Mon Sep 17 00:00:00 2001 From: John Ericson Date: Tue, 5 Sep 2017 17:26:13 -0400 Subject: misc pkgs: Basic sed to get fix `pkgconfig` and `autoreconfHook` `buildInputs` Only acts on one-line dependency lists. --- pkgs/development/coq-modules/dpdgraph/default.nix | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'pkgs/development/coq-modules/dpdgraph/default.nix') diff --git a/pkgs/development/coq-modules/dpdgraph/default.nix b/pkgs/development/coq-modules/dpdgraph/default.nix index 9dbc3a3f2991..65be1f4e0667 100644 --- a/pkgs/development/coq-modules/dpdgraph/default.nix +++ b/pkgs/development/coq-modules/dpdgraph/default.nix @@ -21,7 +21,8 @@ stdenv.mkDerivation { inherit (param) rev sha256; }; - buildInputs = [ autoreconfHook coq ] + nativeBuildInputs = [ autoreconfHook ]; + buildInputs = [ coq ] ++ (with ocamlPackages; [ ocaml findlib ocamlgraph ]); preInstall = '' -- cgit 1.4.1