1 files changed, 18 insertions, 0 deletions
diff --git a/modules/why3.nix b/modules/why3.nix
new file mode 100644
index 0000000..2e8a861
--- /dev/null
+++ b/modules/why3.nix
@@ -0,0 +1,18 @@
+{ lib, ... }:
+
+let
+  cfg = config.why3;
+  why3Flags = concatStringsSep " " ([ ("-C '${cfg.configFile}'") ]);
+in {
+  options.why3 = {
+    enable = lib.mkEnableOption "why3";
+    configFile = lib.mkOption {
+      type = lib.types.path;
+      default = ~/.why3.conf;
+      defaultText = literalExample "~/.why3.conf";
+      description = ''
+        The path to the why3 config file.
+      '';
+    };
+  };
+}