tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 lib,
3 buildDunePackage,
4 dune-site,
5 fetchzip,
6 frama-c,
7 menhir,
8 unionFind,
9 why3,
10}:
11
12buildDunePackage (finalAttrs: {
13 pname = "frama-c-luncov";
14 version = "0.2.4";
15
16 src = fetchzip {
17 url = "https://git.frama-c.com/pub/ltest/luncov/-/archive/${finalAttrs.version}/luncov-${finalAttrs.version}.tar.bz2";
18 hash = "sha256-E7zzm9qs34V+sRHElpe1JKHjeyXGALXVj1DNMVzlWn0=";
19 };
20
21 nativeBuildInputs = [
22 menhir
23 ];
24
25 propagatedBuildInputs = [
26 dune-site
27 frama-c
28 unionFind
29 why3
30 ];
31
32 meta = {
33 description = "Luncov plugin of Frama-C, part of the LTest suite";
34 homepage = "https://frama-c.com/fc-plugins/ltest.html";
35 license = lib.licenses.lgpl2;
36 maintainers = with lib.maintainers; [ redianthus ];
37 };
38})