From 1eaa62b863513787d218fc3c13b4a81a891c10d5 Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Thu, 6 Aug 2020 13:58:13 +0200
Subject: [PATCH] [Nix] Temporary HOME.
---
nix/default.nix | 1 +
1 file changed, 1 insertion(+)
diff --git a/nix/default.nix b/nix/default.nix
index 891f96a3..e96878f9 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -19,6 +19,7 @@ plugins.helpers.simple_plugin
configure_options = "-with-clang-includedir=${unstablePckgs.llvmPackages_9.clang-unwrapped}";
preFramaCTests = ''
echo Configuring Why3 for frama-clang.
+ export HOME=$(mktemp -d)
why3 config --full-config
'';
}
--
GitLab