blob: de31a3b80002d9e8b2d9af66576cd07e5311c9f9 [file] [log] [blame] [view]
---
layout: documentation
title: Macros
---
# Macros
<!-- [TOC] -->
## Introduction
A macro is a function called from the BUILD file that can instantiate rules.
Macros are mainly used for encapsulation and code reuse of existing rules
and other macros. By the end of the
[loading phase](concepts.md#evaluation-model), macros don't exist anymore,
and Bazel sees only the concrete set of instantiated rules.
## Usage
The typical use-case for a macro is when you want to reuse a rule.
For example, we have a genrule in a BUILD file that generates a file
using `//:generator` with a `some_arg` argument hardcoded in the command:
```python
genrule(
name = "file",
outs = ["file.txt"],
cmd = "$(location //:generator) some_arg > $@",
tools = ["//:generator"],
)
```
> Tip: `$@` is a [Make variable](../be/make-variables.html#predefined_genrule_variables)
> that refers to the execution-time locations of the files in the `outs` attribute list.
> It is equivalent to `$(locations :file.txt)`.
If you want to generate more files with different arguments, you may want to
extract this code to a macro function. Let's call the macro `file_generator`, which
has `name` and `arg` parameters. Replace the genrule with the following:
```python
load("//path:generator.bzl", "file_generator")
file_generator(
name = "file",
arg = "some_arg",
)
file_generator(
name = "file-two",
arg = "some_arg_two",
)
file_generator(
name = "file-three",
arg = "some_arg_three",
)
```
Here, we are loading the `file_generator` symbol from a `.bzl` file located
in the `//path` package. By putting macro function definitions in a separate
`.bzl` file, we can keep our BUILD files clean and declarative, The `.bzl`
file can be loaded from any package in the workspace.
Finally, in `path/generator.bzl`, let's write the definition of the macro to
encapsulate and parameterize our original genrule definition:
```python
def file_generator(name, arg, visibility=None):
native.genrule(
name = name,
outs = [name + ".txt"],
cmd = "$(location //:generator) %s > $@" % arg,
tools = ["//:generator"],
visibility = visibility,
)
```
You can also use macros to chain rules together. This example shows chained
genrules, where a genrule uses the outputs of a previous genrule as inputs:
```python
def chained_genrules(name, visibility=None):
native.genrule(
name = name + "-one",
outs = [name + ".one"],
cmd = "$(location :tool-one) $@",
tools = [":tool-one"],
visibility = ["//visibility:private"],
)
native.genrule(
name = name + "-two",
srcs = [name + ".one"],
outs = [name + ".two"],
cmd = "$(location :tool-two) $< $@",
tools = [":tool-two"],
visibility = visibility,
)
```
Note that we only assigned the value of `visibility` to the second genrule.
This enables macro authors hide outputs of intermediate rules from being
depended upon by other targets in the workspace.
> Tip: Similar to `$@` for outputs, `$<` expands to the locations of files in
the `srcs` attribute list.
## Expanding macros
When you want to investigate what a macro does, use the `query` command with
`--output=build` to see the expanded form:
```
$ bazel query --output=build :file
# /absolute/path/test/ext.bzl:42:3
genrule(
name = "file",
tools = ["//:generator"],
outs = ["//test:file.txt"],
cmd = "$(location //:generator) some_arg > $@",
)
```
## Instantiating native rules
Native rules (i.e. rules that don't need a `load()` statement) can be
instantiated from the [native](lib/native.html) module, e.g.
```python
def my_macro(name, visibility=None):
native.cc_library(
name = name,
srcs = ["main.cc"],
visibility = visibility,
)
```
If you need to know the package name (i.e. which BUILD file is calling the
macro), use the function [native.package_name()](lib/native.html#package_name).
## Debugging
* `bazel query --output=build //my/path:all` will show you how the BUILD file
looks after evaluation. All macros, globs, loops are expanded. Known
limitation: `select` expressions are currently not shown in the output.
* You may filter the output based on `generator_function` (which function
generated the rules) or `generator_name` (the name attribute of the macro),
e.g.
```bash
$ bazel query --output=build 'attr(generator_function, my_macro, //my/path:all)'
```
* To find out where exactly the rule `foo` is generated in a BUILD file, you
can try the following trick. Insert this line near the top of the BUILD
file: `cc_library(name = "foo")`. Run Bazel. You will get an exception when
the rule `foo` is created (due to a name conflict), which will show you the
full stack trace.
* You can also use [print](lib/globals.html#print) for debugging. It displays
the message as a `DEBUG` log line during the loading phase. Except in rare
cases, either remove `print` calls, or make them conditional under a
`debugging` parameter that defaults to `False` before submitting the code to
the depot.
## Errors
If you want to throw an error, use the [fail](lib/globals.html#fail) function.
Explain clearly to the user what went wrong and how to fix their BUILD file. It
is not possible to catch an error.
```python
def my_macro(name, deps, visibility=None):
if len(deps) < 2:
fail("Expected at least two values in deps")
# ...
```
## Conventions
* All public functions (functions that don't start with underscore) that
instantiate rules must have a `name` argument. This argument should not be
optional (don't give a default value).
* Public functions should use a docstring following [Python
conventions](https://www.python.org/dev/peps/pep-0257/#one-line-docstrings).
* In BUILD files, the `name` argument of the macros must be a keyword argument
(not a positional argument).
* The `name` attribute of rules generated by a macro should include the name
argument as a prefix. For example, `macro(name = "foo")` can generate a
`cc_library` `foo` and a genrule `foo_gen`.
* In most cases, optional parameters should have a default value of `None`.
`None` can be passed directly to native rules, which treat it the same as if
you had not passed in any argument. Thus, there is no need to replace it
with `0`, `False`, or `[]` for this purpose. Instead, the macro should defer
to the rules it creates, as their defaults may be complex or may change over
time. Additionally, a parameter that is explicitly set to its default value
looks different than one that is never set (or set to `None`) when accessed
through the query language or build-system internals.
* Macros should have an optional `visibility` argument.