Module OASISExecutable

module OASISExecutable: sig .. end

Executable section


val unix_exec_is : OASISTypes.common_section * OASISTypes.build_section * OASISTypes.executable ->
(unit -> bool) ->
(unit -> string) ->
(unit -> string) ->
OASISTypes.unix_filename * OASISTypes.unix_filename option

unix_exec_is (cs, bs, exec) is_native ext_dll suffix_program Compute the filename of the real executable, with full unix path. Also return executable library, if one exists (it happens when building bytecode executable with C stubs).

val schema : (OASISTypes.common_section * OASISTypes.build_section * OASISTypes.executable)
OASISSchema.t

Schema for the section. Not exported.