module Condition: sig .. end
type [ `And of t list
| `Command_returns of Ketrew_pure.Target.Command.t * int
| `Never
| `Volume_exists of Ketrew_pure.Target.Volume.t
| `Volume_size_bigger_than of Ketrew_pure.Target.Volume.t * int ]
An execution anti-condition; the condition defines when a target is
ready and therefore should be run if the condition is met:
- with
`Never the target always runs and then fails
(because never “ready”),
- with
`Volume_exists v the target runs if the volume does not exist
(make-like behavior).
- with
`Volume_size_bigger_than (v, sz) Ketrew will get the total size
of the volume (in bytes) and check that it is bigger-or-equal.
- with
`Command_returns (c, v) Ketrew will run the Ketrew_pure.Target.Command.t and
check its return value.
`And list_of_conditions is a conjunction of conditions.
val log : t -> Internal_pervasives.Log.t
val to_string_hum : t -> string
val markup : t -> Internal_pervasives.Display_markup.t