package MlFront_Exec

  1. Overview
  2. Docs
package MlFront_Exec
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module MlFront_Exec.BuildConfigSource

Configuration

Sourcetype install_params = {
  1. program : string;
}
Sourcemodule KMap : sig ... end
Sourcetype preconfig = {
  1. preconfig_buildlogtrace : bool;
  2. preconfig_parsetrace : bool;
  3. preconfig_debug_task : bool;
  4. preconfig_tracestore : MlFront_Core.FilePath.t;
  5. preconfig_tracefile : string;
  6. preconfig_valuestore : MlFront_Core.FilePath.t;
  7. preconfig_install_home : MlFront_Core.FilePath.t;
  8. preconfig_install_cache : MlFront_Core.FilePath.t;
  9. preconfig_install_data : MlFront_Core.FilePath.t;
  10. preconfig_install_config : MlFront_Core.FilePath.t;
  11. preconfig_install_state : MlFront_Core.FilePath.t;
  12. preconfig_install_runtime : MlFront_Core.FilePath.t;
  13. preconfig_build_pubkey : [ `PublicKey of string ];
  14. preconfig_build_seckey : [ `SecretKey of string ];
  15. preconfig_metadb : MlFront_Cache.MetaDb.t;
  16. preconfig_rng : Mirage_crypto_rng.g;
  17. preconfig_integrity : [ `None | `Existence | `Checksum ];
}
Sourcetype t = {
  1. mutable does_enter_shell_before_function : unit KMap.t;
  2. threaddir : MlFront_Core.FilePath.t;
  3. download : on_fail: (location_if_checksum_error:Fmlib_parse.Position.range option -> error_code:string -> because:string -> recommendations:string list -> unit -> unit BuildCore.Alacarte_3_7_test_last.ThunkTrackingInterpreter.C.t) -> file_path:string -> file_checksum:MlFront_Thunk.ThunkAst.asset_checksum -> file_sz:(Fmlib_parse.Position.range * int64) option -> origin_mirrors:(string * string list) -> MlFront_Core.FilePath.t -> [ `Downloaded of [ `Sha256 of string * int64 ] | `Failed ] BuildCore.Alacarte_6_4_test.CSuspending.t;
  4. verbose : bool;
  5. explain : bool;
  6. parsetrace : bool;
  7. intermediate : bool;
  8. buildlogtrace : bool;
  9. debug_task : bool;
  10. importtrace : bool;
  11. importtrace2 : bool;
  12. includedirs : string list;
  13. sysincludedirs : string list;
  14. local_packages : MlFront_Core.PackageId.t list;
  15. build_number : string;
  16. integrity : [ `None | `Existence | `Checksum ];
  17. inferred_package_id_or_reason_whynone : (MlFront_Core.PackageId.t, string) Either.t;
  18. valuestore : MlFront_Core.FilePath.t;
  19. tracestore : MlFront_Core.FilePath.t;
  20. tracefile : string;
  21. install_home : MlFront_Core.FilePath.t;
  22. install_cache : MlFront_Core.FilePath.t;
  23. install_data : MlFront_Core.FilePath.t;
  24. install_config : MlFront_Core.FilePath.t;
  25. install_state : MlFront_Core.FilePath.t;
  26. install_runtime : MlFront_Core.FilePath.t;
  27. rng : Mirage_crypto_rng.g;
  28. build_pubkey : [ `PublicKey of string ];
  29. build_seckey : [ `SecretKey of string ];
  30. metadb : MlFront_Cache.MetaDb.t;
  31. observer_result : (module MlFront_Thunk.ThunkParsers.Results.OBSERVER_RESULT);
  32. nobuiltininc : bool;
  33. nosysinc : bool;
  34. builtin_values : BuildCore.Io.file_object list;
}
Sourceval fatal_return : error_code:string -> [< `Created | `Deleted | `Error of string ] -> unit
Sourceval build_key_pipes_to_newlines : string -> string
Sourceval load_or_generate_keys_dir : rng:Mirage_crypto_rng.g -> keys_env:string option -> build_public_keyfile:MlFront_Core.FilePath.t -> build_secret_keyfile:MlFront_Core.FilePath.t -> unit -> [> `PublicKey of string ] * [> `SecretKey of string ]
Sourceval setup_cachedirs : rng:Mirage_crypto_rng.g -> data_dir:Fpath.t -> cache_dir:Fpath.t -> unit -> MlFront_Cache.MetaDb.t
Sourceval preconfigure : ?data_dir:MlFront_Core.FilePath.t -> ?cache_dir:MlFront_Core.FilePath.t -> ?valuestore:MlFront_Core.FilePath.t -> ?tracestore:MlFront_Core.FilePath.t -> ?buildlogtrace:unit -> ?parsetrace:unit -> ?debug_task:unit -> install:install_params option -> keys_env:string option -> keys_dir:string option -> random_seed:string option -> integrity:[ `Checksum | `Existence | `None ] -> unit -> preconfig
Sourceval create : ?verbose:unit -> ?explain:unit -> ?intermediate:unit -> ?importtrace:unit -> ?importtrace2:unit -> ?nobuiltininc:unit -> ?nosysinc:unit -> preconfig:preconfig -> sysincludedirs:string list -> includedirs:string list -> local_packages:MlFront_Core.PackageId.t list -> build_number:string -> inferred_package_id_or_reason_whynone: (MlFront_Core.PackageId.t, string) Either.t -> threaddir:MlFront_Core.FilePath.t -> download: (on_fail: (location_if_checksum_error:Fmlib_parse.Position.range option -> error_code:string -> because:string -> recommendations:string list -> unit -> unit BuildCore.Alacarte_3_7_test_last.ThunkTrackingInterpreter.C.t) -> file_path:string -> file_checksum:MlFront_Thunk.ThunkAst.asset_checksum -> file_sz:(Fmlib_parse.Position.range * int64) option -> origin_mirrors:(string * string list) -> MlFront_Core.FilePath.t -> [ `Downloaded of [ `Sha256 of string * int64 ] | `Failed ] BuildCore.Alacarte_6_4_test.CSuspending.t) -> observer_result:(module MlFront_Thunk.ThunkParsers.Results.OBSERVER_RESULT) -> unit -> t

create ?verbose ~threaddir ~download ().

threaddir is a directory exclusive to the running process and thread. It is used for temporary directories.

Sourceval builtin_values : t -> BuildCore.Io.file_object list
Sourceval threaddir : t -> MlFront_Core.FilePath.t
Sourceval download : t -> on_fail: (location_if_checksum_error:Fmlib_parse.Position.range option -> error_code:string -> because:string -> recommendations:string list -> unit -> unit BuildCore.Alacarte_3_7_test_last.ThunkTrackingInterpreter.C.t) -> file_path:string -> file_checksum:MlFront_Thunk.ThunkAst.asset_checksum -> file_sz:(Fmlib_parse.Position.range * int64) option -> origin_mirrors:(string * string list) -> MlFront_Core.FilePath.t -> [ `Downloaded of [ `Sha256 of string * int64 ] | `Failed ] BuildCore.Alacarte_6_4_test.CSuspending.t
Sourceval verbose : t -> bool
Sourceval explain : t -> bool
Sourceval parsetrace : t -> bool
Sourceval intermediate : t -> bool
Sourceval importtrace : t -> bool
Sourceval importtrace2 : t -> bool
Sourceval debug_task : t -> bool
Sourceval buildlogtrace : t -> bool
Sourceval includedirs : t -> string list
Sourceval sysincludedirs : t -> string list
Sourceval local_packages : t -> MlFront_Core.PackageId.t list
Sourceval integrity : t -> [ `Checksum | `Existence | `None ]
Sourceval valuestore : t -> MlFront_Core.FilePath.t
Sourceval tracestore : t -> MlFront_Core.FilePath.t
Sourceval tracefile : t -> string
Sourceval install_home : t -> MlFront_Core.FilePath.t
Sourceval install_cache : t -> MlFront_Core.FilePath.t
Sourceval install_data : t -> MlFront_Core.FilePath.t
Sourceval install_config : t -> MlFront_Core.FilePath.t
Sourceval install_state : t -> MlFront_Core.FilePath.t
Sourceval install_runtime : t -> MlFront_Core.FilePath.t
Sourceval rng : t -> Mirage_crypto_rng.g
Sourceval build_pubkey : t -> [ `PublicKey of string ]
Sourceval build_seckey : t -> [ `SecretKey of string ]
Sourceval build_number : t -> string
Sourceval nobuiltininc : t -> bool
Sourceval nosysinc : t -> bool
Sourceval inferred_package_id_or_reason_whynone : t -> (MlFront_Core.PackageId.t, string) Either.t
Sourceval does_enter_shell_before_function : t -> KMap.key -> bool
Sourceval set_enter_shell_breakpoint_before_function : t -> KMap.key -> unit

set_enter_shell_breakpoint_before_function config key will trigger the interactive shell to launch before the next function call(s) of the key key, if any.

Preconfiguration

Sourceval preconfig_tracestore : preconfig -> MlFront_Core.FilePath.t
Sourceval preconfig_tracefile : preconfig -> string
Sourceval preconfig_valuestore : preconfig -> MlFront_Core.FilePath.t
Sourceval preconfig_build_pubkey : preconfig -> [ `PublicKey of string ]
Sourceval preconfig_build_seckey : preconfig -> [ `SecretKey of string ]
Sourceval preconfig_buildlogtrace : preconfig -> bool
Sourceval preconfig_parsetrace : preconfig -> bool
Sourceval preconfig_debug_task : preconfig -> bool
Sourceval preconfig_integrity : preconfig -> [ `Checksum | `Existence | `None ]
Sourceval print_config : t -> unit