diff options
| author | Quentin Aristote <quentin@aristote.fr> | 2022-04-08 10:21:52 +0200 |
|---|---|---|
| committer | Quentin Aristote <quentin@aristote.fr> | 2022-04-08 10:21:52 +0200 |
| commit | 720481c8d437f2ba53326fa20957212d9dbea56f (patch) | |
| tree | a05f63099d6a61caf37622626bc345745a75a0ce | |
| parent | 5f2379ea1ad2d9a5db86973b49c41ac17218dfc5 (diff) | |
disable coqIde by default and coq loading in why3
| -rw-r--r-- | home/config/dotfiles/venv-manager.nix | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/home/config/dotfiles/venv-manager.nix b/home/config/dotfiles/venv-manager.nix index 6ae1314..26cd9b6 100644 --- a/home/config/dotfiles/venv-manager.nix +++ b/home/config/dotfiles/venv-manager.nix @@ -1,4 +1,4 @@ -{ lib, pkgs, ... }: +{ config, lib, pkgs, ... }: { direnv.enable = lib.mkDefault true; @@ -23,11 +23,12 @@ ocaml.tuareg.enable = lib.mkDefault true; - coq.coq = pkgs.coq_8_15.override { buildIde = false; }; + coq.coq = pkgs.coq_8_15; + # pkgs.coq_8_15.override { buildIde = false; }; why3 = { defaultEditor = "emacsclient -c"; - extraConfig = '' + extraConfig = lib.optionalString config.coq.enable '' [prover] editor = "" name = "Coq" |