linksem 0.7 · OCaml Package

type input_blob =

| Reloc of Byte_sequence.byte_sequence0
| Shared of Byte_sequence.byte_sequence0
| Script of Byte_sequence.byte_sequence0
| ControlScript

type origin_coord =

| InArchive of Nat_big_num.num * Nat_big_num.num * string * Nat_big_num.num
| InGroup of Nat_big_num.num * Nat_big_num.num
| InCommandLine of Nat_big_num.num
| Builtin

val string_of_origin_coord : origin_coord -> string

val instance_Show_Show_Input_list_origin_coord_dict : 
  origin_coord Show.show_class

type input_origin = Command_line.input_unit * origin_coord list

type input_item = string * input_blob * input_origin

val string_of_input_blob : input_blob -> string

val instance_Show_Show_Input_list_input_blob_dict : input_blob Show.show_class

val short_string_of_input_item : 
  (string * 'a * ('b * origin_coord list)) ->
  string

type can_supply_function = input_item list -> int -> bool list

type input_options = {

item_fmt : string;
item_check_sections : bool;
item_copy_dt_needed : bool;
item_force_output : bool;

}

val null_input_options : input_options

val string_of_input_options : 'a -> string

val instance_Show_Show_Input_list_input_options_dict : 
  input_options Show.show_class

type input_list = (input_item * input_options) list

val toplevel_dot_o_can_supply : 'a list -> 'b -> bool list

val toplevel_shared_can_supply : 'a list -> Nat_num.nat -> bool list

val toplevel_archive_can_supply : 'a list -> Nat_num.nat -> bool list

val lib_filename_from_spec : string -> string -> string

val find_library_in : string -> string list -> string list -> string option

val find_one_library_filename : 
  Command_line.input_file_options ->
  string ->
  string

val is_elf64_with_type : 
  Uint32_wrapper.uint32 ->
  Byte_sequence_wrapper.byte_sequence ->
  bool

val is_archive : Byte_sequence_wrapper.byte_sequence -> bool

val open_file_and_expand : 
  string ->
  Command_line.input_unit ->
  Nat_big_num.num ->
  (string * input_blob * (Command_line.input_unit * origin_coord list)) list

val make_input_items_and_options : 
  (string * input_blob * (Command_line.input_unit * origin_coord list)) list ->
  Command_line.input_file_options ->
  origin_coord list ->
  ((string * input_blob * (Command_line.input_unit * origin_coord list))
   * input_options)
    list

val elaborate_input_helper : 
  Nat_big_num.num ->
  Command_line.input_unit list ->
  (input_item * input_options) list ->
  (input_item * input_options) list

val elaborate_input : 
  Command_line.input_unit list ->
  (input_item * input_options) list

package linksem