aboutsummaryrefslogtreecommitdiff
path: root/nixpkgs/pkgs/development/ocaml-modules/bigarray-overlap/default.nix
diff options
context:
space:
mode:
Diffstat (limited to 'nixpkgs/pkgs/development/ocaml-modules/bigarray-overlap/default.nix')
-rw-r--r--nixpkgs/pkgs/development/ocaml-modules/bigarray-overlap/default.nix28
1 files changed, 28 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/development/ocaml-modules/bigarray-overlap/default.nix b/nixpkgs/pkgs/development/ocaml-modules/bigarray-overlap/default.nix
new file mode 100644
index 00000000000..e02b1159a9c
--- /dev/null
+++ b/nixpkgs/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 ];
+ };
+}