ocamlPackages.frama-c-lannotate: init at 0.2.4

2025-12-11 16:13:23 +01:00
parent 5b57a7da12
commit 99a8fbc878
2 changed files with 31 additions and 0 deletions
@@ -0,0 +1,29 @@
+{
+  lib,
+  buildDunePackage,
+  dune-site,
+  fetchzip,
+  frama-c,
+}:
+
+buildDunePackage (finalAttrs: {
+  pname = "frama-c-lannotate";
+  version = "0.2.4";
+
+  src = fetchzip {
+    url = "https://git.frama-c.com/pub/ltest/lannotate/-/archive/${finalAttrs.version}/lannotate-${finalAttrs.version}.tar.bz2";
+    hash = "sha256-JoD2M3R3/DcUMt33QOvwqHg4eToCgjB8riKc09TWdyc=";
+  };
+
+  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 ];
+  };
+})
@@ -653,6 +653,8 @@ let
          framac = pkgs.framac.override { ocamlPackages = self; };
        };

+        frama-c-lannotate = callPackage ../development/ocaml-modules/frama-c-lannotate { };
+
        frei0r = callPackage ../development/ocaml-modules/frei0r {
          inherit (pkgs) frei0r;
        };