Module Op.Spawn

The type for spawn standard outputs redirections.

• `Ui redirects the output to the user interface of the build system (usually only shown in case of failure). Outputs are always first redirected to a file and read back by the program running the build on completion, this means that in the spawn program isatty(3) will be false on the fds.
• `File p redirect the output to file path p.
• `Tee p, is both `Ui and File `f.

The list of process exit codes that indicate success. If the list is empty this any exit code.

The type for process spawn operations.

env s is the environment in which s runs.

relevant_env s are the assignements of env s that should be taken into account for caching.

cwd s is the cwd with which s runs.

stdin s is the file s uses as stdin (if any).

stdout s is the redirection s uses for stdout.

stderr s is the redirection s uses for stderr.

success_exits s is the list of process exit codes s that indicate success.

tool t is the spawned tool. Note that this has to be a full path at that point.

args s are the spawned tool arguments.

stdo_ui sr is the standard outputs redirection contents of s once it has executed (if any).

set_stdo_ui w ui sets w's standard output redirection contents to ui.

result s is the spawn result of s.

set_result s e the spawn result of s to e.

pp_success_exits formats the success exits.

pp_cmd formats the command issued by the spawn.

pp_stdo_ui formats the standard output ui of the spawn. If elide is true elides long outputs.

pp_result formats the command status of the spawn.

pp formats a spawn.