autokernel 2.0.2

Autokernel is a tool for managing your kernel configuration that guarantees semantic correctness. It checks symbol assignments for validity by creating a native bridge to the kernel's Kconfig interface and ensures that your configuration does not silently break during kernel updates.
Documentation
--###############################################################
-- Utility

Ver = { }
Ver.__index = Ver

function Ver:new(ver)
	local o = {}
	setmetatable(o, self)
	o.str = ver
	o.major = 0
	o.minor = 0
	o.patch = 0
	o.add = nil

	local minus = string.find(ver, "%-")
	if minus then
		o.add = string.sub(ver, minus + 1)
		ver = string.sub(ver, 1, minus - 1)
	end

	local dot = string.find(ver, "%.")
	if dot then
		o.major = tonumber(string.sub(ver, 1, dot - 1))
		ver = string.sub(ver, dot + 1)
	end

	dot = string.find(ver, "%.")
	if dot then
		o.minor = tonumber(string.sub(ver, 1, dot - 1))
		ver = string.sub(ver, dot + 1)
	end

	if (ver or "") ~= "" then
		o.patch = tonumber(ver)
	end
	return o
end

function Ver:__tostring()
	return self.str
end

function Ver.__eq(a, b)
	return a.major == b.major and a.minor == b.minor and a.patch == b.patch
end
function Ver.__lt(a, b)
	if a.major == b.major then
		if a.minor == b.minor then
			if a.patch == b.patch then
				return false
			else
				return a.patch < b.patch
			end
		else
			return a.minor < b.minor
		end
	else
		return a.major < b.major
	end
end
function Ver.__le(a, b)
	if a.major == b.major then
		if a.minor == b.minor then
			if a.patch == b.patch then
				return true
			else
				return a.patch < b.patch
			end
		else
			return a.minor < b.minor
		end
	else
		return a.major < b.major
	end
end

function ver(str)
	return Ver:new(str)
end

kernel_dir = ak.kernel_dir
kernel_version = ver(ak.kernel_version_str)
function load_kconfig(path)
	ak.load_kconfig(path, true)
end
function load_kconfig_unchecked(path)
	ak.load_kconfig(path, false)
end

--###############################################################
-- Tristate

Tristate = { }
Tristate.__index = Tristate

function Tristate:new(name, value)
	local o = {}
	setmetatable(o, self)
	o.name = name
	o.value = value
	return o
end

function Tristate:__tostring()
	return "Tristate(" .. self.name .. ")"
end

function Tristate.__eq(a, b) return a.value == b.value end
function Tristate.__lt(a, b) return a.value < b.value end
function Tristate.__le(a, b) return a.value <= b.value end

n = Tristate:new("n", 0)
m = Tristate:new("m", 1)
y = Tristate:new("y", 2)

function tristate_from_str(str)
	if str == "y" then
		return y
	elseif str == "m" then
		return m
	elseif str == "n" then
		return n
	end
end

--###############################################################
-- Symbol

Symbol = { }
Symbol.__index = Symbol

function Symbol:new(o, name)
	o = o or {}
	setmetatable(o, self)
	o.name = name
	return o
end

function Symbol:__name() return self.name end
function Symbol:__tostring()
	return "Symbol{name=" .. self.name .. ", value=" .. self:value() .. "}"
end

function Symbol:type() return ak.symbol_get_type(self.name) end
function Symbol:str_value() return ak.symbol_get_string(self.name) end

function Symbol:is(value)
	local stype = self:type()
	if getmetatable(value) == Symbol then
		local vstype = value:type()
		if stype == vstype then
			return value:value() == self:value()
		else
			error ("Cannot compare symbol of type " .. stype .. " to symbol of type " .. vstype)
		end
	elseif getmetatable(value) == Tristate and (stype == "Boolean" or stype == "Tristate") then
		return value == self:value()
	elseif type(value) == "number" and (stype == "Int" or stype == "Hex") then
		return value == self:value()
	elseif type(value) == "string" and stype == "String" then
		return value == self:value()
	elseif type(value) == "string" and (stype == "Boolean" or stype == "Tristate") then
		return tristate_from_str(value) == self:value()
	elseif type(value) == "string" and (stype == "Int" or stype == "Hex") then
		return tonumber(value) == self:value()
	else
		error ("Cannot compare symbol of type " .. stype .. " to value of type " .. type(value))
	end
end

function Symbol:v() return self:value() end
function Symbol:value()
	local stype = self:type()
	local str_value = self:str_value()

	if stype == "Boolean" or stype == "Tristate" then
		return tristate_from_str(str_value)
	elseif stype == "Int" or stype == "Hex" then
		return tonumber(str_value)
	elseif stype == "String" then
		return str_value
	else
		error ("Unsupported value type '" .. stype .. "'")
	end
end

function Symbol:__call(value) self:set(value, debug.getinfo(2)) end
function Symbol:set(value, dbginfo)
	dbginfo = dbginfo or debug.getinfo(2)
	if getmetatable(value) == Tristate then
		ak.symbol_set_tristate(self.name, value.name, dbginfo.source, dbginfo.currentline, debug.traceback())
	elseif type(value) == "string" then
		ak.symbol_set_auto(self.name, value, dbginfo.source, dbginfo.currentline, debug.traceback())
	elseif type(value) == "number" then
		ak.symbol_set_number(self.name, value, dbginfo.source, dbginfo.currentline, debug.traceback())
	else
		error ("Unsupported value type '" .. type(value) .. "'")
	end
end

function Symbol:satisfy(tbl, dbginfo)
	dbginfo = dbginfo or debug.getinfo(2)

	local value = tbl[1]
	local recursive = tbl["recursive"]
	if value == nil or recursive == nil then
		error "satisfy requires a table with a symbol value and the recursive argument, like `Symbol:satisfy { y, recursive = true }`"
	end

	if type(value) == "string" then
		if value == "m" then
			value = m
		elseif value == "y" then
			value = y
		end
	end

	if getmetatable(value) == Tristate then
		ak.symbol_satisfy_and_set(self.name, value.name, recursive, dbginfo.source, dbginfo.currentline, debug.traceback())
	else
		error ("Unsupported value type '" .. type(value) .. "', must be Tristate (m or y)")
	end
end