blob: 876ed4d0f0b131786430710374235e5d4e88ea24 [file] [log] [blame] [edit]
# Copyright 2018 The Bazel Authors. 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.
""" A library of functions creating structs for CcToolchainConfigInfo."""
def _check_is_none(obj, parameter_name, method_name):
if obj != None:
fail("{} parameter of {} should be None, found {}."
.format(parameter_name, method_name, type(obj)))
def _check_is_none_or_right_type(obj, obj_of_right_type, parameter_name, method_name):
if obj != None:
_check_same_type(obj, obj_of_right_type, parameter_name, method_name)
def _check_right_type(obj, expected_type, parameter_name, method_name):
if type(obj) != expected_type:
fail("{} parameter of {} should be a {}, found {}."
.format(parameter_name, method_name, expected_type, type(obj)))
def _check_same_type(obj, obj_of_right_type, parameter_name, method_name):
_check_right_type(obj, type(obj_of_right_type), parameter_name, method_name)
def _check_is_nonempty_string(obj, parameter_name, method_name):
_check_same_type(obj, "", parameter_name, method_name)
if obj == "":
fail("{} parameter of {} must be a nonempty string."
.format(parameter_name, method_name))
def _check_is_nonempty_list(obj, parameter_name, method_name):
_check_same_type(obj, [], parameter_name, method_name)
if len(obj) == 0:
fail("{} parameter of {} must be a nonempty list."
.format(parameter_name, method_name))
EnvEntryInfo = provider(
"A key/value pair to be added as an environment variable.",
fields = ["key", "value", "expand_if_available", "type_name"],
)
def env_entry(key, value, expand_if_available = None):
""" A key/value pair to be added as an environment variable.
The returned EnvEntry provider finds its use in EnvSet creation through
the env_entries parameter of env_set(); EnvSet groups environment variables
that need to be expanded for specific actions.
The value of this pair is expanded in the same way as is described in
flag_group. The key remains an unexpanded string literal.
Args:
key: a string literal representing the name of the variable.
value: the value to be expanded.
expand_if_available: A build variable that needs to be available
in order to expand the env_entry.
Returns:
An EnvEntryInfo provider.
"""
_check_is_nonempty_string(key, "key", "env_entry")
_check_is_nonempty_string(value, "value", "env_entry")
_check_is_none_or_right_type(expand_if_available, "string", "expand_if_available", "env_entry")
return EnvEntryInfo(
key = key,
value = value,
expand_if_available = expand_if_available,
type_name = "env_entry",
)
VariableWithValueInfo = provider(
"Represents equality check between a variable and a certain value.",
fields = ["name", "value", "type_name"],
)
def variable_with_value(name, value):
""" Represents equality check between a variable and a certain value.
The returned provider finds its use through flag_group.expand_if_equal,
making the expansion of the flag_group conditional on the value of the
variable.
Args:
name: name of the variable.
value: the value the variable should be compared against.
Returns:
A VariableWithValueInfo provider.
"""
_check_is_nonempty_string(name, "name", "variable_with_value")
_check_is_nonempty_string(value, "value", "variable_with_value")
return VariableWithValueInfo(
name = name,
value = value,
type_name = "variable_with_value",
)
MakeVariableInfo = provider(
"A make variable that is made accessible to rules.",
fields = ["name", "value", "type_name"],
)
def make_variable(name, value):
""" A make variable that is made accessible to rules."""
_check_is_nonempty_string(name, "name", "make_variable")
_check_is_nonempty_string(value, "value", "make_variable")
return MakeVariableInfo(
name = name,
value = value,
type_name = "make_variable",
)
FeatureSetInfo = provider(
"A set of features.",
fields = ["features", "type_name"],
)
def feature_set(features = []):
""" A set of features.
Used to support logical 'and' when specifying feature requirements in a
feature.
Args:
features: A list of unordered feature names.
Returns:
A FeatureSetInfo provider.
"""
_check_same_type(features, [], "features", "feature_set")
return FeatureSetInfo(features = features, type_name = "feature_set")
WithFeatureSetInfo = provider(
"A set of positive and negative features.",
fields = ["features", "not_features", "type_name"],
)
def with_feature_set(features = [], not_features = []):
""" A set of positive and negative features.
This stanza will evaluate to true when every 'feature' is enabled, and
every 'not_feature' is not enabled.
Args:
features: A list of feature names that need to be enabled.
not_features: A list of feature names that need to not be enabled.
Returns:
A WithFeatureSetInfo provider.
"""
_check_same_type(features, [], "features", "with_feature_set")
_check_same_type(not_features, [], "not_features", "with_feature_set")
return WithFeatureSetInfo(
features = features,
not_features = not_features,
type_name = "with_feature_set",
)
EnvSetInfo = provider(
"Groups a set of environment variables to apply for certain actions.",
fields = ["actions", "env_entries", "with_features", "type_name"],
)
def env_set(actions, env_entries = [], with_features = []):
""" Groups a set of environment variables to apply for certain actions.
EnvSet providers are passed to feature() and action_config(), to be applied to
the actions they are specified for.
Args:
actions: A list of actions this env set applies to; each env set must
specify at least one action.
env_entries: A list of EnvEntry - the environment variables applied
via this env set.
with_features: A list of feature sets defining when this env set gets
applied. The env set will be applied when any one of the feature
sets evaluate to true. (That is, when when every 'feature' is
enabled, and every 'not_feature' is not enabled.)
If 'with_features' is omitted, the env set will be applied
unconditionally for every action specified.
Returns:
An EnvSetInfo provider.
"""
_check_is_nonempty_list(actions, "actions", "env_set")
_check_same_type(env_entries, [], "env_entries", "env_set")
_check_same_type(with_features, [], "with_features", "env_set")
return EnvSetInfo(
actions = actions,
env_entries = env_entries,
with_features = with_features,
type_name = "env_set",
)
FlagGroupInfo = provider(
"A group of flags. Supports parametrization via variable expansion.",
fields = [
"flags",
"flag_groups",
"iterate_over",
"expand_if_available",
"expand_if_not_available",
"expand_if_true",
"expand_if_false",
"expand_if_equal",
"type_name",
],
)
def flag_group(
flags = [],
flag_groups = [],
iterate_over = None,
expand_if_available = None,
expand_if_not_available = None,
expand_if_true = None,
expand_if_false = None,
expand_if_equal = None):
""" A group of flags. Supports parametrization via variable expansion.
To expand a variable of list type, flag_group has to be annotated with
`iterate_over` message. Then all nested flags or flag_groups will be
expanded repeatedly for each element of the list.
For example:
flag_group(
iterate_over = 'include_path',
flags = ['-I', '%{include_path}'],
)
... will get expanded to -I /to/path1 -I /to/path2 ... for each
include_path /to/pathN.
To expand a variable of structure type, use dot-notation, e.g.:
flag_group(
iterate_over = "libraries_to_link",
flag_groups = [
flag_group(
iterate_over = "libraries_to_link.libraries",
flags = ["-L%{libraries_to_link.libraries.directory}"],
)
]
)
Flag groups can be nested; if they are, the flag group must only contain
other flag groups (no flags) so the order is unambiguously specified.
In order to expand a variable of nested lists, 'iterate_over' can be used.
For example:
flag_group (
iterate_over = 'object_files',
flag_groups = [
flag_group (
flags = ['--start-lib'],
),
flag_group (
iterate_over = 'object_files',
flags = ['%{object_files}'],
),
flag_group (
flags = ['--end-lib'],
)
]
)
... will get expanded to
--start-lib a1.o a2.o ... --end-lib --start-lib b1.o b2.o .. --end-lib
with %{object_files} being a variable of nested list type
[['a1.o', 'a2.o', ...], ['b1.o', 'b2.o', ...], ...].
Args:
flags: a string list, representing flags. Only one of flags and
flag_groups can be set, as to avoid ambiguity.
flag_groups: a list of FlagGroup entries. Only one of flags and
flag_groups can be set, as to avoid ambiguity.
iterate_over: a string, representing a variable of list type.
expand_if_available: A build variable that needs to be available
in order to expand the flag_group.
expand_if_not_available: A build variable that needs to be
unavailable in order for this flag_group to be expanded.
expand_if_true: if set, this variable needs to evaluate to True in
order for the flag_group to be expanded.
expand_if_false: if set, this variable needs to evalate to False in
order for the flag_group to be expanded.
expand_if_equal: a VariableWithValue, the flag_group is expanded in
case of equality.
Returns:
A FlagGroupInfo provider.
"""
_check_same_type(flags, [], "flags", "flag_group")
_check_same_type(flag_groups, [], "flag_groups", "flag_group")
if len(flags) > 0 and len(flag_groups) > 0:
fail("flag_group must not contain both a flag and another flag_group.")
if len(flags) == 0 and len(flag_groups) == 0:
fail("flag_group must contain either a list of flags or a list of flag_groups.")
_check_is_none_or_right_type(expand_if_true, "string", "expand_if_true", "flag_group")
_check_is_none_or_right_type(expand_if_false, "string", "expand_if_false", "flag_group")
_check_is_none_or_right_type(expand_if_available, "string", "expand_if_available", "flag_group")
_check_is_none_or_right_type(
expand_if_not_available,
"string",
"expand_if_not_available",
"flag_group",
)
_check_is_none_or_right_type(iterate_over, "string", "iterate_over", "flag_group")
return FlagGroupInfo(
flags = flags,
flag_groups = flag_groups,
iterate_over = iterate_over,
expand_if_available = expand_if_available,
expand_if_not_available = expand_if_not_available,
expand_if_true = expand_if_true,
expand_if_false = expand_if_false,
expand_if_equal = expand_if_equal,
type_name = "flag_group",
)
FlagSetInfo = provider(
"A set of flags to be expanded in the command line for specific actions.",
fields = [
"actions",
"with_features",
"flag_groups",
"type_name",
],
)
def flag_set(
actions = [],
with_features = [],
flag_groups = []):
""" A set of flags to be expanded in the command line for specific actions.
Args:
actions: The actions this flag set applies to; each flag set must
specify at least one action.
with_features: A list of feature sets defining when this flag set gets
applied. The flag set will be applied when any one of the feature
sets evaluate to true. (That is, when when every 'feature' is
enabled, and every 'not_feature' is not enabled.)
If 'with_feature' is omitted, the flag set will be applied
unconditionally for every action specified.
flag_groups: A FlagGroup list - the flags applied via this flag set.
Returns:
A FlagSetInfo provider.
"""
_check_same_type(actions, [], "actions", "flag_set")
_check_same_type(with_features, [], "with_features", "flag_set")
_check_same_type(flag_groups, [], "flag_groups", "flag_set")
return FlagSetInfo(
actions = actions,
with_features = with_features,
flag_groups = flag_groups,
type_name = "flag_set",
)
FeatureInfo = provider(
"Contains all flag specifications for one feature.",
fields = [
"name",
"enabled",
"flag_sets",
"env_sets",
"requires",
"implies",
"provides",
"type_name",
],
)
def feature(
name,
enabled = False,
flag_sets = [],
env_sets = [],
requires = [],
implies = [],
provides = []):
""" Contains all flag specifications for one feature.
Args:
name: The feature's name. It is possible to introduce a feature without
a change to Bazel by adding a 'feature' section to the toolchain
and adding the corresponding string as feature in the BUILD file.
enabled: If 'True', this feature is enabled unless a rule type
explicitly marks it as unsupported.
flag_sets: A FlagSet list - If the given feature is enabled, the flag
sets will be applied for the actions are specified for.
env_sets: an EnvSet list - If the given feature is enabled, the env
sets will be applied for the actions they are specified for.
requires: A list of feature sets defining when this feature is
supported by the toolchain. The feature is supported if any of the
feature sets fully apply, that is, when all features of a feature
set are enabled.
If 'requires' is omitted, the feature is supported independently of
which other features are enabled.
Use this for example to filter flags depending on the build mode
enabled (opt / fastbuild / dbg).
implies: A string list of features or action configs that are
automatically enabled when this feature is enabled. If any of the
implied features or action configs cannot be enabled, this feature
will (silently) not be enabled either.
provides: A list of names this feature conflicts with.
A feature cannot be enabled if:
- 'provides' contains the name of a different feature or action
config that we want to enable.
- 'provides' contains the same value as a 'provides' in a
different feature or action config that we want to enable.
Use this in order to ensure that incompatible features cannot be
accidentally activated at the same time, leading to hard to
diagnose compiler errors.
Returns:
A FeatureInfo provider.
"""
_check_same_type(enabled, True, "enabled", "feature")
_check_same_type(flag_sets, [], "flag_sets", "feature")
_check_same_type(env_sets, [], "env_sets", "feature")
_check_same_type(requires, [], "requires", "feature")
_check_same_type(provides, [], "provides", "feature")
_check_same_type(implies, [], "implies", "feature")
return FeatureInfo(
name = name,
enabled = enabled,
flag_sets = flag_sets,
env_sets = env_sets,
requires = requires,
implies = implies,
provides = provides,
type_name = "feature",
)
ToolPathInfo = provider(
"Tool locations.",
fields = ["name", "path", "type_name"],
)
def tool_path(name, path):
""" Tool locations.
Args:
name: Name of the tool.
path: Location of the tool; Can be absolute path (in case of non hermetic
toolchain), or path relative to the cc_toolchain's package.
Returns:
A ToolPathInfo provider.
Deprecated:
Prefer specifying an ActionConfig for the action that needs the tool.
TODO(b/27903698) migrate to ActionConfig.
"""
_check_is_nonempty_string(name, "name", "tool_path")
_check_is_nonempty_string(path, "path", "tool_path")
return ToolPathInfo(name = name, path = path, type_name = "tool_path")
ToolInfo = provider(
doc = "Tool information. This differs from ToolPathInfo as it is intended to be used\
in action_configs and can accept labels.",
fields = [
"path",
"tool",
"with_features",
"execution_requirements",
"type_name",
],
)
def tool(path = None, with_features = [], execution_requirements = [], tool = None):
""" Describes a tool associated with a crosstool action config.
Args:
path: Location of the tool; Can be absolute path (in case of non hermetic
toolchain), or path relative to the cc_toolchain's package. If this
parameter is set, tool must not be set.
tool: The built-artifact that should be used as this tool. If this is
set, path must not be set.
with_features: A list of feature sets defining when this tool is
applicable. The tool will used when any one of the feature sets
evaluate to true. (That is, when when every 'feature' is enabled,
and every 'not_feature' is not enabled.)
If 'with_feature' is omitted, the tool will apply for any feature
configuration.
execution_requirements: Requirements on the execution environment for
the execution of this tool, to be passed as out-of-band "hints" to
the execution backend.
Ex. "requires-mem:24g"
Returns:
A ToolInfo provider.
"""
if path == None and tool == None:
fail("Parameter path or parameter tool of tool should not be None.")
if path != None:
_check_is_nonempty_string(path, "path", "tool")
_check_is_none(tool, "tool", "tool")
if tool != None:
_check_is_none(path, "path", "tool")
_check_right_type(tool, "File", "tool", "tool")
_check_same_type(with_features, [], "with_features", "tool")
_check_same_type(execution_requirements, [], "execution_requirements", "tool")
return ToolInfo(
path = path,
tool = tool,
with_features = with_features,
execution_requirements = execution_requirements,
type_name = "tool",
)
ActionConfigInfo = provider(
"Configuration of a Bazel action.",
fields = [
"config_name",
"action_name",
"enabled",
"tools",
"flag_sets",
"implies",
"type_name",
],
)
def action_config(
action_name,
enabled = False,
tools = [],
flag_sets = [],
implies = []):
""" Configuration of a Bazel action.
An action config corresponds to a Bazel action, and allows selection of
a tool based on activated features.
Action config activation occurs by the same semantics as features: a
feature can 'require' or 'imply' an action config in the same way that it
would another feature.
Args:
action_name: The name of the Bazel action that this config applies to,
ex. 'c-compile' or 'c-module-compile'.
enabled: If 'True', this action is enabled unless a rule type
explicitly marks it as unsupported.
tools: The tool applied to the action will be the first Tool with a
feature set that matches the feature configuration. An error will
be thrown if no tool matches a provided feature configuration - for
that reason, it's a good idea to provide a default tool with an
empty feature set.
flag_sets: If the given action config is enabled, the flag sets will be
applied to the corresponding action.
implies: A list of features or action configs that are automatically
enabled when this action config is enabled. If any of the implied
features or action configs cannot be enabled, this action config
will (silently) not be enabled either.
Returns:
An ActionConfigInfo provider.
"""
_check_is_nonempty_string(action_name, "name", "action_config")
_check_same_type(enabled, True, "enabled", "action_config")
_check_same_type(tools, [], "tools", "action_config")
_check_same_type(flag_sets, [], "flag_sets", "action_config")
_check_same_type(implies, [], "implies", "action_config")
return ActionConfigInfo(
action_name = action_name,
enabled = enabled,
tools = tools,
flag_sets = flag_sets,
implies = implies,
type_name = "action_config",
)
ArtifactNamePatternInfo = provider(
"The name for an artifact of a given category of input or output artifacts to an action.",
fields = [
"category_name",
"prefix",
"extension",
"type_name",
],
)
def artifact_name_pattern(category_name, prefix, extension):
""" The name for an artifact of a given category of input or output artifacts to an action.
Args:
category_name: The category of artifacts that this selection applies
to. This field is compared against a list of categories defined
in bazel. Example categories include "linked_output" or
"debug_symbols". An error is thrown if no category is matched.
prefix: The prefix for creating the artifact for this selection.
Together with the extension it is used to create an artifact name
based on the target name.
extension: The extension for creating the artifact for this selection.
Together with the prefix it is used to create an artifact name
based on the target name.
Returns:
An ArtifactNamePatternInfo provider
"""
_check_is_nonempty_string(category_name, "category_name", "artifact_name_pattern")
_check_is_none_or_right_type(prefix, "", "prefix", "artifact_name_pattern")
_check_is_none_or_right_type(extension, "", "extension", "artifact_name_pattern")
return ArtifactNamePatternInfo(
category_name = category_name,
prefix = prefix,
extension = extension,
type_name = "artifact_name_pattern",
)