From 6f23f31c21f3e6624c466f3ae218e96878d625db Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Fri, 18 Feb 2022 13:16:27 +0100
Subject: [PATCH] [ci] Remove useless config in plugins tests
---
nix/plugins-tests.nix | 8 ++------
1 file changed, 2 insertions(+), 6 deletions(-)
diff --git a/nix/plugins-tests.nix b/nix/plugins-tests.nix
index 6527f6d6595..a56496b55b8 100644
--- a/nix/plugins-tests.nix
+++ b/nix/plugins-tests.nix
@@ -19,19 +19,15 @@ stdenv.mkDerivation rec {
sourceRoot = ".";
buildInputs = frama-c.buildInputs ++ [
- alt-ergo
+ alt-ergo # only for WP qualif
frama-c
perl
time
which
];
- postPatch = ''
- find . \( -name "Makefile*" -or -name ".depend" -o -name "ptests_config" -o -name "config.status" \) -exec bash -c "t=\$(stat -c %y \"\$0\"); sed -i -e \"s&$(cat $build_dir/old_pwd)&$(pwd)&g\" \"\$0\"; touch -d \"\$t\" \"\$0\"" {} \;
- patchShebangs .
- '';
-
# Keep main configuration
+ # Only for WP qualif -> replace with true after split
configurePhase = ''
mkdir home
HOME=$(pwd)/home
--
GitLab