dtk-template/tools/ninja_syntax.py

255 lines
8.4 KiB
Python
Raw Permalink Normal View History

2023-10-05 03:26:02 +00:00
# Copyright 2011 Google Inc. All Rights Reserved.
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
# You may obtain a copy of the License at
#
# http://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS IS" BASIS,
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
# See the License for the specific language governing permissions and
# limitations under the License.
"""Python module for generating .ninja files.
Note that this is emphatically not a required piece of Ninja; it's
just a helpful utility for build-file-generation systems that already
use Python.
"""
import re
import textwrap
import os
from io import StringIO
from pathlib import Path
from typing import Dict, List, Match, Optional, Tuple, Union
2023-10-05 03:26:02 +00:00
NinjaPath = Union[str, Path]
NinjaPaths = Union[
List[str],
List[Path],
List[NinjaPath],
List[Optional[str]],
List[Optional[Path]],
List[Optional[NinjaPath]],
]
NinjaPathOrPaths = Union[NinjaPath, NinjaPaths]
def escape_path(word: str) -> str:
2023-10-05 03:26:02 +00:00
return word.replace("$ ", "$$ ").replace(" ", "$ ").replace(":", "$:")
class Writer(object):
def __init__(self, output: StringIO, width: int = 78) -> None:
2023-10-05 03:26:02 +00:00
self.output = output
self.width = width
def newline(self) -> None:
2023-10-05 03:26:02 +00:00
self.output.write("\n")
def comment(self, text: str) -> None:
2023-10-05 03:26:02 +00:00
for line in textwrap.wrap(
text, self.width - 2, break_long_words=False, break_on_hyphens=False
):
self.output.write("# " + line + "\n")
def variable(
self,
key: str,
value: Optional[NinjaPathOrPaths],
indent: int = 0,
) -> None:
value = " ".join(serialize_paths(value))
2023-10-05 03:26:02 +00:00
self._line("%s = %s" % (key, value), indent)
def pool(self, name: str, depth: int) -> None:
2023-10-05 03:26:02 +00:00
self._line("pool %s" % name)
self.variable("depth", str(depth), indent=1)
2023-10-05 03:26:02 +00:00
def rule(
self,
name: str,
command: str,
description: Optional[str] = None,
depfile: Optional[NinjaPath] = None,
generator: bool = False,
pool: Optional[str] = None,
restat: bool = False,
rspfile: Optional[NinjaPath] = None,
rspfile_content: Optional[NinjaPath] = None,
deps: Optional[NinjaPathOrPaths] = None,
) -> None:
2023-10-05 03:26:02 +00:00
self._line("rule %s" % name)
self.variable("command", command, indent=1)
if description:
self.variable("description", description, indent=1)
if depfile:
self.variable("depfile", depfile, indent=1)
if generator:
self.variable("generator", "1", indent=1)
if pool:
self.variable("pool", pool, indent=1)
if restat:
self.variable("restat", "1", indent=1)
if rspfile:
self.variable("rspfile", rspfile, indent=1)
if rspfile_content:
self.variable("rspfile_content", rspfile_content, indent=1)
if deps:
self.variable("deps", deps, indent=1)
def build(
self,
outputs: NinjaPathOrPaths,
rule: str,
inputs: Optional[NinjaPathOrPaths] = None,
implicit: Optional[NinjaPathOrPaths] = None,
order_only: Optional[NinjaPathOrPaths] = None,
variables: Optional[
Union[
List[Tuple[str, Optional[NinjaPathOrPaths]]],
Dict[str, Optional[NinjaPathOrPaths]],
]
] = None,
implicit_outputs: Optional[NinjaPathOrPaths] = None,
pool: Optional[str] = None,
dyndep: Optional[NinjaPath] = None,
) -> List[str]:
outputs = serialize_paths(outputs)
2023-10-05 03:26:02 +00:00
out_outputs = [escape_path(x) for x in outputs]
all_inputs = [escape_path(x) for x in serialize_paths(inputs)]
2023-10-05 03:26:02 +00:00
if implicit:
implicit = [escape_path(x) for x in serialize_paths(implicit)]
2023-10-05 03:26:02 +00:00
all_inputs.append("|")
all_inputs.extend(map(str, implicit))
2023-10-05 03:26:02 +00:00
if order_only:
order_only = [escape_path(x) for x in serialize_paths(order_only)]
2023-10-05 03:26:02 +00:00
all_inputs.append("||")
all_inputs.extend(map(str, order_only))
2023-10-05 03:26:02 +00:00
if implicit_outputs:
implicit_outputs = [
escape_path(x) for x in serialize_paths(implicit_outputs)
]
2023-10-05 03:26:02 +00:00
out_outputs.append("|")
out_outputs.extend(map(str, implicit_outputs))
2023-10-05 03:26:02 +00:00
self._line(
"build %s: %s" % (" ".join(out_outputs), " ".join([rule] + all_inputs))
)
if pool is not None:
self._line(" pool = %s" % pool)
if dyndep is not None:
self._line(" dyndep = %s" % serialize_path(dyndep))
2023-10-05 03:26:02 +00:00
if variables:
if isinstance(variables, dict):
iterator = iter(variables.items())
else:
iterator = iter(variables)
for key, val in iterator:
self.variable(key, val, indent=1)
return outputs
def include(self, path: str) -> None:
2023-10-05 03:26:02 +00:00
self._line("include %s" % path)
def subninja(self, path: str) -> None:
2023-10-05 03:26:02 +00:00
self._line("subninja %s" % path)
def default(self, paths: NinjaPathOrPaths) -> None:
self._line("default %s" % " ".join(serialize_paths(paths)))
2023-10-05 03:26:02 +00:00
def _count_dollars_before_index(self, s: str, i: int) -> int:
2023-10-05 03:26:02 +00:00
"""Returns the number of '$' characters right in front of s[i]."""
dollar_count = 0
dollar_index = i - 1
while dollar_index > 0 and s[dollar_index] == "$":
dollar_count += 1
dollar_index -= 1
return dollar_count
def _line(self, text: str, indent: int = 0) -> None:
2023-10-05 03:26:02 +00:00
"""Write 'text' word-wrapped at self.width characters."""
leading_space = " " * indent
while len(leading_space) + len(text) > self.width:
# The text is too wide; wrap if possible.
# Find the rightmost space that would obey our width constraint and
# that's not an escaped space.
available_space = self.width - len(leading_space) - len(" $")
space = available_space
while True:
space = text.rfind(" ", 0, space)
if space < 0 or self._count_dollars_before_index(text, space) % 2 == 0:
break
if space < 0:
# No such space; just use the first unescaped space we can find.
space = available_space - 1
while True:
space = text.find(" ", space + 1)
if (
space < 0
or self._count_dollars_before_index(text, space) % 2 == 0
):
break
if space < 0:
# Give up on breaking.
break
self.output.write(leading_space + text[0:space] + " $\n")
text = text[space + 1 :]
# Subsequent lines are continuations, so indent them.
leading_space = " " * (indent + 2)
self.output.write(leading_space + text + "\n")
def close(self) -> None:
2023-10-05 03:26:02 +00:00
self.output.close()
def serialize_path(input: Optional[NinjaPath]) -> str:
if not input:
return ""
if isinstance(input, Path):
return str(input).replace("/", os.sep)
else:
return str(input)
def serialize_paths(input: Optional[NinjaPathOrPaths]) -> List[str]:
2023-10-05 03:26:02 +00:00
if isinstance(input, list):
return [serialize_path(path) for path in input if path]
return [serialize_path(input)] if input else []
2023-10-05 03:26:02 +00:00
def escape(string: str) -> str:
2023-10-05 03:26:02 +00:00
"""Escape a string such that it can be embedded into a Ninja file without
further interpretation."""
assert "\n" not in string, "Ninja syntax does not allow newlines"
# We only have one special metacharacter: '$'.
return string.replace("$", "$$")
def expand(string: str, vars: Dict[str, str], local_vars: Dict[str, str] = {}) -> str:
2023-10-05 03:26:02 +00:00
"""Expand a string containing $vars as Ninja would.
Note: doesn't handle the full Ninja variable syntax, but it's enough
to make configure.py's use of it work.
"""
def exp(m: Match[str]) -> str:
2023-10-05 03:26:02 +00:00
var = m.group(1)
if var == "$":
return "$"
return local_vars.get(var, vars.get(var, ""))
return re.sub(r"\$(\$|\w*)", exp, string)