drake (version 7.13.9)

future_build: Task passed to individual futures in the "future" backend [Stable]

Description

For internal use only. Only exported to make available to futures.

Usage

future_build(target, meta, config, spec, config_tmp, protect)

Value

Either the target value or a list of build results.

Arguments

target

Name of the target.

meta

A list of metadata.

config

A drake_config() list.

config_tmp

Internal, parts of config that the workers need.

protect

Names of targets that still need their dependencies available in memory.