From f73a89c40d8474b5e36ec90866a88b94579f289b Mon Sep 17 00:00:00 2001 From: Shelvacu Date: Sat, 12 Apr 2025 16:39:47 -0700 Subject: [PATCH] stuff --- flake.nix | 2 ++ nixvim/default.nix | 13 +++++++++++++ overlays/default.nix | 1 + overlays/lean4Latest.nix | 8 ++++++++ 4 files changed, 24 insertions(+) create mode 100644 overlays/lean4Latest.nix diff --git a/flake.nix b/flake.nix index b024d57..61a9052 100644 --- a/flake.nix +++ b/flake.nix @@ -471,9 +471,11 @@ }; haproxy-lua-http = pkgs.callPackage ./packages/haproxy-lua-http.nix { }; liam-sieve-script = self.nixosConfigurations.liam.config.vacu.liam-sieve-script; + lean4 = pkgs-unstable.lean4; nixvim = inputs.nixvim.legacyPackages.${system}.makeNixvimWithModule { module = { imports = [ ./nixvim ]; + _module.args = { inherit pkgs-unstable; }; }; }; nix-inspect = inputs.nix-inspect.packages.${system}.default; diff --git a/nixvim/default.nix b/nixvim/default.nix index 0cefddb..be360b3 100644 --- a/nixvim/default.nix +++ b/nixvim/default.nix @@ -1,8 +1,20 @@ { config, lib, + pkgs-unstable, ... }: +let + lean4_custom = pkgs-unstable.lean4.overrideAttrs { + version = "4.18.0"; + src = pkgs-unstable.fetchFromGitHub { + owner = "leanprover"; + repo = "lean4"; + tag = "v4.18.0"; + hash = "sha256-1hVcRO9RbVUgoKTUTFXBqJZwt50/aw/P9dxUdI7RpCc="; + }; + }; +in { opts = { smartindent = true; @@ -14,6 +26,7 @@ plugins.vim-surround.enable = true; plugins.lean = { enable = true; + leanPackage = lean4_custom; mappings = true; }; plugins.lsp = { diff --git a/overlays/default.nix b/overlays/default.nix index adf0772..1cb812d 100644 --- a/overlays/default.nix +++ b/overlays/default.nix @@ -3,4 +3,5 @@ map import [ ./newPackages.nix ./fetchurl-with-wetransfer ./betterbird + ./lean4Latest.nix ] diff --git a/overlays/lean4Latest.nix b/overlays/lean4Latest.nix new file mode 100644 index 0000000..309ae43 --- /dev/null +++ b/overlays/lean4Latest.nix @@ -0,0 +1,8 @@ +self: super: { + lean4 = super.lean4.overrideAttrs { src = self.fetchFromGitHub { + owner = "leanprover"; + repo = "lean4"; + tag = "v4.18.0"; + hash = "sha256-1hVcRO9RbVUgoKTUTFXBqJZwt50/aw/P9dxUdI7RpCc="; + }; }; +}