ocp-manager/managerWrapper.mli at master · thomasblanc/ocp-manager · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
open ManagerMisc

type compiler_kind =
  DISTRIBUTION
| OCAML_MANAGER of string
| OPAM_COMPILER of string * string


type compiler = {
  compiler_name : string;
  compiler_kind : compiler_kind;
  compiler_prefix : string;
}

val current_version : string
val basename : string
val manager_bindir : string
val path : string
val path_sep : char
val current_filename : string
val homedir : string
val ocpdir : string

val get_current_compiler : unit -> compiler
val get_current_compiler_opt : unit -> compiler option

val compilers_list : compiler list
val compilers : compiler StringMap.t

val compiler_bindir : compiler -> string
val compiler_libdir : compiler -> string
val compiler_prefix : compiler -> string

val add_compiler : compiler -> unit

val manager_roots_dir : string
val pwd : string
val manager_defaults : string