core: 112.24.01 -> 112.24.01/113.33.03

PPX/P4 split
This commit is contained in:
Matthew Maurer
2016-09-13 20:59:22 -04:00
parent a6f8b1f9ff
commit 0561329ae5
10 changed files with 39 additions and 17 deletions

View File

@@ -1,5 +1,5 @@
{stdenv, buildOcaml, fetchurl, async_kernel, async_unix,
bin_prot_p4, core, custom_printf, fieldslib_p4, herelib, pa_ounit,
bin_prot_p4, core_p4, custom_printf, fieldslib_p4, herelib, pa_ounit,
pipebang, pa_test, sexplib_p4}:
buildOcaml rec {
@@ -14,7 +14,7 @@ buildOcaml rec {
};
buildInputs = [ pa_test pa_ounit ];
propagatedBuildInputs = [ async_kernel async_unix core bin_prot_p4 custom_printf
propagatedBuildInputs = [ async_kernel async_unix core_p4 bin_prot_p4 custom_printf
fieldslib_p4 herelib pipebang sexplib_p4 ];
meta = with stdenv.lib; {