Up

module BaseBuilt

: sig

Register files built to be installed

Author Sylvain Le Gall
#
type t =
# | BExec
# | BExecLib
# | BLib
# | BObj
# | BDoc
#
val register : t -> OASISTypes.name -> OASISTypes.host_filename list list -> unit

Register files built. Each files built is provided as a list of alternatives. At least one alternative file should exist when registering and we only register existing ones.

#
val unregister : t -> OASISTypes.name -> unit

Unregister all files built.

#
val fold : t -> OASISTypes.name -> ('a -> OASISTypes.host_filename -> 'a) -> 'a -> 'a

Fold-left files built, filter existing and non-existing files.

#
val is_built : t -> OASISTypes.name -> bool

Check if a library/object/doc/exec has been built.

#
val of_executable : (OASISTypes.unix_filename -> OASISTypes.host_filename) -> OASISTypes.common_section * OASISTypes.build_section * OASISTypes.executable -> (t * OASISTypes.name * OASISTypes.host_filename list list) list * OASISTypes.unix_filename * OASISTypes.unix_filename option

of_executable loc_fn (cs, bs, exec) Compute at the same time events that should be registered by register and data returned by OASISExecutable.unix_exec_is. Use loc_fn, if generated files are moved to a directory different from sources (e.g. in directory "_build").

end