1structure buildcline_dtype =
2struct
3
4type t = {kernelspec : string option,
5          debug : bool,
6          help : bool,
7          jobcount : int option,
8          seqname : string option,
9          multithread : int option,
10          build_theory_graph : bool option,
11          selftest : int option,
12          relocbuild : bool}
13
14val initial : t =
15    { kernelspec = NONE, jobcount = NONE, seqname = NONE, help = false,
16      build_theory_graph = NONE, selftest = NONE, debug = false,
17      relocbuild = false, multithread = NONE
18    }
19
20type 'a final_options =
21     {build_theory_graph : bool,
22      cmdline : string list,
23      debug : bool,
24      selftest_level : int,
25      extra : 'a,
26      jobcount : int,
27      multithread : int option,
28      relocbuild : bool}
29
30
31
32
33end
34