diff options
| author | Quentin Aristote <quentin@aristote.fr> | 2021-12-08 00:13:48 +0100 |
|---|---|---|
| committer | Quentin Aristote <quentin@aristote.fr> | 2021-12-08 00:13:48 +0100 |
| commit | 03aca014ef8f6ac32e301244fdcaaf1306d3584e (patch) | |
| tree | ec52e478ed863979aade33d824b296212f65cab9 /modules/why3.nix | |
| parent | fe373a85eada4ea3766776398edc045fef70abd1 (diff) | |
debug coq support
Diffstat (limited to 'modules/why3.nix')
| -rw-r--r-- | modules/why3.nix | 7 |
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. + ''; + }; }; } |