From 03aca014ef8f6ac32e301244fdcaaf1306d3584e Mon Sep 17 00:00:00 2001
From: Quentin Aristote <quentin@aristote.fr>
Date: Wed, 8 Dec 2021 00:13:48 +0100
Subject: debug coq support

---
 modules/why3.nix | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/modules/why3.nix b/modules/why3.nix
index eac5f35..ba3169e 100644
--- a/modules/why3.nix
+++ b/modules/why3.nix
@@ -40,6 +40,13 @@ in {
 
   config = mkIf cfg.enable {
     buildInputs = why3BuildInputs;
+    # buildInputs = [(cfg.package.withProvers cfg.provers)];
     aliases = { why3 = "${cfg.package}/bin/why3 ${why3Flags} \\$@"; };
+    coq = {
+      enable = true;
+      rc = ''
+        Add Rec LoadPath "${cfg.package}/lib/why3/coq/" as Why3.
+      '';
+    };
   };
 }
-- 
cgit v1.2.3