From 57d72f023cf4d3c6845e2c3db685ae779e0246e3 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Thu, 22 Jun 2023 11:23:06 +0200
Subject: [PATCH] [nix] pyaml is a required dependency for tests
---
nix/frama-c.nix | 2 ++
nix/internal-tests.nix | 2 ++
2 files changed, 4 insertions(+)
diff --git a/nix/frama-c.nix b/nix/frama-c.nix
index aa1ac64409e..b66c80fe071 100644
--- a/nix/frama-c.nix
+++ b/nix/frama-c.nix
@@ -43,6 +43,7 @@
, dos2unix
, doxygen
, python3
+, python3Packages
, release_mode ? false
}:
@@ -101,6 +102,7 @@ stdenvNoCC.mkDerivation rec {
dos2unix
doxygen
python3
+ python3Packages.pyaml
];
outputs = [ "out" "build_dir" ];
diff --git a/nix/internal-tests.nix b/nix/internal-tests.nix
index 4bbf098618c..840f871f0a0 100644
--- a/nix/internal-tests.nix
+++ b/nix/internal-tests.nix
@@ -47,6 +47,7 @@
, perl
, pkgs
, python3
+, python3Packages
, swiProlog
, time
, wp-cache
@@ -107,6 +108,7 @@ stdenvNoCC.mkDerivation rec {
perl
pkgs.getopt
python3
+ python3Packages.pyaml
swiProlog
time
];
--
GitLab