blob: f8b5c320a598e1c33c225d648032e6b8bc059004 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
{
lib,
buildDunePackage,
fetchurl,
alcotest,
pkg-config,
}:
buildDunePackage (finalAttrs: {
pname = "bigarray-overlap";
version = "0.2.1";
src = fetchurl {
url = "https://github.com/dinosaure/overlap/releases/download/v${finalAttrs.version}/bigarray-overlap-${finalAttrs.version}.tbz";
hash = "sha256-L1IKxHAFTjNYg+upJUvyi2Z23bV3U8+1iyLPhK4aZuA=";
};
minimalOCamlVersion = "4.08";
duneVersion = "3";
nativeBuildInputs = [ pkg-config ];
checkInputs = [ alcotest ];
doCheck = true;
meta = {
homepage = "https://github.com/dinosaure/overlap";
description = "Minimal library to know that 2 bigarray share physically the same memory or not";
license = lib.licenses.mit;
maintainers = [ lib.maintainers.sternenseemann ];
};
})
|
