commit before nix flake update

diff --git a/config/nix.org b/config/nix.org
index 828363b24ba502cbc907c2e4edf27c161032846b..5ad33fbe0cbdc5ad9c4eba2885a5deedf1a879fe 100644 (file)
--- a/config/nix.org
+++ b/config/nix.org
@@ -1401,6 +1401,7 @@ I have many imports that we'll go through next.
            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";
+        lang-lean.enable = lib.mkEnableOption "Enables lean language support";
            lang-haskell.enable = lib.mkEnableOption "Enables haskell language support";
 
            crypto.enable = lib.mkEnableOption "Enables various cryptocurrency wallets";
@@ -1493,6 +1494,10 @@ I have many imports that we'll go through next.
                                                  (if config.monorepo.profiles.lang-coq.enable then (with pkgs; [
                                                          coq
                                                  ]) else [])
+                      ++
+                      (if config.monorepo.profiles.lang-lean.enable then (with pkgs; [
+                        lean4
+                      ]) else [])
                                                  ++
                                                  (if config.monorepo.profiles.lang-nix.enable then (with pkgs; [
                                                          nil
@@ -1555,6 +1560,7 @@ I have many imports that we'll go through next.
            lang-js.enable = lib.mkDefault config.monorepo.profiles.enable;
            lang-nix.enable = lib.mkDefault config.monorepo.profiles.enable;
            lang-coq.enable = lib.mkDefault config.monorepo.profiles.enable;
+           lang-lean.enable = lib.mkDefault config.monorepo.profiles.enable;
            lang-haskell.enable = lib.mkDefault config.monorepo.profiles.enable;
 
            crypto.enable = lib.mkDefault config.monorepo.profiles.enable;

diff --git a/nix/modules/home/default.nix b/nix/modules/home/default.nix
index 596e236a587bbd3d6a0fe71d2accfc114847c009..69e26a75f16a40a296b91f9ece5607b09a10a83d 100644 (file)
--- a/nix/modules/home/default.nix
+++ b/nix/modules/home/default.nix
@@ -37,6 +37,7 @@
            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";
+      lang-lean.enable = lib.mkEnableOption "Enables lean language support";
            lang-haskell.enable = lib.mkEnableOption "Enables haskell language support";
 
            crypto.enable = lib.mkEnableOption "Enables various cryptocurrency wallets";
@@ -129,6 +130,10 @@
                                                  (if config.monorepo.profiles.lang-coq.enable then (with pkgs; [
                                                          coq
                                                  ]) else [])
+                    ++
+                    (if config.monorepo.profiles.lang-lean.enable then (with pkgs; [
+                      lean4
+                    ]) else [])
                                                  ++
                                                  (if config.monorepo.profiles.lang-nix.enable then (with pkgs; [
                                                          nil
@@ -191,6 +196,7 @@
            lang-js.enable = lib.mkDefault config.monorepo.profiles.enable;
            lang-nix.enable = lib.mkDefault config.monorepo.profiles.enable;
            lang-coq.enable = lib.mkDefault config.monorepo.profiles.enable;
+           lang-lean.enable = lib.mkDefault config.monorepo.profiles.enable;
            lang-haskell.enable = lib.mkDefault config.monorepo.profiles.enable;
 
            crypto.enable = lib.mkDefault config.monorepo.profiles.enable;