Make
The make command is used to execute the make build tool. It is designed to work with GNU make
, but will also work with some other variants of make. It provides a convenient way to execute make, as well as applying a make post-processor to the command output by default.
The make command is based on the executable command, thus all attributes and child elements valid for the executable command are also valid for the make command.
Finding the make binary
The make command will try the following values for the make binary:
- if a binary is specified explictly using the exe attribute, that value will be used
- if a property named "make.bin" exists, the value of that property will be used
- otherwise, the value "make" will be used (and thus make must be found in the PATH of the pulse™ process)
The "make.bin" property may be made available by an automatically-discovered (or manually created) make resource.
Attributes
| Attribute |
Description |
Required? |
Default |
| makefile |
Path of the makefile to use, relative to the base directory for the recipe. |
No |
Left to make (e.g. GNUmakefile, Makefile). |
| targets |
A space-separated list of targets to execute. |
No |
Default make target. |
See also executable.
Child Elements
See executable.
Examples
Execute the targets "build" and "test" from a default makefile:
<make name="build and test" targets="build test"/>
Execute the target "test" from the makefile "MyMakefile" in the directory "src":
<make name="test" working-dir="src" makefile="MyMakefile" targets="test"/>