diff --git a/nix/frama-c.nix b/nix/frama-c.nix index b66c80fe071bff6bb857128dbb3b8d29742c838c..c9fb61365d1b771b01e787a7db34ab9dee375770 100644 --- a/nix/frama-c.nix +++ b/nix/frama-c.nix @@ -44,6 +44,7 @@ , doxygen , python3 , python3Packages +, yq , release_mode ? false }: @@ -103,6 +104,7 @@ stdenvNoCC.mkDerivation rec { doxygen python3 python3Packages.pyaml + yq ]; outputs = [ "out" "build_dir" ]; diff --git a/nix/internal-tests.nix b/nix/internal-tests.nix index 840f871f0a092861dc6dcc6384b9c69feee977db..cef5cbba337a9b5f1d41c865eed47bb8ec894a61 100644 --- a/nix/internal-tests.nix +++ b/nix/internal-tests.nix @@ -48,6 +48,7 @@ , pkgs , python3 , python3Packages +, yq , swiProlog , time , wp-cache @@ -109,6 +110,7 @@ stdenvNoCC.mkDerivation rec { pkgs.getopt python3 python3Packages.pyaml + yq swiProlog time ];