diff options
| author | Preston Pan <ret2pop@gmail.com> | 2025-01-16 18:24:01 -0800 |
|---|---|---|
| committer | Preston Pan <ret2pop@gmail.com> | 2025-01-16 18:24:01 -0800 |
| commit | 2a4a4e2c42257bb25789ec3be6bc5a88f0eab7b5 (patch) | |
| tree | b3cf871d924e1ba6e8a790dd6dc8910e03083865 /nix/modules/home/default.nix | |
| parent | 6f86d8f277229c41a5d5f45e6a8e9dd36d4e16a8 (diff) | |
Diffstat (limited to 'nix/modules/home/default.nix')
| -rw-r--r-- | nix/modules/home/default.nix | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/nix/modules/home/default.nix b/nix/modules/home/default.nix index b2d3ef5..a38ee24 100644 --- a/nix/modules/home/default.nix +++ b/nix/modules/home/default.nix @@ -34,6 +34,7 @@ lang-openscad.enable = lib.mkEnableOption "Enables openscad language support"; lang-js.enable = lib.mkEnableOption "Enables javascript language support"; lang-nix.enable = lib.mkEnableOption "Enables nix language support"; + lang-coq.enable = lib.mkEnableOption "Enables coq language support"; crypto.enable = lib.mkEnableOption "Enables various cryptocurrency wallets"; art.enable = lib.mkEnableOption "Enables various art programs"; @@ -123,6 +124,10 @@ bash-language-server ]) else []) ++ + (if config.monorepo.profiles.lang-coq.enable then (with pkgs; [ + coq + ]) else []) + ++ (if config.monorepo.profiles.lang-nix.enable then (with pkgs; [ nil nixd @@ -161,6 +166,7 @@ lang-openscad.enable = lib.mkDefault true; lang-js.enable = lib.mkDefault true; lang-nix.enable = lib.mkDefault true; + lang-coq.enable = lib.mkDefault true; crypto.enable = lib.mkDefault true; art.enable = lib.mkDefault true; |