refactor: move packages to mason-registry (#27)

1 files changed, 24 insertions, 0 deletions

diff --git a/lua/mason-registry/metamath-zero-lsp/init.lua b/lua/mason-registry/metamath-zero-lsp/init.lua
new file mode 100644
index 00000000..97272fbb
--- /dev/null
+++ b/lua/mason-registry/metamath-zero-lsp/init.lua
@@ -0,0 +1,24 @@
+local Pkg = require "mason.core.package"
+local git = require "mason.core.managers.git"
+local platform = require "mason.core.platform"
+local path = require "mason.core.path"
+
+return Pkg.new {
+    name = "metamath-zero-lsp",
+    desc = [[An MM0/MM1 server written in Rust.]],
+    homepage = "https://github.com/digama0/mm0",
+    languages = { Pkg.Lang["Metamath Zero"] },
+    categories = { Pkg.Cat.LSP },
+    ---@async
+    ---@param ctx InstallContext
+    install = function(ctx)
+        git.clone({ "https://github.com/digama0/mm0" }).with_receipt()
+        ctx:chdir("mm0-rs", function()
+            ctx.spawn.cargo { "build", "--release" }
+        end)
+        ctx:link_bin(
+            "mm0-rs",
+            path.concat { "mm0-rs", "target", "release", platform.is.win and "mm0-rs.exe" or "mm0-rs" }
+        )
+    end,
+}