diff options
| author | Matthew Maurer <matthew.r.maurer@gmail.com> | 2016-09-13 20:47:31 -0400 |
|---|---|---|
| committer | Matthew Maurer <matthew.r.maurer@gmail.com> | 2016-09-14 02:36:06 -0400 |
| commit | a6f8b1f9ff0b22e7cfe1d0eaf31b172b9fca36e8 (patch) | |
| tree | 34b968ba0ef5845ba1a83ab46b442c9522cc0534 /pkgs/development/ocaml-modules/janestreet | |
| parent | 5ce22cb05e4db1674e8a00e65beaa9ea1069e3fe (diff) | |
| download | nixlib-a6f8b1f9ff0b22e7cfe1d0eaf31b172b9fca36e8.tar nixlib-a6f8b1f9ff0b22e7cfe1d0eaf31b172b9fca36e8.tar.gz nixlib-a6f8b1f9ff0b22e7cfe1d0eaf31b172b9fca36e8.tar.bz2 nixlib-a6f8b1f9ff0b22e7cfe1d0eaf31b172b9fca36e8.tar.lz nixlib-a6f8b1f9ff0b22e7cfe1d0eaf31b172b9fca36e8.tar.xz nixlib-a6f8b1f9ff0b22e7cfe1d0eaf31b172b9fca36e8.tar.zst nixlib-a6f8b1f9ff0b22e7cfe1d0eaf31b172b9fca36e8.zip | |
core_kernel: 112.24.00 -> 112.24.00/113.33.03
PPX/P4 split
Diffstat (limited to 'pkgs/development/ocaml-modules/janestreet')
| -rw-r--r-- | pkgs/development/ocaml-modules/janestreet/core_kernel.nix | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/pkgs/development/ocaml-modules/janestreet/core_kernel.nix b/pkgs/development/ocaml-modules/janestreet/core_kernel.nix new file mode 100644 index 000000000000..93fcdde5bb38 --- /dev/null +++ b/pkgs/development/ocaml-modules/janestreet/core_kernel.nix @@ -0,0 +1,19 @@ +{stdenv, buildOcamlJane, fetchurl, + bin_prot, fieldslib, sexplib, typerep, variantslib, + ppx_assert, ppx_bench, ppx_driver, ppx_expect, ppx_inline_test, ppx_jane, + ocaml_oasis, opam, js_build_tools}: + +buildOcamlJane rec { + name = "core_kernel"; + hash = "13gamj056nlib04l7yh80lqpdx0pnswzlb52fkqa01awwp5nf3z6"; + propagatedBuildInputs = + [ bin_prot fieldslib sexplib typerep variantslib + ppx_assert ppx_bench ppx_driver ppx_expect ppx_inline_test ppx_jane ]; + + meta = with stdenv.lib; { + homepage = https://github.com/janestreet/core_kernel; + description = "Jane Street Capital's standard library overlay (kernel)"; + license = licenses.asl20; + maintainers = [ maintainers.maurer maintainers.ericbmerritt ]; + }; +} |