From 5e4d6248e9e707287c7c77c8029a8c9a145ac79e 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 b2a37e5f..310063e7 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