From 53157ecfd2003007807cfd5a80f53d204dab9923 Mon Sep 17 00:00:00 2001
From: Quentin Aristote <quentin@aristote.fr>
Date: Mon, 6 Dec 2021 12:12:20 +0100
Subject: add basic options

---
 modules/why3.nix | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 modules/why3.nix

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.
+      '';
+    };
+  };
+}
-- 
cgit v1.2.3