From: Preston Pan <ret2pop@gmail.com>
Date: Mon, 8 Sep 2025 23:51:44 +0000 (-0700)
Subject: commit before nix flake update
X-Git-Url: https://ret2pop.net/gitweb/monorepo.git?a=commitdiff_plain;h=9b3a166490bb5f88a5cdea55c6676d330db72fc2;p=monorepo.git

commit before nix flake update
---

diff --git a/config/nix.org b/config/nix.org
index 828363b..5ad33fb 100644
--- 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 596e236..69e26a7 100644
--- 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;