From 9b3a166490bb5f88a5cdea55c6676d330db72fc2 Mon Sep 17 00:00:00 2001 From: Preston Pan Date: Mon, 8 Sep 2025 16:51:44 -0700 Subject: [PATCH] commit before nix flake update --- config/nix.org | 6 ++++++ nix/modules/home/default.nix | 6 ++++++ 2 files changed, 12 insertions(+) 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; -- 2.50.1