diff options
author | sternenseemann <git@lukasepple.de> | 2020-06-29 20:31:47 +0200 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2020-07-01 10:15:13 +0200 |
commit | fce108ef60c2518fb84cde47fdefc45424aa9ab1 (patch) | |
tree | 6a2628386d026760e52cd7156c7159293f48ffd5 /pkgs/development/ocaml-modules/bigarray-overlap | |
parent | 00c6fa607cc564a1b64eaf56d0540607df7eca19 (diff) | |
download | nixpkgs-fce108ef60c2518fb84cde47fdefc45424aa9ab1.tar nixpkgs-fce108ef60c2518fb84cde47fdefc45424aa9ab1.tar.gz nixpkgs-fce108ef60c2518fb84cde47fdefc45424aa9ab1.tar.bz2 nixpkgs-fce108ef60c2518fb84cde47fdefc45424aa9ab1.tar.lz nixpkgs-fce108ef60c2518fb84cde47fdefc45424aa9ab1.tar.xz nixpkgs-fce108ef60c2518fb84cde47fdefc45424aa9ab1.tar.zst nixpkgs-fce108ef60c2518fb84cde47fdefc45424aa9ab1.zip |
ocamlPackages.bigarray-overlap: init at 0.2.0
Diffstat (limited to 'pkgs/development/ocaml-modules/bigarray-overlap')
-rw-r--r-- | pkgs/development/ocaml-modules/bigarray-overlap/default.nix | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/pkgs/development/ocaml-modules/bigarray-overlap/default.nix b/pkgs/development/ocaml-modules/bigarray-overlap/default.nix new file mode 100644 index 00000000000..e02b1159a9c --- /dev/null +++ b/pkgs/development/ocaml-modules/bigarray-overlap/default.nix @@ -0,0 +1,28 @@ +{ lib, buildDunePackage, fetchurl +, bigarray-compat, alcotest, astring, fpath, bos, findlib, pkg-config +}: + +buildDunePackage rec { + pname = "bigarray-overlap"; + version = "0.2.0"; + + src = fetchurl { + url = "https://github.com/dinosaure/overlap/releases/download/v${version}/bigarray-overlap-v${version}.tbz"; + sha256 = "1v86avafsbyxjccy0y9gny31s2jzb0kd42v3mhcalklx5f044lcy"; + }; + + minimumOCamlVersion = "4.07"; + useDune2 = true; + + propagatedBuildInputs = [ bigarray-compat ]; + + checkInputs = [ alcotest astring fpath bos findlib pkg-config ]; + doCheck = true; + + meta = with lib; { + homepage = "https://github.com/dinosaure/overlap"; + description = "A minimal library to know that 2 bigarray share physically the same memory or not"; + license = licenses.mit; + maintainers = [ maintainers.sternenseemann ]; + }; +} |