archives/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-03-08 04:04:06 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

ocamlPackages.frama-c-luncov: init at 0.2.4 (#471623)

Browse source
This commit is contained in:
Vincent Laporte 2026-01-05 16:50:56 +00:00 • committed by GitHub
commit 2efec63426
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 40 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

38
pkgs/development/ocaml-modules/frama-c-luncov/default.nix Normal file
View file

@ -0,0 +1,38 @@
{
lib,
buildDunePackage,
dune-site,
fetchzip,
frama-c,
menhir,
unionFind,
why3,
}:
buildDunePackage (finalAttrs: {
pname = "frama-c-luncov";
version = "0.2.4";
src = fetchzip {
url = "https://git.frama-c.com/pub/ltest/luncov/-/archive/${finalAttrs.version}/luncov-${finalAttrs.version}.tar.bz2";
hash = "sha256-E7zzm9qs34V+sRHElpe1JKHjeyXGALXVj1DNMVzlWn0=";
};
nativeBuildInputs = [
menhir
];
propagatedBuildInputs = [
dune-site
frama-c
unionFind
why3
];
meta = {
description = "Luncov 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 ];
};
})

2
pkgs/top-level/ocaml-packages.nix
View file

@ -660,6 +660,8 @@ let
frama-c-lannotate = callPackage ../development/ocaml-modules/frama-c-lannotate { };
frama-c-luncov = callPackage ../development/ocaml-modules/frama-c-luncov { };
frei0r = callPackage ../development/ocaml-modules/frei0r {
inherit (pkgs) frei0r;
};