diff options
| author | Quentin Aristote <quentin@aristote.fr> | 2022-02-14 18:00:47 +0100 |
|---|---|---|
| committer | Quentin Aristote <quentin@aristote.fr> | 2022-02-14 18:00:47 +0100 |
| commit | 9bac961357e7793ca9b38448bf37b3a6c9e0a89e (patch) | |
| tree | 34343b23d5de08b328f3f2ff7e369d67334923a7 | |
| parent | 54beaa1e0a62b76af0e45891bdd81f0c5fd4a32e (diff) | |
correct passing of coq config
| -rw-r--r-- | modules/why3.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/modules/why3.nix b/modules/why3.nix index d5916b7..4665ceb 100644 --- a/modules/why3.nix +++ b/modules/why3.nix @@ -4,7 +4,7 @@ with lib; let cfg = config.why3; why3BuildInputs = [ cfg.package ] ++ cfg.provers - ++ (optional config.coq.enable config.coq.coqPackages.coq); + ++ (optional config.coq.enable config.coq.coq); why3Conf = pkgs.runCommand "why3.conf" { buildInputs = why3BuildInputs; } ('' why3 --config=$out config detect '' + (optionalString (cfg.defaultEditor != null) '' |