From 522d56557b00246286d803425751a4334f3a94a5 Mon Sep 17 00:00:00 2001
From: Michael Smith <mikesmiffy128@gmail.com>
Date: Mon, 15 Jul 2024 20:05:47 +0100
Subject: Update lspconfig, add indent-blankline

indent-blankline is probably old because I've actually been using it for
ages, but I have a strict if-it-ain't-broke policy, so I'm not going to
update it.

lspconfig *was* broke though with nvim 0.10, so now it's fixed.
---
 .../lua/lspconfig/server_configurations/leanls.lua | 77 ----------------------
 1 file changed, 77 deletions(-)
 delete mode 100644 start/lspconfig-0.1.3/lua/lspconfig/server_configurations/leanls.lua

(limited to 'start/lspconfig-0.1.3/lua/lspconfig/server_configurations/leanls.lua')

diff --git a/start/lspconfig-0.1.3/lua/lspconfig/server_configurations/leanls.lua b/start/lspconfig-0.1.3/lua/lspconfig/server_configurations/leanls.lua
deleted file mode 100644
index 208598a..0000000
--- a/start/lspconfig-0.1.3/lua/lspconfig/server_configurations/leanls.lua
+++ /dev/null
@@ -1,77 +0,0 @@
-local util = require 'lspconfig.util'
-
-return {
-  default_config = {
-    cmd = { 'lake', 'serve', '--' },
-    filetypes = { 'lean' },
-    root_dir = function(fname)
-      -- check if inside elan stdlib
-      fname = util.path.sanitize(fname)
-      local stdlib_dir
-      do
-        local _, endpos = fname:find '/src/lean'
-        if endpos then
-          stdlib_dir = fname:sub(1, endpos)
-        end
-      end
-      if not stdlib_dir then
-        local _, endpos = fname:find '/lib/lean'
-        if endpos then
-          stdlib_dir = fname:sub(1, endpos)
-        end
-      end
-
-      return util.root_pattern('lakefile.lean', 'lean-toolchain', 'leanpkg.toml')(fname)
-        or stdlib_dir
-        or util.find_git_ancestor(fname)
-    end,
-    options = {
-      -- Only Lake 3.0+ supports lake serve, so for old enough Lean 4,
-      -- or core Lean itself, this command (typically using the in-built
-      -- Lean 4 language server) will be used instead.
-      no_lake_lsp_cmd = { 'lean', '--server' },
-    },
-    on_new_config = function(config, root_dir)
-      local use_lake_serve = false
-      if util.path.exists(util.path.join(root_dir, 'lakefile.lean')) then
-        local lake_version = ''
-        local lake_job = vim.fn.jobstart({ 'lake', '--version' }, {
-          on_stdout = function(_, d, _)
-            lake_version = table.concat(d, '\n')
-          end,
-          stdout_buffered = true,
-        })
-        if lake_job > 0 and vim.fn.jobwait({ lake_job })[1] == 0 then
-          local major = lake_version:match 'Lake version (%d).'
-          if major and tonumber(major) >= 3 then
-            use_lake_serve = true
-          end
-        end
-      end
-      if not use_lake_serve then
-        config.cmd = config.options.no_lake_lsp_cmd
-      end
-      -- add root dir as command-line argument for `ps aux`
-      table.insert(config.cmd, root_dir)
-    end,
-    single_file_support = true,
-  },
-  docs = {
-    description = [[
-https://github.com/leanprover/lean4
-
-Lean installation instructions can be found
-[here](https://leanprover-community.github.io/get_started.html#regular-install).
-
-The Lean 4 language server is built-in with a Lean 4 install
-(and can be manually run with, e.g., `lean --server`).
-
-Note: that if you're using [lean.nvim](https://github.com/Julian/lean.nvim),
-that plugin fully handles the setup of the Lean language server,
-and you shouldn't set up `leanls` both with it and `lspconfig`.
-    ]],
-    default_config = {
-      root_dir = [[root_pattern("lakefile.lean", "lean-toolchain", "leanpkg.toml", ".git")]],
-    },
-  },
-}
-- 
cgit v1.2.3