From 0c293b9bc33420a3aff4f1db69083bc3ebae965f Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Thu, 20 Jul 2023 10:04:40 +0200
Subject: [PATCH] [nix] fix yq dependency in tests
---
nix/frama-c.nix | 1 -
nix/mk_tests.nix | 2 ++
2 files changed, 2 insertions(+), 1 deletion(-)
diff --git a/nix/frama-c.nix b/nix/frama-c.nix
index 5dcbb81b27d..2aab3256ac2 100644
--- a/nix/frama-c.nix
+++ b/nix/frama-c.nix
@@ -46,7 +46,6 @@
, doxygen
, python3
, python3Packages
-, yq
, cover ? true
, release_mode ? false
}:
diff --git a/nix/mk_tests.nix b/nix/mk_tests.nix
index 36623cfc433..b490ba67058 100644
--- a/nix/mk_tests.nix
+++ b/nix/mk_tests.nix
@@ -26,6 +26,7 @@
, stdenvNoCC
, time
, unixtools
+, yq
, which
, wp-cache
} :
@@ -50,6 +51,7 @@ stdenvNoCC.mkDerivation {
perl
time
unixtools.getopt
+ yq
which
] ++
(if has-wp-proofs then [ alt-ergo ] else []);
--
GitLab