Source file options.ml

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
39
40
41
42
43
44
type t = {
    packages : string list;
    directories : string list;
    flags : string list;
    plainsource : bool;
    debug_findlib : bool;
    verbose : bool;
  }

let empty = {
  packages = [];
  directories = [];
  flags = [];
  plainsource = false;
  debug_findlib = false;
  verbose = false;
}

let rev options =
  { options with
    packages = List.rev options.packages;
    directories = List.rev options.directories;
    flags = List.rev options.flags }

let add_directories directories options =
  { options with
    directories = List.rev_append directories options.directories }

let add_packages packages options =
  { options with
    packages = List.rev_append packages options.packages }

let add_flags flags options =
  { options with
    flags = List.rev_append flags options.flags }

let set_plainsource plainsource options =
  { options with plainsource }

let set_debug_findlib debug_findlib options =
  { options with debug_findlib }

let set_verbose verbose options =
  { options with verbose }