From fe28f2bdfd6a347176ac3bed9a6c79fa44fb2a8d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Correnson?= <loic.correnson@cea.fr>
Date: Mon, 5 Oct 2020 15:50:55 +0200
Subject: [PATCH] Update default.nix with why3 config
---
nix/default.nix | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/nix/default.nix b/nix/default.nix
index 8f882bd2..f7491f92 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -19,6 +19,6 @@ plugins.helpers.simple_plugin
preFramaCTests = ''
echo CONFIGURING Why3 for Frama_Clang.
export HOME=$(mktemp -d)
- why3 config --full-config
+ why3 config --detect
'';
}
--
GitLab