From aab723b05b67e9ffe7ca5797aed47bcc387adfad Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Tue, 13 Oct 2020 11:02:26 +0200
Subject: [PATCH] [Nix] Setup WP+Why3 related variables in internal
---
nix/default.nix | 8 ++++++++
1 file changed, 8 insertions(+)
diff --git a/nix/default.nix b/nix/default.nix
index e18c139da36..68154331a2e 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -295,6 +295,14 @@ rec {
autoPatchelf src/plugins/pathcrawler
make -j 4
ln -sr src/plugins/pathcrawler/share share/pc
+ # Setup Why3
+ mkdir home
+ HOME=$(pwd)/home
+ why3 config --detect
+ # Setup WP related
+ export CAVEAT_IMPORTER_NIX_MODE=yes
+ export FRAMAC_WP_CACHE=replay
+ export FRAMAC_WP_CACHEDIR=${plugins.wp-cache.src}
make tests -j4 PTESTS_OPTS="-error-code -j 4"
'';
installPhase = ''
--
GitLab