Skip to content
Snippets Groups Projects
Commit 72f3b77d authored by Patrick Baudin's avatar Patrick Baudin
Browse files

[CI] adds yojson & ppx_deriving_yojson for frama-c-lint

parent 8fc5b6f3
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 4 additions and 0 deletions
nix/frama-c-lint.nix
+ 4
− 0
View file @ 72f3b77d
...@@ -6,6 +6,8 @@ ...@@ -6,6 +6,8 @@
, gitignoreSource , gitignoreSource
, ocaml , ocaml
, ocp-indent , ocp-indent
, ppx_deriving_yojson
, yojson
} : } :
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
...@@ -24,6 +26,8 @@ stdenv.mkDerivation rec { ...@@ -24,6 +26,8 @@ stdenv.mkDerivation rec {
findlib findlib
ocaml ocaml
ocp-indent ocp-indent
ppx_deriving_yojson
yojson
]; ];
configurePhase = '' configurePhase = ''
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment