Module OpamGlobals
val color_tri_state : TODO: a
val self_upgrade_bootstrapping_value : string
val is_self_upgrade : bool
val curl_command : string option
val download_retry : int
val solver_timeout : float
type solver_criteria = TODO: a
val default_preferences : solver_criteria -> string
val compat_preferences : solver_criteria -> string
val solver_preferences : (solver_criteria * string) list Pervasives.ref
Solver preference bindings. Used with List.assoc: first one wins
val get_solver_criteria : TODO: a -> string
Get the currently configured solver criteria as a string
val default_external_solver : string
val get_external_solver : unit -> string
val default_repository_name : string
val default_repository_address : string
val global_config : string
val system : string
val home : string
val default_opam_dir : string
val timer : unit -> unit -> float
val global_start_time : float
type text_style = TODO: a
val colorise : text_style -> string -> string
not nestable
val indent_left : string -> int -> string
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 1
val slog : 'a -> string -> Pervasives.out_channel -> 'a -> unit
Helper to pass stringifiers to log (use
log "%a" (slog to_string) x
rather than log "%s" (to_string x)
to avoid costly unneeded
stringifications
exception Exit of int
Raised to exit the program in a clean way. Parameter is the exit code.
exception Exec of string * string array * string array
Raised to
exec()
another binary, after making sure finalisations have been
made properly. Parameters as per Unix.execvpe
exception Package_error of string
val header_error : ('a, unit, string, ('b, unit, string, unit) Pervasives.format4 -> 'b) Pervasives.format4 -> 'a
val confirm : ('a, unit, string, bool) Pervasives.format4 -> 'a
Ask the user to press Y/y/N/n to continue (returns a boolean)
Read some input from the user (returns a string option)
Read some input from the user (returns a string option)
val editor : string lazy_t
type os =
| Darwin
| Linux
| FreeBSD
| OpenBSD
| NetBSD
| DragonFly
| Cygwin
| Win32
| Unix
| Other of string
val os : unit -> os
val os_string : unit -> string
val arch : unit -> string
val log_limit : int
val log_line_limit : int
val default_jobs : int
val default_dl_jobs : int
val exit : int -> 'a