blob: 9bad21fd2118134ed23d14b85dc68bbc052e02b4 (
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
32
33
|
{
lib,
buildDunePackage,
dune-site,
fetchFromGitLab,
frama-c,
}:
buildDunePackage (finalAttrs: {
pname = "frama-c-lannotate";
version = "0.2.6";
src = fetchFromGitLab {
domain = "git.frama-c.com";
group = "pub";
owner = "ltest";
repo = "lannotate";
rev = finalAttrs.version;
hash = "sha256-F08YrRtRdRZXNfGqdIc0ATOfWN8Kw0RXYY579da9Xuw=";
};
propagatedBuildInputs = [
dune-site
frama-c
];
meta = {
description = "Lannotate plugin of Frama-C, part of the LTest suite";
homepage = "https://frama-c.com/fc-plugins/ltest.html";
license = lib.licenses.lgpl2;
maintainers = with lib.maintainers; [ redianthus ];
};
})
|
