Note:

You are viewing a development version of the library. Goto the latest version.

Module OASISExecutable


module OASISExecutable: sig .. end
Executable section
Author(s): 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.