From 754c628011950325ba4ae443a6af6af27b9ca199 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Fri, 2 Oct 2020 17:33:25 +0200
Subject: [PATCH] [nix] use why3 config --detect
---
nix/default.nix | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/nix/default.nix b/nix/default.nix
index c4d01bd4f79..0fbbdc89ca0 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -174,7 +174,7 @@ rec {
make create_share_link
mkdir home
HOME=$(pwd)/home
- why3 config --full-config
+ why3 config --detect
make src/plugins/wp/tests/test_config_qualif
export FRAMAC_WP_CACHE=replay
export FRAMAC_WP_CACHEDIR=${plugins.wp-cache.src}
--
GitLab