Module Jenga_lib.Api.Sandbox

Sandboxing in the act of running a compilation into a separate directory, for the purpose of enforcing that dependencies and targets be properly specified (instead of trusting the user to get them right).

type t

include sig ... end

val t_of_sexp : Base.Sexp.t ‑> t

val sexp_of_t : t ‑> Base.Sexp.t

val none : t

Do not sandbox an action.

val hardlink : t

Sandbox an action by hard-linking dependencies.

val copy : t

Sandbox an action by copying dependencies.

val hardlink_ignore_targets : t

Sandbox an action by hard-linking dependencies. Ignore misspecified targets.

val copy_ignore_targets : t

Sandbox an action by copying dependencies. Ignore misspecified targets.

val default : t

Equivalent to none unless the --sandbox-actions command-line flag is active, in which case it is equivalent to hardlink.