home/config/dotfiles/venv-manager.nix


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

{ lib, ... }:

{
  direnv.enable = lib.mkDefault true;
  pinDerivations.enable = lib.mkDefault true;

  latex.latexmk = {
    enable = lib.mkDefault true;
    output.pdf.enable = lib.mkDefault true;
    rc = lib.optional (lib.pathExists ~/.config/latexmkrc) ~/.config/latexmkrc;
  };

  nix.enable = lib.mkDefault true;

  ocaml.tuareg.enable = lib.mkDefault true;

  why3 = {
    defaultEditor = "emacsclient -c";
    extraConfig = ''
      [prover]
      editor = ""
      name = "Coq"
      version = "8.13.2"
    '';
  };
}