diff --git a/nix/frama-c-lint.nix b/nix/frama-c-lint.nix index d33b25870079d5d24d2ba1a685ac8b1b3a203d82..dfb9e89512a7e6ac4d8908c4709f27593cf355da 100644 --- a/nix/frama-c-lint.nix +++ b/nix/frama-c-lint.nix @@ -6,6 +6,8 @@ , gitignoreSource , ocaml , ocp-indent +, ppx_deriving_yojson +, yojson } : stdenv.mkDerivation rec { @@ -24,6 +26,8 @@ stdenv.mkDerivation rec { findlib ocaml ocp-indent + ppx_deriving_yojson + yojson ]; configurePhase = ''