From a0efa11ce7f2c41f237ea1aac0e3498e5ed0c2e6 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Wed, 11 Sep 2024 09:39:51 +0200
Subject: [PATCH] [nix] add dependencies for internal tests
---
nix/internal-tests.nix | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/nix/internal-tests.nix b/nix/internal-tests.nix
index 5ad5c381a4e..7735938df64 100644
--- a/nix/internal-tests.nix
+++ b/nix/internal-tests.nix
@@ -42,8 +42,10 @@
, zmq
# Frama-C tests
, alt-ergo
+, check-jsonschema
, dos2unix
, doxygen
+, jq
, perl
, pkgs
, python3
@@ -104,11 +106,14 @@ stdenvNoCC.mkDerivation rec {
zmq
# Tests
alt-ergo
+ check-jsonschema
dos2unix
doxygen
+ jq
perl
pkgs.getopt
python3
+ python3Packages.jsonschema
python3Packages.pyaml
yq
swiProlog
--
GitLab