From d7a55f5911bd638accc719080d73bb32d2f72ec6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Mon, 18 May 2020 15:56:08 +0200
Subject: [PATCH] [wp/nix] use global cache in CI wp-qualif
---
nix/default.nix | 3 +++
1 file changed, 3 insertions(+)
diff --git a/nix/default.nix b/nix/default.nix
index 588b4df87e0..c9fc3d597ad 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -170,6 +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
bin/ptests.opt -error-code -config qualif src/plugins/wp/tests
'';
installPhase = ''
--
GitLab