ocamlPackages.frama-c: init at 31.0

pkgs/development/ocaml-modules/frama-c/default.nix

@@ -0,0 +1,43 @@
+{
+  stdenv,
+  pkgs,
+  ocaml,
+  findlib,
+  framac,
+  camlzip,
+  ocamlgraph,
+  menhirLib,
+  ppx_deriving,
+  yaml,
+  yojson,
+  zarith,
+}:
+
+stdenv.mkDerivation {
+  pname = "ocaml${ocaml.version}-frama-c";
+  inherit (framac) version meta;
+
+  dontUnpack = true;
+
+  buildInputs = [ findlib ];
+
+  propagatedBuildInputs = [
+    camlzip
+    menhirLib
+    ocamlgraph
+    ppx_deriving
+    yaml
+    yojson
+    zarith
+  ];
+
+  installPhase = ''
+    runHook preInstall
+    mkdir -p $OCAMLFIND_DESTDIR
+    for p in ${framac}/lib/*
+    do
+      ln -s $p $OCAMLFIND_DESTDIR/
+    done
+    runHook postInstall
+  '';
+}

pkgs/top-level/ocaml-packages.nix

@@ -649,6 +649,10 @@ let
 
         fpath = callPackage ../development/ocaml-modules/fpath { };
 
+        frama-c = callPackage ../development/ocaml-modules/frama-c {
+          framac = pkgs.framac.override { ocamlPackages = self; };
+        };
+
         frei0r = callPackage ../development/ocaml-modules/frei0r {
           inherit (pkgs) frei0r;
         };