From 70c18b3bde531110e945ccb8e241c852a02cba74 Mon Sep 17 00:00:00 2001
From: Quentin Aristote <quentin@aristote.fr>
Date: Tue, 7 Dec 2021 11:55:41 +0100
Subject: why3 : pass the generated config file with --config instead of
 --extra-config

with ~--extra-config~ ~why3 --list-provers~ outputs no known provers
---
 modules/why3.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/modules/why3.nix b/modules/why3.nix
index cd986d1..eac5f35 100644
--- a/modules/why3.nix
+++ b/modules/why3.nix
@@ -8,7 +8,7 @@ let
     why3 -C $out config detect
     echo "${cfg.extraConfig}" >> $out
   '';
-  why3Flags = concatStringsSep " " [ "--extra-config ${why3Conf}" ];
+  why3Flags = concatStringsSep " " [ "--config=${why3Conf}" ];
 in {
   options.why3 = {
     enable = mkEnableOption "why3";
-- 
cgit v1.2.3