From 1bef44e5f7dc1a905564edabee5653c1e6b6f3ea Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Tue, 2 Jun 2020 17:23:27 +0200
Subject: [PATCH] [nix] make wp-qualif actually using the cache (gloups)
---
nix/default.nix | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/nix/default.nix b/nix/default.nix
index c9fc3d597ad..5b892f99684 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -170,9 +170,9 @@ rec {
mkdir home
HOME=$(pwd)/home
why3 config --full-config
- FRAMAC_WP_CACHE=replay
- FRAMAC_WP_CACHEDIR=${plugins.wp-cache.src};
make src/plugins/wp/tests/test_config_qualif
+ export FRAMAC_WP_CACHE=replay
+ export FRAMAC_WP_CACHEDIR=${plugins.wp-cache.src}
bin/ptests.opt -error-code -config qualif src/plugins/wp/tests
'';
installPhase = ''
--
GitLab