diff options
| author | Kirill Boltaev <aske@fmap.me> | 2016-09-25 00:39:35 +0300 |
|---|---|---|
| committer | Kirill Boltaev <aske@fmap.me> | 2016-09-26 02:36:49 +0300 |
| commit | e5fa83e7f592eb56096affc52c6cc612e062bb5f (patch) | |
| tree | 915d54d7730294f777a41db764d0322e3765789e /pkgs/development/tools/misc | |
| parent | 04d71dd84c1af91f33f4765e40da3f7cf1175a0c (diff) | |
| download | nixlib-e5fa83e7f592eb56096affc52c6cc612e062bb5f.tar nixlib-e5fa83e7f592eb56096affc52c6cc612e062bb5f.tar.gz nixlib-e5fa83e7f592eb56096affc52c6cc612e062bb5f.tar.bz2 nixlib-e5fa83e7f592eb56096affc52c6cc612e062bb5f.tar.lz nixlib-e5fa83e7f592eb56096affc52c6cc612e062bb5f.tar.xz nixlib-e5fa83e7f592eb56096affc52c6cc612e062bb5f.tar.zst nixlib-e5fa83e7f592eb56096affc52c6cc612e062bb5f.zip | |
trv: explicitly specify camlp4 packages
Diffstat (limited to 'pkgs/development/tools/misc')
| -rw-r--r-- | pkgs/development/tools/misc/trv/default.nix | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/pkgs/development/tools/misc/trv/default.nix b/pkgs/development/tools/misc/trv/default.nix index 606cc5146470..c14a41cc5599 100644 --- a/pkgs/development/tools/misc/trv/default.nix +++ b/pkgs/development/tools/misc/trv/default.nix @@ -1,5 +1,6 @@ -{stdenv, fetchFromGitHub, ocaml, findlib, camlp4, core, async, async_unix, re2, - async_extra, sexplib, async_shell, core_extended, async_find, cohttp, uri, tzdata}: +{stdenv, fetchFromGitHub, ocaml, findlib, camlp4, core_p4, async_p4, async_unix_p4 +, re2_p4, async_extra_p4, sexplib_p4, async_shell, core_extended_p4, async_find +, cohttp, uri, tzdata}: let ocaml_version = (builtins.parseDrvName ocaml.name).version; @@ -20,9 +21,9 @@ stdenv.mkDerivation { buildInputs = [ ocaml findlib camlp4 ]; - propagatedBuildInputs = [ core async async_unix - async_extra sexplib async_shell core_extended - async_find cohttp uri re2 ]; + propagatedBuildInputs = [ core_p4 async_p4 async_unix_p4 + async_extra_p4 sexplib_p4 async_shell core_extended_p4 + async_find cohttp uri re2_p4 ]; createFindlibDestdir = true; dontStrip = true; |