Skip to content
Snippets Groups Projects
Commit 0c293b9b authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[nix] fix yq dependency in tests

parent 9b20724b
No related branches found
No related tags found
No related merge requests found
...@@ -46,7 +46,6 @@ ...@@ -46,7 +46,6 @@
, doxygen , doxygen
, python3 , python3
, python3Packages , python3Packages
, yq
, cover ? true , cover ? true
, release_mode ? false , release_mode ? false
}: }:
......
...@@ -26,6 +26,7 @@ ...@@ -26,6 +26,7 @@
, stdenvNoCC , stdenvNoCC
, time , time
, unixtools , unixtools
, yq
, which , which
, wp-cache , wp-cache
} : } :
...@@ -50,6 +51,7 @@ stdenvNoCC.mkDerivation { ...@@ -50,6 +51,7 @@ stdenvNoCC.mkDerivation {
perl perl
time time
unixtools.getopt unixtools.getopt
yq
which which
] ++ ] ++
(if has-wp-proofs then [ alt-ergo ] else []); (if has-wp-proofs then [ alt-ergo ] else []);
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment