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.