package ocaml-unikraft-arm64

  1. Overview
  2. Docs
OCaml cross compiler to the freestanding Unikraft arm64 backends

Install 

dune-project
 Dependency

github.com Edit opam file Versions (3)

Authors

  1. S
    Samuel Hym

Maintainers

  1. S
    samuel@tarides.com

Sources

v1.2.0.tar.gz
sha256=ca18a45ef86791d5ffa18436945fbec850b6f3dd68a6a62753b4cb1b6999b19a

doc/compiler-libs.common/Compenv/index.html

Module Compenv

exception Exit_with_status of int
val output_prefix : string -> string
val extract_output : string option -> string
val default_output : string option -> string
val print_version_and_library : string -> 'a
val print_version_string : unit -> 'a
val print_standard_library : unit -> 'a
val fatal : string -> 'a
val fatalf : ('a, unit, string, 'b) format4 -> 'a
val first_ccopts : string list ref
val first_ppx : string list ref
val first_include_dirs : string list ref
val last_include_dirs : string list ref
val get_objfiles : with_ocamlparam:bool -> string list
val last_objfiles : string list ref
val first_objfiles : string list ref
val stop_early : bool ref
val has_linker_inputs : bool ref
type filename = string
type readenv_position =
  1. | Before_args
  2. | Before_compile of filename
val readenv : Format.formatter -> readenv_position -> unit
type deferred_action =
  1. | ProcessImplementation of string
  2. | ProcessInterface of string
  3. | ProcessCFile of string
  4. | ProcessOtherFile of string
  5. | ProcessObjects of string list
  6. | ProcessDLLs of bool * string list
val c_object_of_filename : string -> string
val defer : deferred_action -> unit
val anonymous : string -> unit
val impl : string -> unit
val intf : string -> unit
type action_context = {
  1. log : Format.formatter;
  2. compile_implementation : start_from:Clflags.Compiler_pass.t -> source_file:string -> output_prefix:string -> unit;
  3. compile_interface : source_file:string -> output_prefix:string -> unit;
  4. ocaml_mod_ext : string;
  5. ocaml_lib_ext : string;
}
val process_deferred_actions : action_context -> unit
val parse_arguments : ?current:int ref -> string array ref -> Arg.anon_fun -> string -> unit
val parse_runtime_parameter : string -> unit

Validate a single -set-runtime-default parameter specification.