From 9ef6865c47ba3a6b31cf5b7448ea6f641a33a76f Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Thu, 23 Feb 2023 19:56:47 +0100
Subject: [PATCH] [ci] add new dependencies in nix file
---
nix/frama-c.nix | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/nix/frama-c.nix b/nix/frama-c.nix
index e24625d7c51..aa1ac64409e 100644
--- a/nix/frama-c.nix
+++ b/nix/frama-c.nix
@@ -16,6 +16,7 @@
, dune_3
, dune-configurator
, dune-site
+, fpath
, gcc9
, graphviz
, lablgtk3
@@ -29,11 +30,13 @@
, ocamlgraph_gtk
, ocp-indent
, ppx_deriving
+, ppx_deriving_yaml
, ppx_deriving_yojson
, ppx_import
, yojson
, which
, why3
+, yaml
, zarith
, zmq
# Frama-C extra (other targets do not reconfigure)
@@ -71,6 +74,7 @@ stdenvNoCC.mkDerivation rec {
dune-configurator
dune-site
findlib
+ fpath
gcc9
graphviz
lablgtk3
@@ -84,11 +88,13 @@ stdenvNoCC.mkDerivation rec {
ocamlgraph_gtk
ocp-indent
ppx_deriving
+ ppx_deriving_yaml
ppx_deriving_yojson
ppx_import
yojson
which
why3
+ yaml
zarith
zmq
# For other CI targets
--
GitLab