Module Jenga_lib.Sandbox

This sandbox is a way of running the action that attempts to detect rules that are incorrectly described. We run the action in such a way that relative paths in actions can only access specified dependencies (to find missing dependencies). Files that are specified to be targets but are not created, or created but not specified to be targets, will be found as well.

type kind = Db.Sandbox_kind.t =
| No_sandbox
| Copy
| Copy_ignore_targets
include sig ... end
val kind_of_sexp : Base.Sexp.t ‑> kind
val sexp_of_kind : kind ‑> Base.Sexp.t
type t
val root : t ‑> Path.t
type error =
| Creation_failed of exn
| Closing_failed of exn
| Unexpected_targets of string list
| Missing_targets of Path.Rel.t list
include sig ... end
val sexp_of_error : error ‑> Base.Sexp.t
val with_sandbox : dir:Path.t ‑> deps:Db.Proxy_map.t ‑> kind:kind ‑> targets:Path.Rel.t list ‑> f:(t ‑> ('a, 'err) Core.Result.t Async.Deferred.t) ‑> (('a, 'err) Core.Result.t, error) Core.Result.t Async.Deferred.t