From 4d26c825bacb085c010bf1ee5a4ac32cc136e50e Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Tue, 12 Apr 2022 14:19:50 +0200
Subject: [PATCH] [ci] Add missing getopt for E-ACSL
---
nix/plugins-tests.nix | 2 ++
1 file changed, 2 insertions(+)
diff --git a/nix/plugins-tests.nix b/nix/plugins-tests.nix
index 0e9af90d29c..a2e3d52d390 100644
--- a/nix/plugins-tests.nix
+++ b/nix/plugins-tests.nix
@@ -3,6 +3,7 @@
, frama-c
, alt-ergo
, perl
+, pkgs
, time
, which
}:
@@ -22,6 +23,7 @@ stdenv.mkDerivation rec {
alt-ergo # only for WP qualif
frama-c
perl
+ pkgs.getopt
time
which
];
--
GitLab