module OASISExecutable

: sig

Executable section

Author Sylvain Le Gall
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.