fix(rocks): build.type instead of build.build_type

This commit is contained in:
Folke Lemaitre 2024-06-26 08:50:06 +02:00
parent 473361139c
commit aa1c9572aa
No known key found for this signature in database
GPG Key ID: 41F8B1FBACAE2040
1 changed files with 4 additions and 4 deletions

View File

@ -10,7 +10,7 @@ local Util = require("lazy.util")
---@field package string ---@field package string
---@field version string ---@field version string
---@field dependencies string[] ---@field dependencies string[]
---@field build? {build_type?: string, modules?: any[]} ---@field build? {type?: string, modules?: any[]}
---@field source? {url?: string} ---@field source? {url?: string}
---@class RockManifest ---@class RockManifest
@ -273,9 +273,9 @@ function M.get(plugin)
-- has a complex build process -- has a complex build process
or ( or (
rockspec.build rockspec.build
and rockspec.build.build_type and rockspec.build.type
and rockspec.build.build_type ~= "none" and rockspec.build.type ~= "none"
and not (rockspec.build.build_type == "builtin" and not rockspec.build.modules) and not (rockspec.build.type == "builtin" and not rockspec.build.modules)
) )
if not use then if not use then