From 439e0b7f727da8816ba7be983b2e13e21f816d6c Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Fri, 6 May 2022 17:50:59 +0200
Subject: [PATCH] [ci] fix getopt
---
nix/mk_tests.nix | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/nix/mk_tests.nix b/nix/mk_tests.nix
index 413a24321b4..302f6140ce1 100644
--- a/nix/mk_tests.nix
+++ b/nix/mk_tests.nix
@@ -2,9 +2,9 @@
, alt-ergo
, frama-c
, perl
-, pkgs
, stdenvNoCC
, time
+, unixtools
, which
} :
@@ -24,8 +24,8 @@ stdenvNoCC.mkDerivation {
buildInputs = frama-c.buildInputs ++ [
frama-c
perl
- pkgs.getopt
time
+ unixtools.getopt
which
] ++
(if has-wp-proofs then [ alt-ergo ] else []);
--
GitLab