Unverified Commit 0aa5b504 authored by Vincent Laporte's avatar Vincent Laporte
Browse files

ocamlPackages.frama-c: small fixes

parent f4606b01

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

+2 −0
Original line number Diff line number Diff line
@@ -5,6 +5,7 @@ 
  findlib,

  framac,

  camlzip,

  dune-site,

  ocamlgraph,

  menhirLib,

  ppx_deriving,
@@ -23,6 +24,7 @@ stdenv.mkDerivation { 


  propagatedBuildInputs = [

    camlzip

    dune-site

    menhirLib

    ocamlgraph

    ppx_deriving

pkgs/top-level/ocaml-packages.nix

+7 −2
Original line number Diff line number Diff line
@@ -666,12 +666,17 @@ let 
        fpath = callPackage ../development/ocaml-modules/fpath { };



        frama-c = callPackage ../development/ocaml-modules/frama-c {

          framac = pkgs.framac.override { ocamlPackages = self; };

          framac = pkgs.framac.override {

            ocamlPackages = self;

            why3 = pkgs.why3.override { ocamlPackages = self; };

          };

        };



        frama-c-lannotate = callPackage ../development/ocaml-modules/frama-c-lannotate { };



        frama-c-luncov = callPackage ../development/ocaml-modules/frama-c-luncov { };

        frama-c-luncov = callPackage ../development/ocaml-modules/frama-c-luncov {

          why3 = pkgs.why3.override { ocamlPackages = self; };

        };



        frei0r = callPackage ../development/ocaml-modules/frei0r {

          inherit (pkgs) frei0r;