module OpamGlobals:sig
..end
val debug : bool Pervasives.ref
val debug_level : int Pervasives.ref
val verbose : bool Pervasives.ref
val verbose_level : int Pervasives.ref
val color_when : [> `Always | `Auto | `Never ]
val color : bool Pervasives.ref
val disp_status_line : unit -> bool
val utf8_when : [> `Always | `Auto | `Never ]
val utf8 : bool Pervasives.ref
val keep_build_dir : bool Pervasives.ref
val no_base_packages : bool Pervasives.ref
val no_checksums : bool Pervasives.ref
val req_checksums : bool Pervasives.ref
val yes : bool Pervasives.ref
val strict : bool Pervasives.ref
val build_test : bool Pervasives.ref
val build_doc : bool Pervasives.ref
val show : bool Pervasives.ref
val dryrun : bool Pervasives.ref
val fake : bool Pervasives.ref
val print_stats : bool Pervasives.ref
val utf8_msgs : bool Pervasives.ref
val do_not_copy_files : bool Pervasives.ref
val sync_archives : bool Pervasives.ref
val use_external_solver : bool Pervasives.ref
val no_self_upgrade : bool Pervasives.ref
val skip_version_checks : bool Pervasives.ref
val safe_mode : bool Pervasives.ref
val lock_retries : int Pervasives.ref
val pin_kind_auto : bool Pervasives.ref
val all_parens : bool Pervasives.ref
val self_upgrade_bootstrapping_value : string
val is_self_upgrade : bool
val jobs : int option Pervasives.ref
val dl_jobs : int option Pervasives.ref
val download_retry : int
val cudf_file : string option Pervasives.ref
val solver_timeout : float
typesolver_criteria =
[ `Default | `Fixup | `Upgrade ]
val default_preferences : solver_criteria -> string
val compat_preferences : solver_criteria -> string
val solver_preferences : (solver_criteria * string) list Pervasives.ref
val get_solver_criteria : [ `Default | `Fixup | `Upgrade ] -> string
val env_external_solver : string option Pervasives.ref
val default_external_solver : string
val external_solver_ref : (input:string -> output:string -> criteria:string -> string list) option
Pervasives.ref
val external_solver : input:string -> output:string -> criteria:string -> string list
typedownload_tool =
[ `Curl
| `Custom of
url:string ->
out:string ->
retry:int -> ?checksum:string -> compress:bool -> string list
| `Wget ]
val download_tool_env : string option Pervasives.ref
val download_tool : download_tool option Pervasives.ref
val curl_command : string
val default_repository_name : string
val default_repository_address : string
val search_files : string list Pervasives.ref
val global_config : string
val system : string
val switch : [ `Command_line of string | `Env of string | `Not_set ] Pervasives.ref
string list Pervasives.ref
: val home : string
val default_opam_dir : string
val root_dir : string Pervasives.ref
val root_dir_tmp : string
val timer : unit -> unit -> float
val global_start_time : float
typetext_style =
[ `black
| `blue
| `bold
| `cyan
| `green
| `magenta
| `red
| `underline
| `white
| `yellow ]
val colorise : text_style -> string -> string
val acolor : text_style -> Pervasives.out_channel -> string -> unit
val acolor_w : int -> text_style -> Pervasives.out_channel -> string -> unit
val timestamp : unit -> string
val log : string ->
?level:int -> ('a, Pervasives.out_channel, unit) Pervasives.format -> 'a
log section ~level fmt args
. Used for debug messages, default
level is 1val slog : ('a -> string) -> Pervasives.out_channel -> 'a -> unit
log "%a" (slog to_string) x
rather than log "%s" (to_string x)
to avoid costly unneeded
stringificationsval error : ('a, unit, string, unit) Pervasives.format4 -> 'a
val warning : ('a, unit, string, unit) Pervasives.format4 -> 'a
val note : ('a, unit, string, unit) Pervasives.format4 -> 'a
val errmsg : ('a, Pervasives.out_channel, unit, unit, unit, unit) Pervasives.format6 -> 'a
ERROR
")exception Exit of int
exception Exec of string * string array * string array
exec()
another binary, after making sure finalisations have been
made properly. Parameters as per Unix.execvpe
exception Package_error of string
val error_and_exit : ('a, unit, string, 'b) Pervasives.format4 -> 'a
val msg : ('a, Pervasives.out_channel, unit, unit) Pervasives.format4 -> 'a
val formatted_msg : ?indent:int -> ('a, unit, string, unit) Pervasives.format4 -> 'a
val header_msg : ('a, unit, string, unit) Pervasives.format4 -> 'a
val header_error : ('a, unit, string, ('b, unit, string, unit) Pervasives.format4 -> 'b)
Pervasives.format4 -> 'a
val status_line : ('a, Pervasives.out_channel, unit, unit, unit, unit) Pervasives.format6 -> 'a
val confirm : ?default:bool -> ('a, unit, string, bool) Pervasives.format4 -> 'a
Read some input from the user (returns a string option)
val read : ('a, unit, string, string option) Pervasives.format4 -> 'a
val editor : string lazy_t
type
os =
| |
Darwin |
| |
Linux |
| |
FreeBSD |
| |
OpenBSD |
| |
NetBSD |
| |
DragonFly |
| |
Cygwin |
| |
Win32 |
| |
Unix |
| |
Other of |
val os : unit -> os
val os_string : unit -> string
val arch : unit -> string
val makecmd : (unit -> string) Pervasives.ref
val log_limit : int
val log_line_limit : int
val default_jobs : int
val default_dl_jobs : int
val exit : int -> 'a