Register files built to be installed
val register :
t ->
OASISTypes.name ->
OASISTypes.host_filename list list ->
unitRegister 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 -> unitUnregister all files built.
val fold :
t ->
OASISTypes.name ->
('a -> OASISTypes.host_filename -> 'a) ->
'a ->
'aFold-left files built, filter existing and non-existing files.
val is_built : t -> OASISTypes.name -> boolCheck 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 optionof_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").
val of_library :
(OASISTypes.unix_filename -> OASISTypes.host_filename) ->
(OASISTypes.common_section * OASISTypes.build_section * OASISTypes.library) ->
(t * OASISTypes.name * OASISTypes.host_filename list list) list
* OASISTypes.unix_filename list listof_library loc_fn (cs, bs, lib) Same as of_executable, but using OASISLibrary.generated_unix_files.
val of_object :
(OASISTypes.unix_filename -> OASISTypes.host_filename) ->
(OASISTypes.common_section * OASISTypes.build_section * OASISTypes.object_) ->
(t * OASISTypes.name * OASISTypes.host_filename list list) list
* OASISTypes.unix_filename list listof_object loc_fn (cs, bs, lib) Same as of_executable, but using OASISObject.generated_unix_files.