From 72f3b77d6f71638864eb2cfeedc8b9b41e741c60 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Mon, 20 Feb 2023 14:47:22 +0100
Subject: [PATCH] [CI] adds yojson & ppx_deriving_yojson for frama-c-lint
---
nix/frama-c-lint.nix | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/nix/frama-c-lint.nix b/nix/frama-c-lint.nix
index d33b2587007..dfb9e89512a 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 = ''
--
GitLab