diff options
author | John Ericson <John.Ericson@Obsidian.Systems> | 2017-09-05 17:26:13 -0400 |
---|---|---|
committer | John Ericson <John.Ericson@Obsidian.Systems> | 2017-09-21 15:49:53 -0400 |
commit | 531e4b80c97002a542beb8fe356177ebd66cdd8e (patch) | |
tree | 4fb5b90d44ecb5a7b15fdc7d6e10bda66f4542f0 /pkgs/development/coq-modules/dpdgraph/default.nix | |
parent | fd9c7eb2e8c1755b606cb0d7dab2ba0bb93e36ed (diff) |
misc pkgs: Basic sed to get fix `pkgconfig` and `autoreconfHook` `buildInputs`
Only acts on one-line dependency lists.
Diffstat (limited to 'pkgs/development/coq-modules/dpdgraph/default.nix')
-rw-r--r-- | pkgs/development/coq-modules/dpdgraph/default.nix | 3 |
1 files changed, 2 insertions, 1 deletions
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 = '' |