package oasis

  1. Overview
  2. Docs

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).

Schema for the section. Not exported.