debug coq support

1 files changed, 7 insertions, 0 deletions

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