OASISExecutable (u.e8e2cd7934844659b401cbb85ab22760.oasis.0.4.11.doc.oasis.OASISExecutable)

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.