package linksem

  1. Overview
  2. Docs

Module Command_lineSource

Sourcetype input_file_spec =
  1. | Filename of string
  2. | Libname of string
Sourceval string_of_input_file_spec : input_file_spec -> string
Sourceval instance_Show_Show_Command_line_input_file_spec_dict : input_file_spec Show.show_class
Sourcetype input_file_options = {
  1. input_fmt : string;
  2. input_libpath : string list;
  3. input_check_sections : bool;
  4. input_copy_dt_needed : bool;
  5. input_whole_archive : bool;
  6. input_as_needed : bool;
}
Sourceval null_input_file_options : input_file_options
Sourcetype output_kind =
  1. | Executable
  2. | SharedLibrary
Sourceval tagEqual : link_option -> link_option -> bool
Sourcetype input_file_and_options = input_file_spec * input_file_options
Sourcetype input_unit =
  1. | File of input_file_and_options
  2. | Group of input_file_and_options list
  3. | BuiltinControlScript
Sourceval string_of_input_unit : input_unit -> string
Sourceval instance_Show_Show_Command_line_input_unit_dict : input_unit Show.show_class
Sourcetype command_state = {
  1. input_units : input_unit list;
  2. current_input_options : input_file_options;
  3. current_group : input_file_and_options list option;
}
Sourceval initial_state0 : command_state list
Sourcetype interpreted_command_line = input_unit list * link_option Pset.set
Sourceval add_input_file : command_state list -> string -> command_state list
Sourceval start_group : command_state list -> command_state list
Sourceval end_group : command_state list -> command_state list
Sourcetype option_token = string
Sourcetype option_argspecs = string list * string list
Sourcetype option_argvals = string list * string list
Sourceval set_or_replace_option : link_option -> command_state list -> command_state list
Sourceval find_option_matching_tag : link_option -> link_option Pset.set -> link_option option
Sourceval extract_hex_addend : char -> Nat_big_num.num option
Sourceval accumulate_hex_chars : Nat_big_num.num -> char list -> Nat_big_num.num
Sourceval extract_dec_addend : char -> Nat_big_num.num option
Sourceval accumulate_dec_chars : Nat_big_num.num -> char list -> Nat_big_num.num
Sourceval parse_address : string -> Nat_big_num.num
Sourcetype option_def = option_token list * option_argspecs * (option_argvals -> command_state list -> command_state list) * string
Sourceval command_line_table : (string list * (string list * string list) * ((string list * string list) -> command_state list -> command_state list) * string) list
Sourceval delete_trailing_equals : string -> string option
Sourceval string_following_equals_at : Nat_num.nat -> string -> string option
Sourceval equal_modulo_trailing_equals : string -> string -> bool
Sourceval matching_arg_and_alias : string -> (string list * (string list * string list) * (option_argvals -> command_state list -> command_state list) * string) list -> (string * (string list * (string list * string list) * (option_argvals -> command_state list -> command_state list) * string)) option
Sourceval read_one_arg : command_state list -> string list -> command_state list * string list
Sourceval foldl_suffix : ('a -> 'b list -> 'a * 'b list) -> 'a -> 'b list -> 'a
Sourceval cook_argv : string list -> string list -> string list
Sourceval command_line : unit -> input_unit list * link_option Pset.set