Module `Command_line`Source

Sourcetype input_file_spec =

| Filename of string
| Libname of string

Sourceval string_of_input_file_spec : input_file_spec -> string

val instance_Show_Show_Command_line_input_file_spec_dict : 
  input_file_spec Show.show_class

Sourcetype input_file_options = {

input_fmt : string;
input_libpath : string list;
input_link_sharedlibs : bool;
input_check_sections : bool;
input_copy_dt_needed : bool;
input_whole_archive : bool;
input_as_needed : bool;

}

Sourceval null_input_file_options : input_file_options

Sourcetype output_kind =

| Executable
| SharedLibrary

Sourcetype link_option =

| OutputFilename of string
| OutputKind of output_kind
| ForceCommonDefined of bool
| Soname of string
| EntryAddress of Nat_big_num.num
| TextSegmentStart of Nat_big_num.num
| RodataSegmentStart of Nat_big_num.num
| LdataSegmentStart of Nat_big_num.num
| BindFunctionsEarly
| BindNonFunctionsEarly

Sourceval tagEqual : link_option -> link_option -> bool

Source

val instance_Basic_classes_Eq_Command_line_link_option_dict : 
  link_option Lem_basic_classes.eq_class

Sourcetype input_file_and_options = input_file_spec * input_file_options

Sourcetype input_unit =

| File of input_file_and_options
| Group of input_file_and_options list
| BuiltinControlScript

Sourceval string_of_input_unit : input_unit -> string

Source

val instance_Show_Show_Command_line_input_unit_dict : 
  input_unit Show.show_class

Sourcetype command_state = {

input_units : input_unit list;
link_options : link_option Pset.set;
current_input_options : input_file_options;
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

Source

val set_or_replace_option : 
  link_option ->
  command_state list ->
  command_state list

Source

val 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

Source

type option_def =
  option_token list
  * option_argspecs
  * (option_argvals ->
  command_state list ->
  command_state list)
  * string

Source

val 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

Source

val 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

Source

val 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

Install

Dune Dependency

Authors

Maintainers

Sources

doc/linksem_zarith/Command_line/index.html

Module `Command_line`Source

package linksem

Install

Dune Dependency

Authors

Maintainers

Sources

doc/linksem_zarith/Command_line/index.html

Module Command_lineSource

Module `Command_line`Source