diff options
| author | Quentin Aristote <quentin@aristote.fr> | 2021-12-06 22:35:26 +0100 |
|---|---|---|
| committer | Quentin Aristote <quentin@aristote.fr> | 2021-12-06 22:35:26 +0100 |
| commit | 240088dc482473236415e208a4be446e22dbc24c (patch) | |
| tree | 023edf308c399fa7eeda544b5102f5307132aad4 /modules/why3.nix | |
| parent | fd4f404a612b92c0b1634b2b9d3a4bbb208eecc6 (diff) | |
apply nix-format
Diffstat (limited to 'modules/why3.nix')
| -rw-r--r-- | modules/why3.nix | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/modules/why3.nix b/modules/why3.nix index b7adf6e..cd986d1 100644 --- a/modules/why3.nix +++ b/modules/why3.nix @@ -4,11 +4,10 @@ with lib; let cfg = config.why3; why3BuildInputs = [ cfg.package ] ++ cfg.provers; - why3Conf = pkgs.runCommand "why3.conf" { buildInputs = why3BuildInputs; } - '' + why3Conf = pkgs.runCommand "why3.conf" { buildInputs = why3BuildInputs; } '' why3 -C $out config detect echo "${cfg.extraConfig}" >> $out - ''; + ''; why3Flags = concatStringsSep " " [ "--extra-config ${why3Conf}" ]; in { options.why3 = { |